Towards Scalable Modular Checking of User-Defined Properties. - Thomas Ball 001; Brian Hackett; Shuvendu K. Lahiri; Shaz Qadeer; Julien Vanegue (VSTTE, 2010)

Zero-sized Heap Allocations Vulnerability Analysis. - Julien Vanegue (WOOT, 2010)

ExplainHoudini: Making Houdini Inference Transparent. - Shuvendu K. Lahiri; Julien Vanegue (VMCAI, 2011)

SMT Solvers in Software Security. - Julien Vanegue; Sean Heelan (WOOT, 2012)

Towards Practical Reactive Security Audit Using Extended Static Checkers. - Julien Vanegue; Shuvendu K. Lahiri (IEEE Symposium on Security and Privacy, 2013)

The Weird Machines in Proof-Carrying Code. - Julien Vanegue (IEEE Symposium on Security and Privacy Workshops, 2014)

Adversarial Logic. - Julien Vanegue (SAS, 2022)

A General Approach to Under-Approximate Reasoning About Concurrent Programs. - Azalea Raad; Julien Vanegue; Josh Berdine; Peter W. O'Hearn (CONCUR, 2023)

Non-termination Proving at Scale. - Azalea Raad; Julien Vanegue; Peter W. O'Hearn (Proc. ACM Program. Lang., 2024)