Julien Lange

According to our database, Julien Lange authored at least 40 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Memory access protocols: certified data-race freedom for GPU kernels.

Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli

Formal Methods Syst. Des., October, 2024

Automated Verification of Parametric Channel-Based Process Communication.

Georgian-Vlad Saioc, Julien Lange, Anders Møller

Proc. ACM Program. Lang., 2024

Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs.

Dennis Liew, Tiago Cogumbreiro, Julien Lange

Proc. ACM Program. Lang., 2024

Fair Asynchronous Session Subtyping.

Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Log. Methods Comput. Sci., 2024

2023

Automated verification of concurrent go programs via bounded model checking.

Nicolas Dilley, Julien Lange

Autom. Softw. Eng., June, 2023

A model of actors and grey failures.

Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea

Log. Methods Comput. Sci., 2023

2022

Provable GPU Data-Races in Static Race Detection.

Dennis Liew, Tiago Cogumbreiro, Julien Lange

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.

Keigo Imai, Julien Lange, Rumyana Neykova

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

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.

Keigo Imai, Julien Lange, Rumyana Neykova

CoRR, 2021

A Session Subtyping Tool (Extended Version).

Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro

CoRR, 2021

Fair Refinement for Asynchronous Session Types (extended version).

Mario Bravetti, Julien Lange, Gianluigi Zavattaro

CoRR, 2021

Automated Verification of Go Programs via Bounded Model Checking.

Nicolas Dilley, Julien Lange

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fair Refinement for Asynchronous Session Types.

Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Proceedings of the Foundations of Software Science and Computation Structures, 2021

A Session Subtyping Tool.

Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Proceedings of the Coordination Models and Languages, 2021

Checking Data-Race Freedom of GPU Kernels, Compositionally.

Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

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

Bounded verification of message-passing concurrency in Go using Promela and Spin.

Nicolas Dilley, Julien Lange

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

2019

A Sound Algorithm for Asynchronous Session Subtyping (extended version).

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

CoRR, 2019

An Empirical Study of Messaging Passing Concurrency in Go Projects.

Nicolas Dilley, Julien Lange

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

A Sound Algorithm for Asynchronous Session Subtyping.

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Verifying Asynchronous Interactions via Communicating Session Automata.

Julien Lange, Nobuko Yoshida

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

A static verification framework for message passing in Go using behavioural types.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Fencing off go: liveness and safety for channel-based programming.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On the Undecidability of Asynchronous Session Subtyping.

Julien Lange, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016

Multiparty Compatibility for Concurrent Objects.

Roly Perera, Julien Lange, Simon J. Gay

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

CoRR, 2016

Characteristic Formulae for Session Types.

Julien Lange, Nobuko Yoshida

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Choreographies in the wild.

Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino

Sci. Comput. Program., 2015

Characteristic Formulae for Session Types (extended version).

Julien Lange, Nobuko Yoshida

CoRR, 2015

From Communicating Machines to Graphical Choreographies.

Julien Lange, Emilio Tuosto, Nobuko Yoshida

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Meeting Deadlines Together.

Laura Bocchi, Julien Lange, Nobuko Yoshida

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2013

On the synthesis of choreographies.

Julien Lange

PhD thesis, 2013

Choreography Synthesis as Contract Agreement.

Julien Lange, Alceste Scalas

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

2012

Three Algorithms and a Methodology for Amending Contracts for Choreographies.

Laura Bocchi, Julien Lange, Emilio Tuosto

Sci. Ann. Comput. Sci., 2012

Synthesising Choreographies from Local Session Types (extended version)

Julien Lange, Emilio Tuosto

CoRR, 2012

Synthesising Choreographies from Local Session Types.

Julien Lange, Emilio Tuosto

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Amending Contracts for Choreographies

Laura Bocchi, Julien Lange, Emilio Tuosto

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

2010

A Modular Toolkit for Distributed Interactions

Julien Lange, Emilio Tuosto

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

2008

Secure P2P Programming on Top of Tuple Spaces.

Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008