Julien Lange

According to our database, Julien Lange authored at least 26 papers between 2008 and 2021.

Collaborative distances:

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

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

Fair Refinement for Asynchronous Session Types (extended version).

Mario Bravetti, Julien Lange, Gianluigi Zavattaro

CoRR, 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