Julien Vanegue
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2011–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CONCUR | A General Approach to Under-Approximate Reasoning About Concurrent Programs. | Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn |
| 2022 | SAS | Adversarial Logic. | Julien Vanegue |
| 2014 | SP | The Weird Machines in Proof-Carrying Code. | Julien Vanegue |
| 2013 | SP | Towards Practical Reactive Security Audit Using Extended Static Checkers. | Julien Vanegue, Shuvendu K. Lahiri |
| 2011 | VMCAI | ExplainHoudini: Making Houdini Inference Transparent. | Shuvendu K. Lahiri, Julien Vanegue |