Secure P2P Programming on Top of Tuple Spaces. - Fabrizio Benigni; Antonio Brogi; Jean-Louis Buchholz; Jean-Marie Jacquet; Julien Lange; Razvan Popescu (WETICE, 2008)

A Modular Toolkit for Distributed Interactions - Julien Lange; Emilio Tuosto (PLACES, 2010)

Amending Contracts for Choreographies - Laura Bocchi; Julien Lange; Emilio Tuosto (ICE, 2011)

Synthesising Choreographies from Local Session Types. - Julien Lange; Emilio Tuosto (CONCUR, 2012)

Synthesising Choreographies from Local Session Types (extended version) - Julien Lange; Emilio Tuosto (CoRR, 2012)

Three Algorithms and a Methodology for Amending Contracts for Choreographies. - Laura Bocchi; Julien Lange; Emilio Tuosto (Sci. Ann. Comput. Sci., 2012)

Choreography Synthesis as Contract Agreement. - Julien Lange; Alceste Scalas (ICE, 2013)

On the synthesis of choreographies. - Julien Lange (2013)

Meeting Deadlines Together. - Laura Bocchi; Julien Lange; Nobuko Yoshida (CONCUR, 2015)

From Communicating Machines to Graphical Choreographies. - Julien Lange; Emilio Tuosto; Nobuko Yoshida (POPL, 2015)

Characteristic Formulae for Session Types (extended version). - Julien Lange; Nobuko Yoshida (CoRR, 2015)

Choreographies in the wild. - Massimo Bartoletti; Julien Lange; Alceste Scalas; Roberto Zunino (Sci. Comput. Program., 2015)

Characteristic Formulae for Session Types. - Julien Lange; Nobuko Yoshida (TACAS, 2016)

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (CoRR, 2016)

Multiparty Compatibility for Concurrent Objects. - Roly Perera; Julien Lange; Simon J. Gay (PLACES, 2016)

On the Undecidability of Asynchronous Session Subtyping. - Julien Lange; Nobuko Yoshida (FoSSaCS, 2017)

Fencing off go: liveness and safety for channel-based programming. - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (POPL, 2017)

A static verification framework for message passing in Go using behavioural types. - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (ICSE, 2018)

Verifying Asynchronous Interactions via Communicating Session Automata. - Julien Lange; Nobuko Yoshida (CAV (1), 2019)

A Sound Algorithm for Asynchronous Session Subtyping. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CONCUR, 2019)

An Empirical Study of Messaging Passing Concurrency in Go Projects. - Nicolas Dilley; Julien Lange (SANER, 2019)

A Sound Algorithm for Asynchronous Session Subtyping (extended version). - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CoRR, 2019)

Bounded verification of message-passing concurrency in Go using Promela and Spin. - Nicolas Dilley; Julien Lange (PLACES@ETAPS, 2020)

Featherweight go. - Robert Griesemer; Raymond Hu; Wen Kokke; Julien Lange; Ian Lance Taylor; Bernardo Toninho; Philip Wadler; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

Checking Data-Race Freedom of GPU Kernels, Compositionally. - Tiago Cogumbreiro; Julien Lange; Dennis Liew Zhen Rong; Hannah Zicarelli (CAV (1), 2021)

A Session Subtyping Tool. - Lorenzo Bacchiani; Mario Bravetti; Julien Lange; Gianluigi Zavattaro (COORDINATION, 2021)

Fair Refinement for Asynchronous Session Types. - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (FoSSaCS, 2021)

Automated Verification of Go Programs via Bounded Model Checking. - Nicolas Dilley; Julien Lange (ASE, 2021)

Fair Refinement for Asynchronous Session Types (extended version). - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (CoRR, 2021)

A Session Subtyping Tool (Extended Version). - Lorenzo Bacchiani; Mario Bravetti; Julien Lange; Gianluigi Zavattaro (CoRR, 2021)

kmclib: Automated Inference and Verification of Session Types. - Keigo Imai; Julien Lange; Rumyana Neykova (CoRR, 2021)

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2021)

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. - Keigo Imai; Julien Lange; Rumyana Neykova (TACAS (1), 2022)

Provable GPU Data-Races in Static Race Detection. - Dennis Liew; Tiago Cogumbreiro; Julien Lange (PLACES@ETAPS, 2022)

A model of actors and grey failures. - Laura Bocchi; Julien Lange; Simon Thompson 001; A. Laura Voinea (Log. Methods Comput. Sci., 2023)

Automated verification of concurrent go programs via bounded model checking. - Nicolas Dilley; Julien Lange (Autom. Softw. Eng., 2023)

Fair Asynchronous Session Subtyping. - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2024)

Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs. - Dennis Liew; Tiago Cogumbreiro; Julien Lange (Proc. ACM Program. Lang., 2024)

Automated Verification of Parametric Channel-Based Process Communication. - Georgian-Vlad Saioc; Julien Lange; Anders Møller (Proc. ACM Program. Lang., 2024)

Memory access protocols: certified data-race freedom for GPU kernels. - Tiago Cogumbreiro; Julien Lange; Dennis Liew; Hannah Zicarelli (Formal Methods Syst. Des., 2024)

RustMC: Extending the GenMC stateless model checker to Rust. - Oliver Pearce; Julien Lange; Dan O'Keeffe (CoRR, 2025)