Bishoksan Kafle

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 20

Top Topics

Fukunaga Koontz

Inference Rules

Top Venues

Theory Pract. Log. Program.

Publications

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. 23 (2) (2024)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21 (6) (2021)
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS (2021)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. CoRR (2021)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Lightweight Nontermination Inference with CHCs. SEFM (2021)
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS (2020)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Precondition Inference via Partitioning of Initial States. CoRR (2018)
John P. Gallagher, Mai Ajspur, Bishoksan Kafle
Optimised determinisation and completion of finite tree automata. J. Log. Algebraic Methods Program. 95 (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. CoRR (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. 18 (3-4) (2018)
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
Tree dimension in verification of constrained Horn clauses. Theory Pract. Log. Program. 18 (2) (2018)
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
Tree dimension in verification of constrained Horn clauses. CoRR (2018)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT (2017)
Bishoksan Kafle, John P. Gallagher
Constraint specialisation in Horn clause verification. Sci. Comput. Program. 137 (2017)
Bishoksan Kafle, John P. Gallagher
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Comput. Lang. Syst. Struct. 47 (2017)
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
Solving non-linear Horn clauses using a linear Horn clause solver. HCVS@ETAPS (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Bishoksan Kafle, John P. Gallagher
Interpolant tree automata and their application in Horn clause verification. VPT@ETAPS (2016)
Bishoksan Kafle, John P. Gallagher, José F. Morales
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. CAV (1) (2016)
Bishoksan Kafle
Solving non-linear Horn clauses using a linear solver. CoRR (2015)
Bishoksan Kafle, John P. Gallagher
Constraint Specialisation in Horn Clause Verification. PEPM (2015)
Bishoksan Kafle, John P. Gallagher
Tree Automata-Based Refinement with Application to Horn Clause Verification. VMCAI (2015)
John P. Gallagher, Mai Ajspur, Bishoksan Kafle
An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata. CoRR (2015)
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
Decomposition by tree dimension in Horn clause verification. VPT@ETAPS (2015)
John P. Gallagher, Bishoksan Kafle
Analysis and Transformation Tools for Constrained Horn Clause Verification. CoRR (2014)
Bishoksan Kafle, John P. Gallagher
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. HCVS (2014)