| 2026 | FORTE | RustMC : Automated Verification of Real-World Concurrent Rust. | Oliver Pearce, Julien Lange, Dan O'Keeffe |
| 2022 | Coordination | A Model of Actors and Grey Failures. | Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea |
| 2022 | TACAS | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. | Keigo Imai, Julien Lange, Rumyana Neykova |
| 2021 | CAV | Checking Data-Race Freedom of GPU Kernels, Compositionally. | Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli |
| 2021 | Coordination | A Session Subtyping Tool. | Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
| 2021 | FOSSACS | Fair Refinement for Asynchronous Session Types. | Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
| 2019 | CAV | Verifying Asynchronous Interactions via Communicating Session Automata. | Julien Lange, Nobuko Yoshida |
| 2019 | CONCUR | A Sound Algorithm for Asynchronous Session Subtyping. | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
| 2018 | ICSE | A static verification framework for message passing in Go using behavioural types. | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
| 2017 | FOSSACS | On the Undecidability of Asynchronous Session Subtyping. | Julien Lange, Nobuko Yoshida |
| 2017 | POPL | Fencing off go: liveness and safety for channel-based programming. | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
| 2016 | TACAS | Characteristic Formulae for Session Types. | Julien Lange, Nobuko Yoshida |
| 2015 | CONCUR | Meeting Deadlines Together. | Laura Bocchi, Julien Lange, Nobuko Yoshida |
| 2015 | POPL | From Communicating Machines to Graphical Choreographies. | Julien Lange, Emilio Tuosto, Nobuko Yoshida |
| 2012 | CONCUR | Synthesising Choreographies from Local Session Types. | Julien Lange, Emilio Tuosto |
| 2008 | WETICE | Secure P2P Programming on Top of Tuple Spaces. | Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu |