profile icon
Dr

Bishoksan Kafle

Honorary
Computing and Information Systems
technology
science & technology
computer science
computer science, theory & methods
computer science, software engineering
abstract interpretation
bit-vectors
solver
constraint specialisation
Bishoksan Kafle's Profile Picture
Dr

Bishoksan Kafle

 
Division
Engineering and IT
Bishoksan Kafle's Profile Picture
Dr

Bishoksan Kafle

 
Print
Bishoksan's  Short Profile
 

Scholarly Works

Displaying the 10 most recent scholarly works by Bishoksan Kafle.

Scholarly works icon

From big-step to small-step semantics and back with interpreter specialisation

JP Gallagher, M Hermenegildo, B Kafle, M Klemen, PL García, J Morales

Conference Proceedings  |  2020  |  Electronic Proceedings in Theoretical Computer Science

Scholarly works icon

An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John P Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article  |  2018  |  Theory and Practice of Logic Programming

Scholarly works icon

Tree dimension in verification of constrained Horn clauses

B Kafle, JP Gallagher, P Ganty

Journal article  |  2018  |  Theory and Practice of Logic Programming

AbstractIn this paper, we show how the notion of tree dimension can be used in the verification of constrained Horn clauses (CHCs)..

Scholarly works icon

Optimised determinisation and completion of finite tree automata

JP Gallagher, M Ajspur, B Kafle

Journal article  |  2018  |  Journal of Logical and Algebraic Methods in Programming

Scholarly works icon

Constraint specialisation in Horn clause verification

Bishoksan Kafle, John P Gallagher

Journal article  |  2017  |  Science of Computer Programming

Scholarly works icon

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

B Kafle, JP Gallagher

Journal article  |  2017  |  Computer Languages Systems & Structures

Scholarly works icon

A benders decomposition approach to deciding modular linear integer arithmetic

B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing AG 2017. Verification tasks frequently require deciding systems of linear constraints over mod..

Scholarly works icon

ENTRA: Whole-systems energy transparency

K Eder, JP Gallagher, P López-García, H Muller, Z Banković, K Georgiou, R Haemmerlé, MV Hermenegildo, B Kafle, S Kerrison, M Kirkeby, M Klemen, X Li, U Liqat, J Morse, M Rhiger, M Rosendahl

Journal article  |  2016  |  Microprocessors and Microsystems

Scholarly works icon

Interpolant tree automata and their application in Horn clause verification

B Kafle, JP Gallagher

Conference Proceedings  |  2016  |  Electronic Proceedings in Theoretical Computer Science

Scholarly works icon

Solving non-linear Horn clauses using a linear Horn clause solver

B Kafle, JP Gallagher, P Ganty

Conference Proceedings  |  2016  |  Electronic Proceedings in Theoretical Computer Science

15

Scholarly Works

Keyword Analysis

Computation Theory and Mathematics
Computer Software and Services
Computer Hardware
Computer Software
Energy Conservation and Efficiency

Credentials

Positions

Honorary

Computing and Information Systems

Education

PhD in computer science

Roskilde University

European masters in computational logic

Technische Universitaet Dresden

Bachelors in Computer science

Universidad Central Marta Abreu de Las Villas

Links