Andrei Stefanescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2011–2021
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CAV | Verified Cryptographic Code for Everybody. | Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu |
| 2017 | LOPSTR | A Constructor-Based Reachability Logic for Rewrite Theories. | Stephen Skeirik, Andrei Stefanescu, Jos Meseguer |
| 2016 | OOPSLA | Semantics-based program verifiers for all languages. | Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu |
| 2015 | PLDI | KJS: a complete formal semantics of JavaScript. | Daejun Park, Andrei Stefanescu, Grigore Rosu |
| 2013 | LICS | One-Path Reachability Logic. | Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore |
| 2013 | PLDI | Natural proofs for structure, data, and separation. | Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan |
| 2012 | FM | From Hoare Logic to Matching Logic Reachability. | Grigore Rosu, Andrei Stefanescu |
| 2012 | ICALP | Towards a Unified Theory of Operational and Axiomatic Semantics. | Grigore Rosu, Andrei Stefanescu |
| 2012 | OOPSLA | Checking reachability using matching logic. | Grigore Rosu, Andrei Stefanescu |
| 2012 | POPL | Recursive proofs for inductive tree data-structures. | Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu |
| 2011 | ICSE | Matching logic: a new program verification approach. | Grigore Rosu, Andrei Stefanescu |