Radu Grigore

According to our database, Radu Grigore authored at least 28 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Enhancing Compositional Static Analysis with Dynamic Analysis.

Dino Distefano, Matteo Marescotti, Cons Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

PrivacyCAT: Privacy-Aware Code Analysis at Scale.

Ke Mao, Cons Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

Automatic Compositional Checking of Multi-object TypeState Properties of Software.

Radu Grigore, Dino Distefano, Nikos Tzevelekos

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2022

InfERL: scalable and extensible Erlang static analysis.

Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2021

Selective monitoring.

Radu Grigore, Stefan Kiefer

J. Comput. Syst. Sci., 2021

2019

PrideMM: A Solver for Relaxed Memory Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

CoRR, 2019

PrideMM: Second Order Model Checking for Memory Consistency Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Effective interactive resolution of static analysis alarms.

Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik

Proc. ACM Program. Lang., 2017

Java generics are turing complete.

Radu Grigore

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Maximum Satisfiability in Software Analysis: Applications and Techniques.

Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

On the Quest for an Acyclic Graph.

Mikolás Janota, Radu Grigore, Vasco Manquinho

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

2016

History-Register Automata

Radu Grigore, Nikos Tzevelekos

Log. Methods Comput. Sci., 2016

Abstraction refinement guided by a learnt probabilistic model.

Radu Grigore, Hongseok Yang

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Proving the Herman-Protocol Conjecture.

Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

Tree Buffers.

Radu Grigore, Stefan Kiefer

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

On abstraction refinement for program analyses in Datalog.

Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Runtime Verification Based on Register Automata.

Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

On QBF Proofs and Preprocessing.

Mikolás Janota, Radu Grigore, João Marques-Silva

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

The Design and Algorithms of a Verification Condition Generator

Radu Grigore

CoRR, 2012

2011

jStar-eclipse: an IDE for automated verification of Java programs.

Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

The COST IC0701 Verification Competition 2011.

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

How to Complete an Interactive Configuration Process?

Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.

Mikolás Janota, Radu Grigore, João Marques-Silva

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Algorithms for finding dispensable variables

Mikolás Janota, João Marques-Silva, Radu Grigore

CoRR, 2009

Strongest postcondition of unstructured programs.

Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

CLOPS: A DSL for Command Line Options.

Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2007

Edit and verify

Radu Grigore, Michal Moskal

CoRR, 2007

Reachability analysis for annotated code.

Mikolás Janota, Radu Grigore, Michal Moskal

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007