Items where author is "Kafle, Bishoksan"

Article

Eder, Kerstin and Gallagher, John P. and López García, Pedro and Muller, Henk L. and Bankovic, Zorana and Georgiou, Kyriakos and Haemmerlé, Remy and Hermenegildo, Manuel V. and Kafle, Bishoksan and Kerrison, Steve and Kirkeby, Maja and Klemenc, Maximiliano and Li, Xueliang and Liqat, Umer and Morse, Jeremy and Rhiger, Morten and Rosendahl, Mads (2016). ENTRA: Whole-systems energy transparency. "Microprocessors and Microsystems", v. 47 ; pp. 278-286. ISSN 0141-9331. https://doi.org/10.1016/j.micpro.2016.07.003.

Presentation at Congress or Conference

Kafle, Bishoksan and Gallagher, John P. and Hermenegildo, Manuel V. and Klemen, Maximiliano and López García, Pedro and Morales, José F. (2021). Regular path clauses and their application in solving loops. In: "8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021)", 28 Mar 2021, Luxemburgo. pp. 22-35. https://doi.org/10.4204/EPTCS.344.3.

Gallagher, John P. and Hermenegildo, Manuel V. and Kafle, Bishoksan and Klemen, Maximiliano and López García, Pedro and Morales Caballero, José Francisco (2020). From big-step to small-step semantics and back with interpreter specialisation. In: "8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (VPT/HCVS@ETAPS 2020)", 25-26 Abr 2020, Dublín, Irlanda. pp. 50-64. https://doi.org/10.4204/EPTCS.320.4.