Giles Reger

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 70

Top Venues

CoRR

CADE

ARCADE@CADE

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Getting Saturated with Induction. CoRR (2024)
Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov
ALASCA: Reasoning in Quantified Linear Arithmetic. TACAS (1) (2023)
Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip
A Toolkit for Automated Testing of Dafny. NFM (2023)
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev (2022)
Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
The Rapid Software Verification Framework. FMCAD (2022)
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Getting Saturated with Induction. Principles of Systems Design (2022)
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. ISSTA (2022)
Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12 (11) (2022)
Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper). PAAR@IJCAR (2022)
Omar Javed, Prashant Singh, Giles Reger, Salman Toor
To test, or not to test: A proactive approach for deciding complete performance test initiation. CoRR (2022)
Omar Javed, Prashant Singh, Giles Reger, Salman Toor
To test, or not to test: A proactive approach for deciding complete performance test initiation. Big Data (2022)
Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
Lemmaless Induction in Trace Logic. CICM (2022)
Michael Rawson, Giles Reger
Eliminating Models During Model Elimination. TABLEAUX (2021)
Michael Rawson, Giles Reger
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. TABLEAUX (2021)
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Michael Rawson, Giles Reger
A Multithreaded Vampire with Shared Persistent Grounding. FMCAD (2021)
Michael Rawson, Giles Reger
On Evaluating Theorem Provers. ARCADE@CADE (2021)
Giles Reger, David E. Rydeheard
From parametric trace slicing to rule systems. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Giles Reger, Johannes Schoisswohl, Andrei Voronkov
Making Theory Reasoning Simpler. TACAS (2) (2021)
Joshua Heneage Dawes, Marta Han, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer
Analysing the Performance of Python-Based Web Services with the VyPR Framework. RV (2020)
Ahmed Bhayat, Giles Reger
A Combinator-Based Superposition Calculus for Higher-Order Logic. IJCAR (1) (2020)
Omar Javed, Joshua Heneage Dawes, Marta Han, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. ASE (2020)
Ahmed Abdulrahman Alghamdi, Giles Reger
Pattern Extraction for Behaviours of Multi-Stage Threats via Unsupervised Learning. CyberSA (2020)
Ahmed Bhayat, Giles Reger
A Polymorphic Vampire - (Short Paper). IJCAR (2) (2020)
Ahmed Bhayat, Giles Reger
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations. IJCAR (1) (2020)
Michael Rawson, Giles Reger
Directed Graph Networks for Logical Reasoning (Extended Abstract). PAAR+SC²@IJCAR (2020)
Giles Reger
Boldly Going Where No Prover Has Gone Before. ARCADE@CADE (2019)
Joshua Heneage Dawes, Giles Reger
Explaining Violations of Properties in Control-Flow Temporal Logic. RV (2019)
Ahmed Bhayat, Giles Reger
Restricted Combinatory Unification. CADE (2019)
Giles Reger, Martin Riener, Martin Suda
Symmetry Avoidance in MACE-Style Finite Model Finding. FroCos (2019)
Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
VyPR2: A Framework for Runtime Verification of Python Web Services. TACAS (2) (2019)
Ezio Bartocci, Yliès Falcone, Giles Reger
International Competition on Runtime Verification (CRV). TACAS (3) (2019)
Michael Rawson, Giles Reger
Old or Heavy? Decaying Gracefully with Age/Weight Shapes. CADE (2019)
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Giles Reger, Andrei Voronkov
Induction in Saturation-Based Proof Search. CADE (2019)
Joshua Heneage Dawes, Giles Reger
Specification of temporal properties of functions for runtime verification. SAC (2019)
Michael Rawson, Giles Reger
A Neurally-Guided, Parallel Theorem Prover. FroCos (2019)
Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger
The SMT Competition 2015-2018. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Giles Reger
Some Thoughts About FOL-Translations in Vampire. ARQNL@IJCAR (2018)
Giles Reger, David E. Rydeheard
From Parametric Trace Slicing to Rule Systems. RV (2018)
Joshua Heneage Dawes, Giles Reger
Specification of State and Time Constraints for Runtime Verification of Functions. CoRR (2018)
Ahmed Bhayat, Giles Reger
Set of Support for Higher-Order Reasoning. PAAR@FLoC (2018)
Michael Rawson, Giles Reger
Dynamic Strategy Priority: Empower the Strong and Abandon the Weak. PAAR@FLoC (2018)
Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
A Broader View on Verification: From Static to Runtime and Back (Track Summary). ISoLA (2) (2018)
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
A Taxonomy for Classifying Runtime Verification Tools. RV (2018)
Giles Reger, Martin Suda, Andrei Voronkov
Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning. TACAS (1) (2018)
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC1402 Runtime Verification Beyond Monitoring. RV (2018)
Giles Reger, Dmitriy Traytel
A Report of ARCADE 2017. ARCADE@CADE (2017)
Giles Reger, Martin Suda, Andrei Voronkov
Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version). CoRR (2017)
Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7 (11) (2017)
Giles Reger, Martin Suda
Set of Support for Theory Reasoning. IWIL@LPAR (2017)
Giles Reger, Martin Suda
Checkable Proofs for First-Order Theorem Proving. ARCADE@CADE (2017)
Giles Reger
A Story of Parametric Trace Slicing, Garbage and Static Analysis. PrePost@iFM (2017)
Klaus Havelund, Giles Reger
Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools (2017)
Giles Reger
A Report of RV-CuBES 2017. RV-CuBES (2017)
Giles Reger, Martin Suda, Andrei Voronkov
Instantiation and Pretending to be an SMT Solver with Vampire. SMT (2017)
Giles Reger, Martin Suda, Andrei Voronkov
Testing a Saturation-Based Theorem Prover: Experiences and Challenges. TAP@STAF (2017)
Giles Reger, Martin Suda, Andrei Voronkov
New Techniques in Clausal Form Generation. GCAI (2016)
Giles Reger, Sylvain Hallé, Yliès Falcone
Third International Competition on Runtime Verification - CRV 2016. RV (2016)
Giles Reger
Better Proof Output for Vampire. Vampire@IJCAR (2016)
Giles Reger, Martin Suda, Andrei Voronkov, Krystof Hoder
Selecting the Selection. CoRR (2016)
Giles Reger, Martin Suda
Global Subsumption Revisited (Briefly). Vampire@IJCAR (2016)
Giles Reger, Nikolaj Bjørner, Martin Suda, Andrei Voronkov
AVATAR Modulo Theories. GCAI (2016)
Giles Reger, Martin Suda, Andrei Voronkov
Finding Finite Models in Multi-sorted First-Order Logic. SAT (2016)
Giles Reger, Martin Suda, Andrei Voronkov
Finding Finite Models in Multi-Sorted First Order Logic. CoRR (2016)
Giles Reger
An Overview of MarQ. RV (2016)
Giles Reger
Considering Typestate Verification for Quantified Event Automata. ISoLA (1) (2016)
Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov
Selecting the Selection. IJCAR (2016)
Giles Reger, Klaus Havelund
What Is a Trace? A Runtime Verification Perspective. ISoLA (2) (2016)
Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov
The vampire and the FOOL. CPP (2016)
Giles Reger, David E. Rydeheard
From First-order Temporal Logic to Parametric Trace Slicing. RV (2015)
Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov
The Vampire and the FOOL. CoRR (2015)
Klaus Havelund, Giles Reger
Specification of Parametric Monitors. SyDe Summer School (2015)
Giles Reger
Suggesting Edits to Explain Failing Traces. RV (2015)
Giles Reger, Howard Barringer, David E. Rydeheard
Automata-based Pattern Mining from Imperfect Traces. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Giles Reger, Helena Cuenca Cruz, David E. Rydeheard
MarQ: Monitoring at Runtime with QEA. TACAS (2015)
Giles Reger, Dmitry Tishkovsky, Andrei Voronkov
Cooperating Proof Attempts. CADE (2015)
Giles Reger, Martin Suda, Andrei Voronkov
Playing with AVATAR. CADE (2015)
Giles Reger, Martin Suda
The Uses of SAT Solvers in Vampire. Vampire Workshop (2015)
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
Second International Competition on Runtime Verification CRV 2015. RV (2015)
Giles Reger, Martin Suda, Andrei Voronkov
The Challenges of Evaluating a New Feature in Vampire. Vampire Workshop (2014)
Giles Reger, Howard Barringer, David E. Rydeheard
A pattern-based approach to parametric specification mining. ASE (2013)
Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM (2012)

Giles Reger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Giles Reger