Jules Villard

According to our database, Jules Villard authored at least 17 papers between 2008 and 2022.

Collaborative distances:

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

2022

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

2020

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

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2016

Verifying Concurrent Graph Algorithms.

Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Shared contract-obedient channels.

Étienne Lozes, Jules Villard

Sci. Comput. Program., 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

CoLoSL: Concurrent Local Subjective Logic.

Azalea Raad, Jules Villard, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2015

Sub-classical Boolean Bunched Logics and the Meaning of Par.

James Brotherston, Jules Villard

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Parametric completeness for separation theories.

James Brotherston, Jules Villard

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Developments in Concurrent Kleene Algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

The ramifications of sharing in data structures.

Aquinas Hobor, Jules Villard

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Shared Contract-Obedient Endpoints

Étienne Lozes, Jules Villard

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

2011

Reliable Contracts for Unreliable Half-Duplex Communications.

Étienne Lozes, Jules Villard

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus.

Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

2010

A spatial equational logic for the applied <i>pi</i>-calculus.

Étienne Lozes, Jules Villard

Distributed Comput., 2010

Tracking Heaps That Hop with Heap-Hop.

Jules Villard, Étienne Lozes, Cristiano Calcagno

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009

Proving Copyless Message Passing.

Jules Villard, Étienne Lozes, Cristiano Calcagno

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

A Spatial Equational Logic for the Applied pi-Calculus.

Étienne Lozes, Jules Villard

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008