Follow
Jules Villard
Title
Cited by
Cited by
Year
The ramifications of sharing in data structures
A Hobor, J Villard
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
912013
Proving copyless message passing
J Villard, É Lozes, C Calcagno
Programming Languages and Systems, 194-209, 2009
862009
Local reasoning about the presence of bugs: Incorrectness separation logic
A Raad, J Berdine, HH Dang, D Dreyer, P O’Hearn, J Villard
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
602020
Parametric completeness for separation theories
J Brotherston, J Villard
ACM SIGPLAN Notices 49 (1), 453-464, 2014
572014
Colosl: Concurrent local subjective logic
A Raad, J Villard, P Gardner
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
432015
Finding real bugs in big programs with incorrectness logic
QL Le, A Raad, J Villard, J Berdine, D Dreyer, PW O'Hearn
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022
392022
Tracking Heaps that Hop with Heap-Hop
J Villard, É Lozes, C Calcagno
Tools and Algorithms for the Construction and Analysis of Systems, 275-279, 2010
392010
Heaps and Hops
J Villard
PhD thesis, Laboratoire Spécification et Vérification, ENS Cachan, France, 2011
362011
Developments in Concurrent Kleene Algebra
T Hoare, S van Staden, B Möller, G Struth, J Villard, H Zhu, P O'Hearn
Relational and Algebraic Methods in Computer Science 8428, 1-18, 2014
252014
Sub-classical Boolean bunched logics and the meaning of par
J Brotherston, J Villard
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015
172015
Reliable Contracts for Unreliable Half-Duplex Communications⋆
É Lozes, J Villard
Web Services and Formal Methods 7176, 2-16, 2011
172011
Verifying concurrent graph algorithms
A Raad, A Hobor, J Villard, P Gardner
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
162016
On the relation between concurrent separation logic and concurrent Kleene algebra
PW O'Hearn, RL Petersen, J Villard, A Hussain
Journal of Logical and Algebraic Methods in Programming 84 (3), 285-302, 2015
152015
A spatial equational logic for the applied pi-calculus
É Lozes, J Villard
Distributed Computing 23 (1), 61-83, 2010
15*2010
Shared contract-obedient channels
É Lozes, J Villard
Science of Computer Programming 100, 28-60, 2015
42015
Multiple congruence relations, first-order theories on terms, and the frames of the applied pi-calculus
F Jacquemard, E Lozes, R Treinen, J Villard
Joint Workshop on Theory of Security and Applications, 166-185, 2011
4*2011
Parametric completeness for separation theories
J Brotherston, J Villard
RN 13, 11, 2013
32013
Sharing contract-obedient endpoints
É Lozes, J Villard
Proceedings of Interaction and Concurrency Experience (ICE'12) 104, 17-31, 2012
32012
Bi-intuitionistic boolean bunched logic
J Brotherston, J Villard
RN 14, 06, 2014
22014
Here be wyverns! Verifying LLVM bitcode with llStar
J Villard
2*
The system can't perform the operation now. Try again later.
Articles 1–20