Julien Lange

Orcid: 0000-0001-9697-1378

According to our database1, Julien Lange authored at least 35 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A model of actors and grey failures.
Log. Methods Comput. Sci., 2023

2022
Provable GPU Data-Races in Static Race Detection.
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.
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.
Log. Methods Comput. Sci., 2021

kmclib: Automated Inference and Verification of Session Types.
CoRR, 2021

A Session Subtyping Tool (Extended Version).
CoRR, 2021

Fair Refinement for Asynchronous Session Types (extended version).
CoRR, 2021

Automated Verification of Go Programs via Bounded Model Checking.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fair Refinement for Asynchronous Session Types.
Proceedings of the Foundations of Software Science and Computation Structures, 2021

A Session Subtyping Tool.
Proceedings of the Coordination Models and Languages, 2021

Checking Data-Race Freedom of GPU Kernels, Compositionally.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Featherweight go.
Proc. ACM Program. Lang., 2020

Bounded verification of message-passing concurrency in Go using Promela and Spin.
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).
CoRR, 2019

An Empirical Study of Messaging Passing Concurrency in Go Projects.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

A Sound Algorithm for Asynchronous Session Subtyping.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

Verifying Asynchronous Interactions via Communicating Session Automata.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
A static verification framework for message passing in Go using behavioural types.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
Fencing off go: liveness and safety for channel-based programming.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On the Undecidability of Asynchronous Session Subtyping.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016
Multiparty Compatibility for Concurrent Objects.
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).
CoRR, 2016

Characteristic Formulae for Session Types.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Choreographies in the wild.
Sci. Comput. Program., 2015

Characteristic Formulae for Session Types (extended version).
CoRR, 2015

From Communicating Machines to Graphical Choreographies.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Meeting Deadlines Together.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2013
On the synthesis of choreographies.
PhD thesis, 2013

Choreography Synthesis as Contract Agreement.
Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

2012
Three Algorithms and a Methodology for Amending Contracts for Choreographies.
Sci. Ann. Comput. Sci., 2012

Synthesising Choreographies from Local Session Types (extended version)
CoRR, 2012

Synthesising Choreographies from Local Session Types.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Amending Contracts for Choreographies
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

2010
A Modular Toolkit for Distributed Interactions
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.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008


  Loading...