Julien Vanegue

12 papers A* 2B 3Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
LLMs versus the Halting Problem: Revisiting Program Termination Prediction.
CoRR
Oren Sultan, Jordi Armengol-Estapé, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter W. O'Hearn
2025 A* conf
AMPLE: Fine-grained File Access Policies for Server Applications.
ASE
Seyedhamed Ghavamnia, Julien Vanegue
2025 J jnl
Non-Termination Proving: 100 Million LoC and Beyond.
CoRR
Julien Vanegue, Jules Villard, Peter W. O'Hearn, Azalea Raad
2024 J jnl
Non-termination Proving at Scale.
Proc. ACM Program. Lang.
Azalea Raad, Julien Vanegue, Peter W. O'Hearn
2023 B conf
A General Approach to Under-Approximate Reasoning About Concurrent Programs.
CONCUR
Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn
2022 B conf
Adversarial Logic.
SAS
Julien Vanegue
2014 — conf
The Weird Machines in Proof-Carrying Code.
IEEE Symposium on Security and Privacy Workshops
Julien Vanegue
2013 A* conf
Towards Practical Reactive Security Audit Using Extended Static Checkers.
IEEE Symposium on Security and Privacy
Julien Vanegue, Shuvendu K. Lahiri
2012 — conf
SMT Solvers in Software Security.
WOOT
Julien Vanegue, Sean Heelan
2011 B conf
ExplainHoudini: Making Houdini Inference Transparent.
VMCAI
Shuvendu K. Lahiri, Julien Vanegue
2010 — conf
Towards Scalable Modular Checking of User-Defined Properties.
VSTTE
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
2010 — conf
Zero-sized Heap Allocations Vulnerability Analysis.
WOOT
Julien Vanegue