John P Gallagher
Roskilde Universitet
H-index: 29
Europe-Denmark
Top articles of John P Gallagher
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Combatting energy issues for mobile applications | ACM Transactions on Software Engineering and Methodology | Xueliang Li Junyang Chen Yepang Liu Kaishun Wu John P Gallagher | 2023/2/13 |
Transforming big-step to small-step semantics using interpreter specialisation | John P Gallagher Manuel Hermenegildo José Morales Pedro Lopez-Garcia | 2023/10/16 | |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday | Pedro Lopez-Garcia John P Gallagher Roberto Giacobazzi | 2023/5/16 | |
Analysis and transformation of constrained horn clauses for program verification | Emanuele De Angelis Fabio Fioravanti John P Gallagher Manuel V Hermenegildo Alberto Pettorossi | 2022/11 | |
An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper) | Maja H Kirkeby John P Gallagher Bent Thomsen | 2021/9 | |
Regular path clauses and their application in solving loops | arXiv preprint arXiv:2109.04631 | Bishoksan Kafle John P Gallagher Manuel V Hermenegildo Maximiliano Klemen Pedro López-García | 2021/9/10 |
Special issue on FLOPS 2018 | John Patrick Gallagher Martin Sulzmann | 2021 | |
An Experiment Combining Specialization with Abstract Interpretation | arXiv preprint arXiv:2008.02937 | John P Gallagher Robert Glück | 2020/8/7 |
From big-step to small-step semantics and back with interpreter specialisation | arXiv preprint arXiv:2008.02931 | John P Gallagher Manuel Hermenegildo Bishoksan Kafle Maximiliano Klemen Pedro López García | 2020/8/7 |
Detecting and diagnosing energy issues for mobile applications | Xueliang Li Yuming Yang Yepang Liu John P Gallagher Kaishun Wu | 2020/7/18 | |
Special Issue containing selected papers from the 14th International Symposium on Functional and Logic Programming (FLOPS 2018): Preface | Science of Computer Programming | John Patrick Gallagher Martin Sulzmann | 2020 |
Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017 | Fabio Fioravanti John Patrick Gallagher Maurizio Proietti | 2020 |