A Spatial Equational Logic for the Applied pi-Calculus. - Étienne Lozes; Jules Villard (CONCUR, 2008)

Proving Copyless Message Passing. - Jules Villard; Étienne Lozes; Cristiano Calcagno (APLAS, 2009)

Tracking Heaps That Hop with Heap-Hop. - Jules Villard; Étienne Lozes; Cristiano Calcagno (TACAS, 2010)

A spatial equational logic for the applied pi-calculus. - Étienne Lozes; Jules Villard (Distributed Comput., 2010)

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. - Florent Jacquemard; Étienne Lozes; Ralf Treinen; Jules Villard (TOSCA, 2011)

Reliable Contracts for Unreliable Half-Duplex Communications. - Étienne Lozes; Jules Villard (WS-FM, 2011)

Shared Contract-Obedient Endpoints - Étienne Lozes; Jules Villard (ICE, 2012)

The ramifications of sharing in data structures. - Aquinas Hobor; Jules Villard (POPL, 2013)

Developments in Concurrent Kleene Algebra. - Tony Hoare; Stephan van Staden; Bernhard Möller; Georg Struth; Jules Villard; Huibiao Zhu; Peter W. O'Hearn (RAMiCS, 2014)

Parametric completeness for separation theories. - James Brotherston; Jules Villard (POPL, 2014)

Sub-classical Boolean Bunched Logics and the Meaning of Par. - James Brotherston; Jules Villard (CSL, 2015)

CoLoSL: Concurrent Local Subjective Logic. - Azalea Raad; Jules Villard; Philippa Gardner (ESOP, 2015)

On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra. - Peter W. O'Hearn; Rasmus Lerchedahl Petersen; Jules Villard; Akbar Hussain (J. Log. Algebraic Methods Program., 2015)

Shared contract-obedient channels. - Étienne Lozes; Jules Villard (Sci. Comput. Program., 2015)

Verifying Concurrent Graph Algorithms. - Azalea Raad; Aquinas Hobor; Jules Villard; Philippa Gardner (APLAS, 2016)

Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. - Azalea Raad; Josh Berdine; Hoang-Hai Dang; Derek Dreyer; Peter W. O'Hearn; Jules Villard (CAV (2), 2020)

Finding real bugs in big programs with incorrectness logic. - Quang Loc Le; Azalea Raad; Jules Villard; Josh Berdine; Derek Dreyer; Peter W. O'Hearn (Proc. ACM Program. Lang., 2022)