Get started
Author

Bishoksan Kafle

Observed names: BISHOKSAN KAFLE, Kafle, Bishoksan
ORCID: 0000-0001-5191-1216
Observed ORCID: 0000-0001-5191-1216
OpenAlex ID: A5031939019
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata
2016 · Bishoksan Kafle, John P. Gallagher, et al. · Lecture notes in computer science · 37
ENTRA: Whole-systems energy transparency
2016 · Kerstin Eder, John P. Gallagher, et al. · Microprocessors and Microsystems · 24
Constraint Specialisation in Horn Clause Verification
2014 · Bishoksan Kafle, John P. Gallagher · 16
Tree Automata-Based Refinement with Application to Horn Clause Verification
2014 · Bishoksan Kafle, John P. Gallagher · Lecture notes in computer science · 15
PDF
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
2015 · Bishoksan Kafle, John P. Gallagher · Computer Languages · 13
Analysis and Transformation Tools for Constrained Horn Clause Verification
2014 · Gallagher, John P., Kafle, Bishoksan · arXiv (Cornell University) · 12
PDF
Constraint specialisation in Horn clause verification
2017 · Bishoksan Kafle, John P. Gallagher · Science of Computer Programming · 10
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
2020 · John P. Gallagher, Manuel Hermenegildo, et al. · Electronic Proceedings in Theoretical Computer Science · 9
An iterative approach to precondition inference using constrained Horn clauses
2018 · BISHOKSAN KAFLE, JOHN P. GALLAGHER, et al. · Theory and Practice of Logic Programming · 4
PDF
Transformation-Enabled Precondition Inference
2021 · BISHOKSAN KAFLE, GRAEME GANGE, et al. · Theory and Practice of Logic Programming · 3
PDF
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic
2017 · Bishoksan Kafle, Graeme Gange, et al. · Lecture notes in computer science · 2
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
2014 · Bishoksan Kafle, John P. Gallagher · Electronic Proceedings in Theoretical Computer Science · 2
Logic-Based Program Synthesis and Transformation
2023 · Robert Glück, Bishoksan Kafle · Lecture notes in computer science · 1
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis
2021 · Hossein Hojjat, Bishoksan Kafle · Electronic Proceedings in Theoretical Computer Science · 1
Lightweight Nontermination Inference with CHCs
2021 · Bishoksan Kafle, Graeme Gange, et al. · Lecture notes in computer science · 1
Optimised determinisation and completion of finite tree automata
2017 · John P. Gallagher, Mai Ajspur, et al. · Journal of Logical and Algebraic Methods in Programming · 1
PDF
Decomposition by tree dimension in Horn clause verification
2015 · Bishoksan Kafle, John P. Gallagher, et al. · Electronic Proceedings in Theoretical Computer Science · 1
An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata
2011 · John P. Gallagher, Mai Ajspur, et al. · arXiv (Cornell University) · 1
A lightweight approach to nontermination inference using Constrained Horn Clauses
2024 · Bishoksan Kafle, Graeme Gange, et al. · Software & Systems Modeling
Precondition Inference via Partitioning of Initial States
2018 · Kafle, Bishoksan, Gange, Graeme, et al. · arXiv (Cornell University)
PDF
Tree dimension in verification of constrained Horn clauses
2018 · BISHOKSAN KAFLE, JOHN P. GALLAGHER, et al. · Theory and Practice of Logic Programming
Components for automatic horn clause verification
2016 · Bishoksan Kafle · RUCforsk (Roskilde University)
PDF
Solving non-linear Horn clauses using a linear solver
2015 · Kafle, Bishoksan · arXiv (Cornell University)
PDF
Modeling assembly program with constraints. A contribution to WCET problem
2012 · Bishoksan Kafle · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)
PDF
Works count: 26
Citation count: 153
H-index: 8
I10-index: 7
Year
Topic
Type