Follow
Julien Lange
Title
Cited by
Cited by
Year
From communicating machines to graphical choreographies
J Lange, E Tuosto, N Yoshida
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
1692015
A static verification framework for message passing in go using behavioural types
J Lange, N Ng, B Toninho, N Yoshida
Proceedings of the 40th International Conference on Software Engineering …, 2018
852018
Fencing off go: liveness and safety for channel-based programming
J Lange, N Ng, B Toninho, N Yoshida
ACM SIGPLAN Notices 52 (1), 748-761, 2017
772017
Synthesising choreographies from local session types
J Lange, E Tuosto
International Conference on Concurrency Theory, 225-239, 2012
702012
Meeting deadlines together
L Bocchi, N Yoshida, J Lange
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015
582015
Verifying asynchronous interactions via communicating session automata
J Lange, N Yoshida
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
572019
On the undecidability of asynchronous session subtyping
J Lange, N Yoshida
Foundations of Software Science and Computation Structures: 20th …, 2017
552017
An empirical study of messaging passing concurrency in Go projects
N Dilley, J Lange
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
332019
Characteristic formulae for session types
J Lange, N Yoshida
International Conference on Tools and Algorithms for the Construction and …, 2016
232016
Featherweight go
R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ...
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
222020
Bounded verification of message-passing concurrency in go using promela and spin
N Dilley, J Lange
arXiv preprint arXiv:2004.01323, 2020
222020
Automated verification of go programs via bounded model checking
N Dilley, J Lange
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
192021
Three Algorithms and a Methodology for Amending Contracts for Choreographies
L Bocchi, J Lange, E Tuosto
Scientific Annals of Computer Science 22, 2012
192012
A sound algorithm for asynchronous session subtyping and its implementation
M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro
Logical Methods in Computer Science 17, 2021
142021
Choreography synthesis as contract agreement
J Lange, A Scalas
arXiv preprint arXiv:1310.4573, 2013
142013
A sound algorithm for asynchronous session subtyping
M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro
Leibniz International Proceedings in Informatics 140, 2019
132019
Amending Contracts for Choreographies
L Bocchi, J Lange, E Tuosto
Arxiv preprint arXiv:1108.0470, 2011
132011
Choreographies in the wild
M Bartoletti, J Lange, A Scalas, R Zunino
Science of Computer Programming 109, 36-60, 2015
122015
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs
K Imai, J Lange, R Neykova
International Conference on Tools and Algorithms for the Construction and …, 2022
102022
Fair refinement for asynchronous session types
M Bravetti, J Lange, G Zavattaro
International Conference on Foundations of Software Science and Computation …, 2021
102021
The system can't perform the operation now. Try again later.
Articles 1–20