Jules Villard

18 papers A* 2A 2B 4C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Non-Termination Proving: 100 Million LoC and Beyond.
CoRR
Julien Vanegue, Jules Villard, Peter W. O'Hearn, Azalea Raad
2022 J jnl
Finding real bugs in big programs with incorrectness logic.
Proc. ACM Program. Lang.
Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn
2020 — conf
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic.
CAV (2)
Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard
2016 B conf
Verifying Concurrent Graph Algorithms.
APLAS
Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner
2015 A conf
CoLoSL: Concurrent Local Subjective Logic.
ESOP
Azalea Raad, Jules Villard, Philippa Gardner
2015 J jnl
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra.
J. Log. Algebraic Methods Program.
Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Jules Villard, Akbar Hussain
2015 J jnl
Shared contract-obedient channels.
Sci. Comput. Program.
Étienne Lozes, Jules Villard
2015 B conf
Sub-classical Boolean Bunched Logics and the Meaning of Par.
CSL
James Brotherston, Jules Villard
2014 C conf
Developments in Concurrent Kleene Algebra.
RAMiCS
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
2014 A* conf
Parametric completeness for separation theories.
POPL
James Brotherston, Jules Villard
2013 A* conf
The ramifications of sharing in data structures.
POPL
Aquinas Hobor, Jules Villard
2012 — conf
Shared Contract-Obedient Endpoints
ICE
Étienne Lozes, Jules Villard
2011 — conf
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus.
TOSCA
Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard
2011 — conf
Reliable Contracts for Unreliable Half-Duplex Communications.
WS-FM
Étienne Lozes, Jules Villard
2010 J jnl
A spatial equational logic for the applied
Distributed Comput.
Étienne Lozes, Jules Villard
2010 A conf
Tracking Heaps That Hop with Heap-Hop.
TACAS
Jules Villard, Étienne Lozes, Cristiano Calcagno
2009 B conf
Proving Copyless Message Passing.
APLAS
Jules Villard, Étienne Lozes, Cristiano Calcagno
2008 B conf
A Spatial Equational Logic for the Applied pi-Calculus.
CONCUR
Étienne Lozes, Jules Villard