Jules Villard
PhD Student
What's New?
- 16 Aug 2010: Distributed Computing is publishing our journal paper on AπLog, a spatial logic for the applied π-calculus.
- 11 Dec 2009: Our Heap-Hop tool paper has been accepted for presentation at TACAS'10.
- 12 Oct 2009: Our tool Heap-Hop is released!
- 16 Aug 2009: Our paper about how to mix copyless message passing and contracts with separation logic has been accepted to the APLAS'09 conference.
Research
I am currently in my third year of Ph. D. under the supervision of Étienne Lozes. I am interested in formal specification and proofs of concurrent programs, and more specifically in local reasonning for message passing programs.
Publications
You can see my publication list.
Ongoing Work
- Phases-Loop Acceleration of Count and Queue Systems with B. Bollig and É. Lozes. Submitted.
- First-Order Constraint Systems with Multiple Congruence Relations with F. Jacquemard, É. Lozes and R. Treinen. Submitted.
Miscellaneous
- I have several deskmates; namely, ordered by geographical proximity:
- My PGP key.
Caution
This is not Samuel Mimram's webpage.
