Julien Lange

49 papers A* 4A 2B 5C 3Journal 23Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Modular Static Cost Analysis for GPU Warp-Level Parallelism.
Proc. ACM Program. Lang.
Gregory Blike, Hannah Zicarelli, Udaya Sathiyamoorthy, Julien Lange, Tiago Cogumbreiro
2026 J jnl
Welterweight Go: Boxing, Structural Subtyping, and Generics.
Proc. ACM Program. Lang.
Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, Keith Randall
2025 J jnl
RustMC: Extending the GenMC stateless model checker to Rust.
CoRR
Oliver Pearce, Julien Lange, Dan O'Keeffe
2024 J jnl
Automated Verification of Parametric Channel-Based Process Communication.
Proc. ACM Program. Lang.
Georgian-Vlad Saioc, Julien Lange, Anders Møller
2024 J jnl
Fair Asynchronous Session Subtyping.
Log. Methods Comput. Sci.
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2024 J jnl
Memory access protocols: certified data-race freedom for GPU kernels.
Formal Methods Syst. Des.
Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli
2024 J jnl
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs.
Proc. ACM Program. Lang.
Dennis Liew, Tiago Cogumbreiro, Julien Lange
2023 J jnl
A model of actors and grey failures.
Log. Methods Comput. Sci.
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2023 J jnl
Automated verification of concurrent go programs via bounded model checking.
Autom. Softw. Eng.
Nicolas Dilley, Julien Lange
2022 C conf
A Model of Actors and Grey Failures.
COORDINATION
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2022 J jnl
A model of actors and grey failures.
CoRR
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2022 — conf
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.
TACAS (1)
Keigo Imai, Julien Lange, Rumyana Neykova
2022 — conf
Provable GPU Data-Races in Static Race Detection.
PLACES@ETAPS
Dennis Liew, Tiago Cogumbreiro, Julien Lange
2021 J jnl
A Session Subtyping Tool (Extended Version).
CoRR
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021 C conf
A Session Subtyping Tool.
COORDINATION
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021 J jnl
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.
Log. Methods Comput. Sci.
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2021 A* conf
Automated Verification of Go Programs via Bounded Model Checking.
ASE
Nicolas Dilley, Julien Lange
2021 — conf
Checking Data-Race Freedom of GPU Kernels, Compositionally.
CAV (1)
Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli
2021 J jnl
Fair Refinement for Asynchronous Session Types (extended version).
CoRR
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021 B conf
Fair Refinement for Asynchronous Session Types.
FoSSaCS
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021 — ed.
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021.
ICE
Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas
2021 J jnl
kmclib: Automated Inference and Verification of Session Types.
CoRR
Keigo Imai, Julien Lange, Rumyana Neykova
2020 — conf
Bounded verification of message-passing concurrency in Go using Promela and Spin.
PLACES@ETAPS
Nicolas Dilley, Julien Lange
2020 J jnl
Featherweight Go.
CoRR
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020 J jnl
Featherweight go.
Proc. ACM Program. Lang.
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020 — ed.
Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020.
ICE
Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas
2019 J jnl
A Sound Algorithm for Asynchronous Session Subtyping (extended version).
CoRR
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019 B conf
A Sound Algorithm for Asynchronous Session Subtyping.
CONCUR
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019 A conf
An Empirical Study of Messaging Passing Concurrency in Go Projects.
SANER
Nicolas Dilley, Julien Lange
2019 — conf
Verifying Asynchronous Interactions via Communicating Session Automata.
CAV (1)
Julien Lange, Nobuko Yoshida
2019 J jnl
Verifying Asynchronous Interactions via Communicating Session Automata.
CoRR
Julien Lange, Nobuko Yoshida
2018 A* conf
A static verification framework for message passing in Go using behavioural types.
ICSE
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2017 A* conf
Fencing off go: liveness and safety for channel-based programming.
POPL
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2017 B conf
On the Undecidability of Asynchronous Session Subtyping.
FoSSaCS
Julien Lange, Nobuko Yoshida
2016 A conf
Characteristic Formulae for Session Types.
TACAS
Julien Lange, Nobuko Yoshida
2016 J jnl
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).
CoRR
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2016 — conf
Multiparty Compatibility for Concurrent Objects.
PLACES
Roly Perera, Julien Lange, Simon J. Gay
2015 J jnl
Characteristic Formulae for Session Types (extended version).
CoRR
Julien Lange, Nobuko Yoshida
2015 J jnl
Choreographies in the wild.
Sci. Comput. Program.
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
2015 A* conf
From Communicating Machines to Graphical Choreographies.
POPL
Julien Lange, Emilio Tuosto, Nobuko Yoshida
2015 B conf
Meeting Deadlines Together.
CONCUR
Laura Bocchi, Julien Lange, Nobuko Yoshida
2013 — conf
Choreography Synthesis as Contract Agreement.
ICE
Julien Lange, Alceste Scalas
2013 — —
On the synthesis of choreographies.
Julien Lange
2012 J jnl
Synthesising Choreographies from Local Session Types (extended version)
CoRR
Julien Lange, Emilio Tuosto
2012 B conf
Synthesising Choreographies from Local Session Types.
CONCUR
Julien Lange, Emilio Tuosto
2012 J jnl
Three Algorithms and a Methodology for Amending Contracts for Choreographies.
Sci. Ann. Comput. Sci.
Laura Bocchi, Julien Lange, Emilio Tuosto
2011 — conf
Amending Contracts for Choreographies
ICE
Laura Bocchi, Julien Lange, Emilio Tuosto
2010 — conf
A Modular Toolkit for Distributed Interactions
PLACES
Julien Lange, Emilio Tuosto
2008 C conf
Secure P2P Programming on Top of Tuple Spaces.
WETICE
Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu