Giles Reger - RankMe

97 papers A* 4A 9B 18C 1Misc 1Journal 15Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Formally Verified Cloud-Scale Authorization. ICSE 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, Clément 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, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025	—	`conf`	The Vampire Diary. CAV (3) Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2025	J	`jnl`	The Vampire Diary. CoRR Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2024	J	`jnl`	Getting Saturated with Induction. CoRR Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
2024	A*	`conf`	LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling. ASE Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro
2024	—	`ed.`	Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024. SMT@CAV Giles Reger, Yoni Zohar
2023	—	`conf`	A Toolkit for Automated Testing of Dafny. NFM Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas G. Wagner, Cassidy Waldrip
2023	—	`conf`	ALASCA: Reasoning in Quantified Linear Arithmetic. TACAS (1) Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov
2022	A	`conf`	ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. ISSTA Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
2022	—	`conf`	Getting Saturated with Induction. Principles of Systems Design Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
2022	C	`conf`	Lemmaless Induction in Trace Logic. CICM Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
2022	—	`conf`	Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
2022	J	`jnl`	Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
2022	—	`conf`	Reuse of Introduced Symbols in Automatic Theorem Provers (short paper). PAAR@IJCAR Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
2022	B	`conf`	The Rapid Software Verification Framework. FMCAD Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
2022	B	`conf`	To test, or not to test: A proactive approach for deciding complete performance test initiation. IEEE Big Data Omar Javed, Prashant Singh, Giles Reger, Salman Toor
2022	J	`jnl`	To test, or not to test: A proactive approach for deciding complete performance test initiation. CoRR Omar Javed, Prashant Singh, Giles Reger, Salman Toor
2021	B	`conf`	A Multithreaded Vampire with Shared Persistent Grounding. FMCAD Michael Rawson, Giles Reger
2021	J	`jnl`	A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transf. Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
2021	B	`conf`	Eliminating Models During Model Elimination. TABLEAUX Michael Rawson, Giles Reger
2021	J	`jnl`	From parametric trace slicing to rule systems. Int. J. Softw. Tools Technol. Transf. Giles Reger, David E. Rydeheard
2021	—	`ed.`	Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings FroCoS Boris Konev, Giles Reger
2021	—	`conf`	Making Theory Reasoning Simpler. TACAS (2) Giles Reger, Johannes Schoisswohl, Andrei Voronkov
2021	—	`conf`	On Evaluating Theorem Provers. ARCADE@CADE Michael Rawson, Giles Reger
2021	B	`conf`	lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. TABLEAUX Michael Rawson, Giles Reger
2020	—	`conf`	A Combinator-Based Superposition Calculus for Higher-Order Logic. IJCAR (1) Ahmed Bhayat, Giles Reger
2020	—	`conf`	A Knuth-Bendix-Like Ordering for Orienting Combinator Equations. IJCAR (1) Ahmed Bhayat, Giles Reger
2020	—	`conf`	A Polymorphic Vampire - (Short Paper). IJCAR (2) Ahmed Bhayat, Giles Reger
2020	B	`conf`	Analysing the Performance of Python-Based Web Services with the VyPR Framework. RV Joshua Heneage Dawes, Marta Han, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer
2020	—	`conf`	Directed Graph Networks for Logical Reasoning (Extended Abstract). PAAR+SC²@IJCAR Michael Rawson, Giles Reger
2020	—	`conf`	Pattern Extraction for Behaviours of Multi-Stage Threats via Unsupervised Learning. CyberSA Ahmed Abdulrahman Alghamdi, Giles Reger
2020	A*	`conf`	PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. ASE Omar Javed, Joshua Heneage Dawes, Marta Han, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder
2019	—	`conf`	A Neurally-Guided, Parallel Theorem Prover. FroCos Michael Rawson, Giles Reger
2019	—	`conf`	Boldly Going Where No Prover Has Gone Before. ARCADE@CADE Giles Reger
2019	B	`conf`	Explaining Violations of Properties in Control-Flow Temporal Logic. RV Joshua Heneage Dawes, Giles Reger
2019	J	`jnl`	First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 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
2019	A	`conf`	Induction in Saturation-Based Proof Search. CADE Giles Reger, Andrei Voronkov
2019	—	`conf`	International Competition on Runtime Verification (CRV). TACAS (3) Ezio Bartocci, Yliès Falcone, Giles Reger
2019	A	`conf`	Old or Heavy? Decaying Gracefully with Age/Weight Shapes. CADE Michael Rawson, Giles Reger
2019	A	`conf`	Restricted Combinatory Unification. CADE Ahmed Bhayat, Giles Reger
2019	—	`ch.`	Runtime Verification Past Experiences and Future Projections. Computing and Software Science Klaus Havelund, Giles Reger, Grigore Rosu
2019	Misc	`conf`	Specification of temporal properties of functions for runtime verification. SAC Joshua Heneage Dawes, Giles Reger
2019	—	`conf`	Symmetry Avoidance in MACE-Style Finite Model Finding. FroCos Giles Reger, Martin Riener, Martin Suda
2019	J	`jnl`	The SMT Competition 2015-2018. J. Satisf. Boolean Model. Comput. Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger
2019	—	`conf`	VyPR2: A Framework for Runtime Verification of Python Web Services. TACAS (2) Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
2018	—	`conf`	A Broader View on Verification: From Static to Runtime and Back (Track Summary). ISoLA (2) Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
2018	B	`conf`	A Taxonomy for Classifying Runtime Verification Tools. RV Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
2018	B	`conf`	COST Action IC1402 Runtime Verification Beyond Monitoring. RV Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
2018	—	`conf`	Dynamic Strategy Priority: Empower the Strong and Abandon the Weak. PAAR@FLoC Michael Rawson, Giles Reger
2018	B	`conf`	From Parametric Trace Slicing to Rule Systems. RV Giles Reger, David E. Rydeheard
2018	—	`ch.`	Introduction to Runtime Verification. Lectures on Runtime Verification Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
2018	—	`ch.`	Monitoring Events that Carry Data. Lectures on Runtime Verification Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu
2018	—	`conf`	Set of Support for Higher-Order Reasoning. PAAR@FLoC Ahmed Bhayat, Giles Reger
2018	—	`conf`	Some Thoughts About FOL-Translations in Vampire. ARQNL@IJCAR Giles Reger
2018	J	`jnl`	Specification of State and Time Constraints for Runtime Verification of Functions. CoRR Joshua Heneage Dawes, Giles Reger
2018	—	`conf`	Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning. TACAS (1) Giles Reger, Martin Suda, Andrei Voronkov
2017	—	`conf`	A Report of ARCADE 2017. ARCADE@CADE Giles Reger, Dmitriy Traytel
2017	—	`conf`	A Report of RV-CuBES 2017. RV-CuBES Giles Reger
2017	J	`jnl`	A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz
2017	—	`conf`	A Story of Parametric Trace Slicing, Garbage and Static Analysis. PrePost@iFM Giles Reger
2017	—	`ed.`	ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 ARCADE@CADE Giles Reger, Dmitriy Traytel
2017	—	`conf`	Checkable Proofs for First-Order Theorem Proving. ARCADE@CADE Giles Reger, Martin Suda
2017	—	`conf`	Instantiation and Pretending to be an SMT Solver with Vampire. SMT Giles Reger, Martin Suda, Andrei Voronkov
2017	—	`ed.`	RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA RV-CuBES Giles Reger, Klaus Havelund
2017	B	`ed.`	Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings RV Shuvendu K. Lahiri, Giles Reger
2017	—	`conf`	Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools Klaus Havelund, Giles Reger
2017	—	`conf`	Set of Support for Theory Reasoning. IWIL@LPAR Giles Reger, Martin Suda
2017	J	`jnl`	Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version). CoRR Giles Reger, Martin Suda, Andrei Voronkov
2017	—	`conf`	Testing a Saturation-Based Theorem Prover: Experiences and Challenges. TAP@STAF Giles Reger, Martin Suda, Andrei Voronkov
2016	—	`conf`	AVATAR Modulo Theories. GCAI Giles Reger, Nikolaj S. Bjørner, Martin Suda, Andrei Voronkov
2016	B	`conf`	An Overview of MarQ. RV Giles Reger
2016	—	`conf`	Better Proof Output for Vampire. Vampire@IJCAR Giles Reger
2016	—	`conf`	Considering Typestate Verification for Quantified Event Automata. ISoLA (1) Giles Reger
2016	J	`jnl`	Finding Finite Models in Multi-Sorted First Order Logic. CoRR Giles Reger, Martin Suda, Andrei Voronkov
2016	A	`conf`	Finding Finite Models in Multi-sorted First-Order Logic. SAT Giles Reger, Martin Suda, Andrei Voronkov
2016	—	`conf`	Global Subsumption Revisited (Briefly). Vampire@IJCAR Giles Reger, Martin Suda
2016	—	`conf`	New Techniques in Clausal Form Generation. GCAI Giles Reger, Martin Suda, Andrei Voronkov
2016	A	`conf`	Selecting the Selection. IJCAR Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov
2016	J	`jnl`	Selecting the Selection. CoRR Giles Reger, Martin Suda, Andrei Voronkov, Krystof Hoder
2016	B	`conf`	The vampire and the FOOL. CPP Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov
2016	B	`conf`	Third International Competition on Runtime Verification - CRV 2016. RV Giles Reger, Sylvain Hallé, Yliès Falcone
2016	—	`conf`	What Is a Trace? A Runtime Verification Perspective. ISoLA (2) Giles Reger, Klaus Havelund
2015	J	`jnl`	Automata-based Pattern Mining from Imperfect Traces. ACM SIGSOFT Softw. Eng. Notes Giles Reger, Howard Barringer, David E. Rydeheard
2015	A	`conf`	Cooperating Proof Attempts. CADE Giles Reger, Dmitry Tishkovsky, Andrei Voronkov
2015	B	`conf`	From First-order Temporal Logic to Parametric Trace Slicing. RV Giles Reger, David E. Rydeheard
2015	A	`conf`	MarQ: Monitoring at Runtime with QEA. TACAS Giles Reger, Helena Cuenca Cruz, David E. Rydeheard
2015	A	`conf`	Playing with AVATAR. CADE Giles Reger, Martin Suda, Andrei Voronkov
2015	B	`conf`	Second International Competition on Runtime Verification CRV 2015. RV Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
2015	—	`conf`	Specification of Parametric Monitors. SyDe Summer School Klaus Havelund, Giles Reger
2015	B	`conf`	Suggesting Edits to Explain Failing Traces. RV Giles Reger
2015	—	`conf`	The Uses of SAT Solvers in Vampire. Vampire Workshop Giles Reger, Martin Suda
2015	J	`jnl`	The Vampire and the FOOL. CoRR Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov
2014	—	`—`	Automata based monitoring and mining of execution traces. Giles Reger
2014	—	`conf`	The Challenges of Evaluating a New Feature in Vampire. Vampire Workshop Giles Reger, Martin Suda, Andrei Voronkov
2013	—	`ch.`	A Tutorial on Runtime Verification. Engineering Dependable Software Systems Yliès Falcone, Klaus Havelund, Giles Reger
2013	A*	`conf`	A pattern-based approach to parametric specification mining. ASE Giles Reger, Howard Barringer, David E. Rydeheard
2012	B	`conf`	Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard