Julien Lange

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 31

Top Venues

University of Leicester, UK (PHD)

Education History

University of Leicester, UK

PHD

Publications

Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A model of actors and grey failures. Log. Methods Comput. Sci. 19 (4) (2023)
Keigo Imai, Julien Lange, Rumyana Neykova
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. TACAS (1) (2022)
Dennis Liew, Tiago Cogumbreiro, Julien Lange
Provable GPU Data-Races in Static Race Detection. PLACES@ETAPS (2022)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A Model of Actors and Grey Failures. COORDINATION (2022)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A model of actors and grey failures. CoRR (2022)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17 (1) (2021)
Nicolas Dilley, Julien Lange
Automated Verification of Go Programs via Bounded Model Checking. ASE (2021)
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
A Session Subtyping Tool (Extended Version). CoRR (2021)
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
A Session Subtyping Tool. COORDINATION (2021)
Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli
Checking Data-Race Freedom of GPU Kernels, Compositionally. CAV (1) (2021)
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Fair Refinement for Asynchronous Session Types (extended version). CoRR (2021)
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Fair Refinement for Asynchronous Session Types. FoSSaCS (2021)
Keigo Imai, Julien Lange, Rumyana Neykova
kmclib: Automated Inference and Verification of Session Types. CoRR (2021)
Nicolas Dilley, Julien Lange
Bounded verification of message-passing concurrency in Go using Promela and Spin. PLACES@ETAPS (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight Go. CoRR (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight go. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Julien Lange, Nobuko Yoshida
Verifying Asynchronous Interactions via Communicating Session Automata. CoRR (2019)
Nicolas Dilley, Julien Lange
An Empirical Study of Messaging Passing Concurrency in Go Projects. SANER (2019)
Julien Lange, Nobuko Yoshida
Verifying Asynchronous Interactions via Communicating Session Automata. CAV (1) (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR (2019)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
A static verification framework for message passing in Go using behavioural types. ICSE (2018)
Julien Lange, Nobuko Yoshida
On the Undecidability of Asynchronous Session Subtyping. FoSSaCS (2017)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
Fencing off go: liveness and safety for channel-based programming. POPL (2017)
Roly Perera, Julien Lange, Simon J. Gay
Multiparty Compatibility for Concurrent Objects. PLACES (2016)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). CoRR (2016)
Julien Lange, Nobuko Yoshida
Characteristic Formulae for Session Types. TACAS (2016)
Julien Lange, Nobuko Yoshida
Characteristic Formulae for Session Types (extended version). CoRR (2015)
Julien Lange, Emilio Tuosto, Nobuko Yoshida
From Communicating Machines to Graphical Choreographies. POPL (2015)
Laura Bocchi, Julien Lange, Nobuko Yoshida
Meeting Deadlines Together. CONCUR (2015)
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
Choreographies in the wild. Sci. Comput. Program. 109 (2015)
Julien Lange, Alceste Scalas
Choreography Synthesis as Contract Agreement. ICE (2013)
Julien Lange, Emilio Tuosto
Synthesising Choreographies from Local Session Types (extended version) CoRR (2012)
Julien Lange, Emilio Tuosto
Synthesising Choreographies from Local Session Types. CONCUR (2012)
Laura Bocchi, Julien Lange, Emilio Tuosto
Three Algorithms and a Methodology for Amending Contracts for Choreographies. Sci. Ann. Comput. Sci. 22 (1) (2012)
Laura Bocchi, Julien Lange, Emilio Tuosto
Amending Contracts for Choreographies ICE (2011)
Julien Lange, Emilio Tuosto
A Modular Toolkit for Distributed Interactions PLACES (2010)
Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu
Secure P2P Programming on Top of Tuple Spaces. WETICE (2008)

Julien Lange.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julien Lange