Radu Grigore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
13
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | PrivacyCAT: Privacy-Aware Code Analysis at Scale. | Ke Mao, Cons T. hs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, kos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne |
| 2019 | FM | PrideMM: Second Order Model Checking for Memory Consistency Models. | Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikols Janota |
| 2018 | CONCUR | Selective Monitoring. | Radu Grigore, Stefan Kiefer |
| 2017 | CAV | Maximum Satisfiability in Software Analysis: Applications and Techniques. | Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik |
| 2017 | POPL | Java generics are turing complete. | Radu Grigore |
| 2016 | ICALP | Proving the Herman-Protocol Conjecture. | Maria Bruna, Radu Grigore, Stefan Kiefer, Jol Ouaknine, James Worrell |
| 2016 | POPL | Abstraction refinement guided by a learnt probabilistic model. | Radu Grigore, Hongseok Yang |
| 2015 | CAV | Tree Buffers. | Radu Grigore, Stefan Kiefer |
| 2014 | PLDI | On abstraction refinement for program analyses in Datalog. | Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang |
| 2013 | FOSSACS | History-Register Automata. | Nikos Tzevelekos, Radu Grigore |
| 2013 | LPAR | On QBF Proofs and Preprocessing. | Mikols Janota, Radu Grigore, Joo Marques-Silva |
| 2013 | TACAS | Runtime Verification Based on Register Automata. | Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos |
| 2010 | JELIA | Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. | Mikols Janota, Radu Grigore, Joo Marques-Silva |
| 2010 | SOFSEM | How to Complete an Interactive Configuration Process? | Mikols Janota, Goetz Botterweck, Radu Grigore, Joo Marques-Silva |
| 2009 | ECOOP | Strongest postcondition of unstructured programs. | Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry |