Julien Vanegue

According to our database, Julien Vanegue authored at least 8 papers between 2010 and 2023.

Collaborative distances:

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

2023

A General Approach to Under-Approximate Reasoning About Concurrent Programs.

Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Adversarial Logic.

Julien Vanegue

Proceedings of the Static Analysis - 29th International Symposium, 2022

2014

The Weird Machines in Proof-Carrying Code.

Julien Vanegue

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

2013

Towards Practical Reactive Security Audit Using Extended Static Checkers.

Julien Vanegue, Shuvendu K. Lahiri

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012

SMT Solvers in Software Security.

Julien Vanegue, Sean Heelan

Proceedings of the 6th USENIX Workshop on Offensive Technologies, 2012

2011

ExplainHoudini: Making Houdini Inference Transparent.

Shuvendu K. Lahiri, Julien Vanegue

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2010

Zero-sized Heap Allocations Vulnerability Analysis.

Julien Vanegue

Proceedings of the 4th USENIX Workshop on Offensive Technologies, 2010

Towards Scalable Modular Checking of User-Defined Properties.

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue

Proceedings of the Verified Software: Theories, 2010