Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bishoksan Kafle
@proceedings{DBLP:conf/lopstr/2023,
editor = {Robert Gl{\"{u}}ck and
Bishoksan Kafle},
title = {Logic-Based Program Synthesis and Transformation - 33rd International
Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14330},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45784-5},
doi = {10.1007/978-3-031-45784-5},
isbn = {978-3-031-45783-8},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KafleGSSS21,
author = {Bishoksan Kafle and
Graeme Gange and
Peter J. Stuckey and
Peter Schachte and
Harald S{\o}ndergaard},
title = {Transformation-Enabled Precondition Inference},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {700--716},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000272},
doi = {10.1017/S1471068421000272},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KafleGSSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KafleGSSS21,
author = {Bishoksan Kafle and
Graeme Gange and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Lightweight Nontermination Inference with CHCs},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {383--402},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_22},
doi = {10.1007/978-3-030-92124-8\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/KafleGSSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04631,
author = {Bishoksan Kafle and
John P. Gallagher and
Manuel V. Hermenegildo and
Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Regular Path Clauses and Their Application in Solving Loops},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {22--35},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.3},
doi = {10.4204/EPTCS.344.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-03988,
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344},
doi = {10.4204/EPTCS.344},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03178,
author = {Bishoksan Kafle and
Graeme Gange and
Peter J. Stuckey and
Peter Schachte and
Harald S{\o}ndergaard},
title = {Transformation-Enabled Precondition Inference},
journal = {CoRR},
volume = {abs/2108.03178},
year = {2021},
url = {https://arxiv.org/abs/2108.03178},
eprinttype = {arXiv},
eprint = {2108.03178},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02931,
author = {John P. Gallagher and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {50--64},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.4},
doi = {10.4204/EPTCS.320.4},
timestamp = {Mon, 26 Apr 2021 11:43:53 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GallagherAK18,
author = {John P. Gallagher and
Mai Ajspur and
Bishoksan Kafle},
title = {Optimised determinisation and completion of finite tree automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {95},
pages = {1--16},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2017.10.004},
doi = {10.1016/J.JLAMP.2017.10.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GallagherAK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KafleGG18,
author = {Bishoksan Kafle and
John P. Gallagher and
Pierre Ganty},
title = {Tree dimension in verification of constrained Horn clauses},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {2},
pages = {224--251},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000030},
doi = {10.1017/S1471068418000030},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KafleGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KafleGGS18,
author = {Bishoksan Kafle and
John P. Gallagher and
Graeme Gange and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey},
title = {An iterative approach to precondition inference using constrained
Horn clauses},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {553--570},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000091},
doi = {10.1017/S1471068418000091},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KafleGGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01448,
author = {Bishoksan Kafle and
John P. Gallagher and
Pierre Ganty},
title = {Tree dimension in verification of constrained Horn clauses},
journal = {CoRR},
volume = {abs/1803.01448},
year = {2018},
url = {http://arxiv.org/abs/1803.01448},
eprinttype = {arXiv},
eprint = {1803.01448},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-05989,
author = {Bishoksan Kafle and
John P. Gallagher and
Graeme Gange and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey},
title = {An iterative approach to precondition inference using constrained
Horn clauses},
journal = {CoRR},
volume = {abs/1804.05989},
year = {2018},
url = {http://arxiv.org/abs/1804.05989},
eprinttype = {arXiv},
eprint = {1804.05989},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-05989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06771,
author = {Bishoksan Kafle and
Graeme Gange and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey},
title = {Precondition Inference via Partitioning of Initial States},
journal = {CoRR},
volume = {abs/1811.06771},
year = {2018},
url = {http://arxiv.org/abs/1811.06771},
eprinttype = {arXiv},
eprint = {1811.06771},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KafleG17,
author = {Bishoksan Kafle and
John P. Gallagher},
title = {Horn clause verification with convex polyhedral abstraction and tree
automata-based refinement},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {2--18},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2015.11.001},
doi = {10.1016/J.CL.2015.11.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/KafleG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KafleG17,
author = {Bishoksan Kafle and
John P. Gallagher},
title = {Constraint specialisation in Horn clause verification},
journal = {Sci. Comput. Program.},
volume = {137},
pages = {125--140},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.01.002},
doi = {10.1016/J.SCICO.2017.01.002},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/KafleG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KafleGSSS17,
author = {Bishoksan Kafle and
Graeme Gange and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey},
editor = {Serge Gaspers and
Toby Walsh},
title = {A Benders Decomposition Approach to Deciding Modular Linear Integer
Arithmetic},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {380--397},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_24},
doi = {10.1007/978-3-319-66263-3\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/KafleGSSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/EderGLMBGHHKKKK16,
author = {Kerstin Eder and
John P. Gallagher and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Henk L. Muller and
Zorana Bankovic and
Kyriakos Georgiou and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Steve Kerrison and
Maja H. Kirkeby and
Maximiliano Klemen and
Xueliang Li and
Umer Liqat and
Jeremy Morse and
Morten Rhiger and
Mads Rosendahl},
title = {{ENTRA:} Whole-systems energy transparency},
journal = {Microprocess. Microsystems},
volume = {47},
pages = {278--286},
year = {2016},
url = {https://doi.org/10.1016/j.micpro.2016.07.003},
doi = {10.1016/J.MICPRO.2016.07.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/EderGLMBGHHKKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KafleGM16,
author = {Bishoksan Kafle and
John P. Gallagher and
Jos{\'{e}} F. Morales},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Rahft: {A} Tool for Verifying Horn Clauses Using Abstract Interpretation
and Finite Tree Automata},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {261--268},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_14},
doi = {10.1007/978-3-319-41528-4\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KafleGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleGG16,
author = {Bishoksan Kafle and
John P. Gallagher and
Pierre Ganty},
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Solving non-linear Horn clauses using a linear Horn clause solver},
booktitle = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
pages = {33--48},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219.4},
doi = {10.4204/EPTCS.219.4},
timestamp = {Sat, 30 Sep 2023 10:07:57 +0200},
biburl = {https://dblp.org/rec/journals/corr/KafleGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleG16,
author = {Bishoksan Kafle and
John P. Gallagher},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Interpolant tree automata and their application in Horn clause verification},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {104--117},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.6},
doi = {10.4204/EPTCS.216.6},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/KafleG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EderGLMBGHHKKKK16,
author = {Kerstin Eder and
John P. Gallagher and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Henk L. Muller and
Zorana Bankovic and
Kyriakos Georgiou and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Steve Kerrison and
Maja H. Kirkeby and
Maximiliano Klemen and
Xueliang Li and
Umer Liqat and
Jeremy Morse and
Morten Rhiger and
Mads Rosendahl},
title = {{ENTRA:} Whole-Systems Energy Transparency},
journal = {CoRR},
volume = {abs/1606.04074},
year = {2016},
url = {http://arxiv.org/abs/1606.04074},
eprinttype = {arXiv},
eprint = {1606.04074},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EderGLMBGHHKKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KafleG15,
author = {Bishoksan Kafle and
John P. Gallagher},
editor = {Kenichi Asai and
Kostis Sagonas},
title = {Constraint Specialisation in Horn Clause Verification},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
pages = {85--90},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2678015.2682544},
doi = {10.1145/2678015.2682544},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/KafleG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KafleG15,
author = {Bishoksan Kafle and
John P. Gallagher},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Tree Automata-Based Refinement with Application to Horn Clause Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {209--226},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_12},
doi = {10.1007/978-3-662-46081-8\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KafleG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleGG15,
author = {Bishoksan Kafle and
John P. Gallagher and
Pierre Ganty},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Alberto Pettorossi},
title = {Decomposition by tree dimension in Horn clause verification},
booktitle = {Proceedings of the Third International Workshop on Verification and
Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
April 2015},
series = {{EPTCS}},
volume = {199},
pages = {1--14},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.199.1},
doi = {10.4204/EPTCS.199.1},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/KafleGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GallagherAK15,
author = {John P. Gallagher and
Mai Ajspur and
Bishoksan Kafle},
title = {An Optimised Algorithm for Determinisation and Completion of Finite
Tree Automata},
journal = {CoRR},
volume = {abs/1511.03595},
year = {2015},
url = {http://arxiv.org/abs/1511.03595},
eprinttype = {arXiv},
eprint = {1511.03595},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GallagherAK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kafle15,
author = {Bishoksan Kafle},
title = {Solving non-linear Horn clauses using a linear solver},
journal = {CoRR},
volume = {abs/1511.06668},
year = {2015},
url = {http://arxiv.org/abs/1511.06668},
eprinttype = {arXiv},
eprint = {1511.06668},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kafle15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleG14,
author = {Bishoksan Kafle and
John P. Gallagher},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Convex polyhedral abstractions, specialisation and property-based
predicate splitting in Horn clause verification},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {53--67},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.7},
doi = {10.4204/EPTCS.169.7},
timestamp = {Thu, 14 Apr 2022 20:26:11 +0200},
biburl = {https://dblp.org/rec/journals/corr/KafleG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GallagherK14,
author = {John P. Gallagher and
Bishoksan Kafle},
title = {Analysis and Transformation Tools for Constrained Horn Clause Verification},
journal = {CoRR},
volume = {abs/1405.3883},
year = {2014},
url = {http://arxiv.org/abs/1405.3883},
eprinttype = {arXiv},
eprint = {1405.3883},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GallagherK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-06 23:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
