Jules Villard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2008–2020
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CAV | 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 |
| 2016 | APLAS | Verifying Concurrent Graph Algorithms. | Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner |
| 2015 | CSL | Sub-classical Boolean Bunched Logics and the Meaning of Par. | James Brotherston, Jules Villard |
| 2015 | ESOP | CoLoSL: Concurrent Local Subjective Logic. | Azalea Raad, Jules Villard, Philippa Gardner |
| 2014 | POPL | Parametric completeness for separation theories. | James Brotherston, Jules Villard |
| 2013 | POPL | The ramifications of sharing in data structures. | Aquinas Hobor, Jules Villard |
| 2010 | TACAS | Tracking Heaps That Hop with Heap-Hop. | Jules Villard, tienne Lozes, Cristiano Calcagno |
| 2009 | APLAS | Proving Copyless Message Passing. | Jules Villard, tienne Lozes, Cristiano Calcagno |
| 2008 | CONCUR | A Spatial Equational Logic for the Applied pi-Calculus. | tienne Lozes, Jules Villard |