Jules Villard

I'm a Research Assistant at Queen Mary's Theory Group in London, working on program verification and concurrency.

I did my PhD at LSV in Cachan (near Paris) under the supervision of Étienne Lozes, and I'm one of the developers of the Heap-Hop tool for the verification of heap-manipulating message-passing programs.

I'm also in charge of the group's seminar.

Contact

Address

School of EECS – Theory Group
Queen Mary, University of London
London E1 4NS

E-Mail

jvillard@eecs.qmul.ac.uk

How to recognise me from quite a long way away?

Compare with this photograph.

Publications

Journals

LV10

É. Lozes and J. Villard.  A Spatial Equational Logic for the Applied π-Calculus.  Distributed Computing 23(1), pages 61-83, 2010. (PDF | BibTeX | Abstract)

Conferences

JLTV11

F. Jacquemard, É. Lozes, R. Treinen and J. Villard .  Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied π-Calculus.  To appear in TOSCA'11, LNCS. Springer, 2011. (PDF | BibTeX | Abstract)

VLC10

J. Villard, É. Lozes and C. Calcagno.  Tracking Heaps that Hop with Heap-Hop.  In TACAS'10, LNCS 6015, pages 275-279. Springer, 2010. (PDF | BibTeX | Abstract)

VLC09

J. Villard, É. Lozes and C. Calcagno.  Proving Copyless Message Passing.  In APLAS'09, LNCS 5904, pages 194-209. Springer, 2009. (PDF | BibTeX | Abstract)

LV08

É. Lozes and J. Villard.  A Spatial Equational Logic for the Applied π-Calculus.  In CONCUR'08, LNCS 5201, pages 387-401. Springer, 2008. (PDF | BibTeX | Abstract )

Workshops

LV11

É. Lozes, J. Villard .  Reliable Contracts for Unreliable Half-Duplex Communications.  To appear in WS-FM'11, LNCS. Springer, 2011. (PDF | BibTeX | Abstract)

Thesis

Vil11

J. Villard.  Heaps and Hops.  LSV, ENS Cachan, France, 2011. (PDF | BibTeX | Abstract | Slides)

Caution

This is not Samuel Mimram's webpage.