| Local reasoning about the presence of bugs: Incorrectness separation logic A Raad, J Berdine, HH Dang, D Dreyer, P O’Hearn, J Villard International Conference on Computer Aided Verification, 225-252, 2020 | 120 | 2020 |
| 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 | 104 | 2022 |
| The ramifications of sharing in data structures A Hobor, J Villard Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 97 | 2013 |
| Proving copyless message passing J Villard, É Lozes, C Calcagno Programming Languages and Systems, 194-209, 2009 | 94 | 2009 |
| Parametric completeness for separation theories J Brotherston, J Villard ACM SIGPLAN Notices 49 (1), 453-464, 2014 | 59 | 2014 |
| Colosl: Concurrent local subjective logic A Raad, J Villard, P Gardner European Symposium on Programming Languages and Systems, 710-735, 2015 | 52 | 2015 |
| Heaps and Hops J Villard PhD thesis, Laboratoire Spécification et Vérification, ENS Cachan, France, 2011 | 44 | 2011 |
| 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 | 42 | 2010 |
| 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 | 27 | 2014 |
| Reliable Contracts for Unreliable Half-Duplex Communications⋆ É Lozes, J Villard Web Services and Formal Methods 7176, 2-16, 2011 | 19 | 2011 |
| Verifying concurrent graph algorithms A Raad, A Hobor, J Villard, P Gardner Asian Symposium on Programming Languages and Systems, 314-334, 2016 | 17 | 2016 |
| Sub-classical Boolean bunched logics and the meaning of par J Brotherston, J Villard CSL 41, 325-342, 2015 | 17 | 2015 |
| 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 | 15 | 2015 |
| A spatial equational logic for the applied pi-calculus É Lozes, J Villard Distributed Computing 23 (1), 61-83, 2010 | 14* | 2010 |
| Shared contract-obedient channels É Lozes, J Villard Science of Computer Programming 100, 28-60, 2015 | 4 | 2015 |
| 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 |
| 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) A Dawar, D Kozen, S Ronchi Della Rocca, M Abadi, C Carapelle, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | 3 | 2015 |
| Parametric completeness for separation theories J Brotherston, J Villard RN 13, 11, 2013 | 3 | 2013 |
| Sharing contract-obedient endpoints É Lozes, J Villard Proceedings of Interaction and Concurrency Experience (ICE'12) 104, 17-31, 2012 | 3 | 2012 |
| Bi-intuitionistic boolean bunched logic J Brotherston, J Villard RN 14, 06, 2014 | 2 | 2014 |
Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
