Giles Reger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
52
Venues
15
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
52 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | The Vampire Diary. | Filip Brtek, Ahmed Bhayat, Robin Coutelier, Mrton Hajd, Matthias Hetzenberger, Petra Hozzov, Laura Kovcs, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov |
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2023 | TACAS | ALASCA: Reasoning in Quantified Linear Arithmetic. | Konstantin Korovin, Laura Kovcs, Giles Reger, Johannes Schoisswohl, Andrei Voronkov |
| 2022 | FMCAD | The Rapid Software Verification Framework. | Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovcs, Giles Reger |
| 2022 | ISSTA | ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. | Franz Braue, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro |
| 2021 | FMCAD | A Multithreaded Vampire with Shared Persistent Grounding. | Michael Rawson, Giles Reger |
| 2021 | TABLEAUX | lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. | Michael Rawson, Giles Reger |
| 2021 | TABLEAUX | Eliminating Models During Model Elimination. | Michael Rawson, Giles Reger |
| 2021 | TACAS | Making Theory Reasoning Simpler. | Giles Reger, Johannes Schoisswohl, Andrei Voronkov |
| 2020 | CADE | A Knuth-Bendix-Like Ordering for Orienting Combinator Equations. | Ahmed Bhayat, Giles Reger |
| 2020 | CADE | A Combinator-Based Superposition Calculus for Higher-Order Logic. | Ahmed Bhayat, Giles Reger |
| 2020 | CADE | A Polymorphic Vampire - (Short Paper). | Ahmed Bhayat, Giles Reger |
| 2020 | CADE | Directed Graph Networks for Logical Reasoning (Extended Abstract). | Michael Rawson, Giles Reger |
| 2020 | RV | Analysing the Performance of Python-Based Web Services with the VyPR Framework. | Joshua Heneage Dawes, Marta Han, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer |
| 2019 | CADE | Restricted Combinatory Unification. | Ahmed Bhayat, Giles Reger |
| 2019 | CADE | Old or Heavy? Decaying Gracefully with Age/Weight Shapes. | Michael Rawson, Giles Reger |
| 2019 | CADE | Induction in Saturation-Based Proof Search. | Giles Reger, Andrei Voronkov |
| 2019 | SAC | Specification of temporal properties of functions for runtime verification. | Joshua Heneage Dawes, Giles Reger |
| 2019 | RV | Explaining Violations of Properties in Control-Flow Temporal Logic. | Joshua Heneage Dawes, Giles Reger |
| 2019 | TACAS | International Competition on Runtime Verification (CRV). | Ezio Bartocci, Ylis Falcone, Giles Reger |
| 2019 | TACAS | VyPR2: A Framework for Runtime Verification of Python Web Services. | Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi |
| 2018 | CADE | Set of Support for Higher-Order Reasoning. | Ahmed Bhayat, Giles Reger |
| 2018 | CADE | Dynamic Strategy Priority: Empower the Strong and Abandon the Weak. | Michael Rawson, Giles Reger |
| 2018 | CADE | Some Thoughts About FOL-Translations in Vampire. | Giles Reger |
| 2018 | ISoLA | A Broader View on Verification: From Static to Runtime and Back (Track Summary). | Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier |
| 2018 | RV | COST Action IC1402 Runtime Verification Beyond Monitoring. | Christian Colombo, Ylis Falcone, Martin Leucker, Giles Reger, Csar Snchez, Gerardo Schneider, Volker Stolz |
| 2018 | RV | A Taxonomy for Classifying Runtime Verification Tools. | Ylis Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel |
| 2018 | RV | From Parametric Trace Slicing to Rule Systems. | Giles Reger, David E. Rydeheard |
| 2018 | TACAS | Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning. | Giles Reger, Martin Suda, Andrei Voronkov |
| 2017 | CADE | Checkable Proofs for First-Order Theorem Proving. | Giles Reger, Martin Suda |
| 2017 | CADE | A Report of ARCADE 2017. | Giles Reger, Dmitriy Traytel |
| 2017 | LPAR | Set of Support for Theory Reasoning. | Giles Reger, Martin Suda |
| 2017 | RV | A Report of RV-CuBES 2017. | Giles Reger |
| 2017 | TAP | Testing a Saturation-Based Theorem Prover: Experiences and Challenges. | Giles Reger, Martin Suda, Andrei Voronkov |
| 2016 | CADE | Selecting the Selection. | Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov |
| 2016 | CADE | Global Subsumption Revisited (Briefly). | Giles Reger, Martin Suda |
| 2016 | CADE | Better Proof Output for Vampire. | Giles Reger |
| 2016 | CPP | The vampire and the FOOL. | Evgenii Kotelnikov, Laura Kovcs, Giles Reger, Andrei Voronkov |
| 2016 | ISoLA | Considering Typestate Verification for Quantified Event Automata. | Giles Reger |
| 2016 | ISoLA | What Is a Trace? A Runtime Verification Perspective. | Giles Reger, Klaus Havelund |
| 2016 | RV | An Overview of MarQ. | Giles Reger |
| 2016 | RV | Third International Competition on Runtime Verification - CRV 2016. | Giles Reger, Sylvain Hall, Ylis Falcone |
| 2016 | SAT | Finding Finite Models in Multi-sorted First-Order Logic. | Giles Reger, Martin Suda, Andrei Voronkov |
| 2015 | CADE | The Uses of SAT Solvers in Vampire. | Giles Reger, Martin Suda |
| 2015 | CADE | Playing with AVATAR. | Giles Reger, Martin Suda, Andrei Voronkov |
| 2015 | CADE | Cooperating Proof Attempts. | Giles Reger, Dmitry Tishkovsky, Andrei Voronkov |
| 2015 | RV | Second International Competition on Runtime Verification CRV 2015. | Ylis Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma |
| 2015 | RV | Suggesting Edits to Explain Failing Traces. | Giles Reger |
| 2015 | RV | From First-order Temporal Logic to Parametric Trace Slicing. | Giles Reger, David E. Rydeheard |
| 2015 | TACAS | MarQ: Monitoring at Runtime with QEA. | Giles Reger, Helena Cuenca Cruz, David E. Rydeheard |
| 2014 | CADE | The Challenges of Evaluating a New Feature in Vampire. | Giles Reger, Martin Suda, Andrei Voronkov |
| 2012 | FM | Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. | Howard Barringer, Ylis Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |