Bishoksan Kafle

29 papers A 1B 2C 2Journal 16Unranked 7

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2023	C	`ed.`	Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings LOPSTR Robert Glück, Bishoksan Kafle
2021	B	`conf`	Lightweight Nontermination Inference with CHCs. SEFM Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2021	—	`ed.`	Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021. HCVS@ETAPS Hossein Hojjat, Bishoksan Kafle
2021	—	`conf`	Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
2021	J	`jnl`	Transformation-Enabled Precondition Inference. CoRR Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
2021	J	`jnl`	Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
2020	—	`conf`	From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
2018	J	`jnl`	An iterative approach to precondition inference using constrained Horn clauses. CoRR Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	J	`jnl`	An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	J	`jnl`	Optimised determinisation and completion of finite tree automata. J. Log. Algebraic Methods Program. John P. Gallagher, Mai Ajspur, Bishoksan Kafle
2018	J	`jnl`	Precondition Inference via Partitioning of Initial States. CoRR Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	J	`jnl`	Tree dimension in verification of constrained Horn clauses. CoRR Bishoksan Kafle, John P. Gallagher, Pierre Ganty
2018	J	`jnl`	Tree dimension in verification of constrained Horn clauses. Theory Pract. Log. Program. Bishoksan Kafle, John P. Gallagher, Pierre Ganty
2017	A	`conf`	A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2017	J	`jnl`	Constraint specialisation in Horn clause verification. Sci. Comput. Program. Bishoksan Kafle, John P. Gallagher
2017	J	`jnl`	Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Comput. Lang. Syst. Struct. Bishoksan Kafle, John P. Gallagher
2016	J	`jnl`	ENTRA: Whole-Systems Energy Transparency. CoRR 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
2016	J	`jnl`	ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 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
2016	—	`conf`	Interpolant tree automata and their application in Horn clause verification. VPT@ETAPS Bishoksan Kafle, John P. Gallagher
2016	—	`conf`	Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. CAV (1) Bishoksan Kafle, John P. Gallagher, José F. Morales
2016	—	`conf`	Solving non-linear Horn clauses using a linear Horn clause solver. HCVS@ETAPS Bishoksan Kafle, John P. Gallagher, Pierre Ganty
2015	J	`jnl`	An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata. CoRR John P. Gallagher, Mai Ajspur, Bishoksan Kafle
2015	C	`conf`	Constraint Specialisation in Horn Clause Verification. PEPM Bishoksan Kafle, John P. Gallagher
2015	—	`conf`	Decomposition by tree dimension in Horn clause verification. VPT@ETAPS Bishoksan Kafle, John P. Gallagher, Pierre Ganty
2015	J	`jnl`	Solving non-linear Horn clauses using a linear solver. CoRR Bishoksan Kafle
2015	B	`conf`	Tree Automata-Based Refinement with Application to Horn Clause Verification. VMCAI Bishoksan Kafle, John P. Gallagher
2014	J	`jnl`	Analysis and Transformation Tools for Constrained Horn Clause Verification. CoRR John P. Gallagher, Bishoksan Kafle
2014	—	`conf`	Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. HCVS Bishoksan Kafle, John P. Gallagher