Dr Julien Lange
Alumni
PublicationsDr. Julien Lange is a research associate at Imperial College London. He is mainly interests are centred around the relationship between local and global specifications of distributed systems. He gained his PhD from the University of Leicester in 2013.
Julien is now at University of Kent
Publications
2020
-
: Featherweight Go. OOPSLA 2020 .
2018
2017
-
: A Tool for Choreography-Based Analysis of Message-Passing Software. Behavioural Types: from Theory to Tools .
-
: On the Undecidability of Asynchronous Session Subtyping. FoSSaCS 2017 .
2016
-
: Characteristic Formulae for Session Types. TACAS 2016 .
-
: Multiparty Compatibility for Concurrent Objects. PLACES'16 .
2015
-
: From communicating machines to graphical choreographies. POPL 2015 .
-
: Meeting Deadlines Together. CONCUR 2015 .
2014
-
: Choreographies in the Wild. SCP .
2011
-
: Amending Contracts for Choreographies. ICE 2011 .
Professional Activities
PC Members and Chairs
-
PrePost 2016 Programme Committee Member
First International Workshop on Pre- and Post-Deployment Verification Techniques
-
ICE 2016 Programme Committee Member
9th Interaction and Concurrency Experience