Jules Villard

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 7

Top Topics

Mutual Exclusion

Concurrent Programs

Boolean Algebra

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

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