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 | 166 | 2015 |
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 | 85 | 2018 |
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 | 77 | 2017 |
Synthesising choreographies from local session types J Lange, E Tuosto International Conference on Concurrency Theory, 225-239, 2012 | 70 | 2012 |
Meeting deadlines together L Bocchi, N Yoshida, J Lange Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015 | 56 | 2015 |
Verifying asynchronous interactions via communicating session automata J Lange, N Yoshida Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 54 | 2019 |
On the undecidability of asynchronous session subtyping J Lange, N Yoshida Foundations of Software Science and Computation Structures: 20th …, 2017 | 54 | 2017 |
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 | 34 | 2019 |
Bounded verification of message-passing concurrency in Go using Promela and Spin N Dilley, J Lange arXiv preprint arXiv:2004.01323, 2020 | 23 | 2020 |
Characteristic formulae for session types J Lange, N Yoshida International Conference on Tools and Algorithms for the Construction and …, 2016 | 23 | 2016 |
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 | 22 | 2020 |
Automated verification of go programs via bounded model checking N Dilley, J Lange 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 19 | 2021 |
Three Algorithms and a Methodology for Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Scientific Annals of Computer Science 22, 2012 | 19 | 2012 |
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 | 14 | 2021 |
A sound algorithm for asynchronous session subtyping M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro Leibniz International Proceedings in Informatics 140, 2019 | 14 | 2019 |
Choreography synthesis as contract agreement J Lange, A Scalas arXiv preprint arXiv:1310.4573, 2013 | 14 | 2013 |
Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Arxiv preprint arXiv:1108.0470, 2011 | 13 | 2011 |
Choreographies in the wild M Bartoletti, J Lange, A Scalas, R Zunino Science of Computer Programming 109, 36-60, 2015 | 12 | 2015 |
Fair refinement for asynchronous session types M Bravetti, J Lange, G Zavattaro International Conference on Foundations of Software Science and Computation …, 2021 | 9 | 2021 |
Checking data-race freedom of gpu kernels, compositionally T Cogumbreiro, J Lange, DLZ Rong, H Zicarelli International Conference on Computer Aided Verification, 403-426, 2021 | 8 | 2021 |