Julien Vanegue

According to our database, Julien Vanegue authored at least 13 papers between 2010 and 2026.

Collaborative distances:

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

2026

Agentic Separation Logic Specification Synthesis.

Tarun Suresh, David Korczynski, Julien Vanegue

CoRR, May, 2026

LLMs versus the Halting Problem: Revisiting Program Termination Prediction.

Oren Sultan, Jordi Armengol-Estapé, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter W. O'Hearn

CoRR, January, 2026

2025

Non-Termination Proving: 100 Million LoC and Beyond.

Julien Vanegue, Jules Villard, Peter W. O'Hearn, Azalea Raad

CoRR, September, 2025

AMPLE: Fine-grained File Access Policies for Server Applications.

Seyedhamed Ghavamnia, Julien Vanegue

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

Non-termination Proving at Scale.

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

Proc. ACM Program. Lang., 2024

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