Dr Julien Lange

  1. 2020
  2. Published

    Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 15 Nov 2020, In : Proceedings of the ACM on Programming Languages, OOPSLA. 4, 29 p., 149.

    Research output: Contribution to journalConference article

  3. Published

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

    Dilley, N. & Lange, J., 3 Apr 2020, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 314, p. 34-45 12 p.

    Research output: Contribution to journalConference article

  4. 2019
  5. Published

    A sound algorithm for asynchronous session subtyping

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 20 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    Verifying Asynchronous Interactions via Communicating Session Automata

    Lange, J. & Yoshida, N., 12 Jul 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 97-117 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Published

    An Empirical Study of Messaging Passing Concurrency in Go Projects

    Dilley, N. & Lange, J., 18 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 377-387 11 p. 8668036. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. 2018
  9. Published

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

    Lange, J., Ng, N., Toninho, B. & Yoshida, N., 27 May 2018, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, p. 1137-1148 12 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2017
  11. Published

    A tool for choreography-based analysis of message-passing software

    Lange, J., Tuosto, E. & Yoshida, N., 31 Jul 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 125-146 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Published

    On the undecidability of asynchronous session subtyping

    Lange, J. & Yoshida, N., 16 Mar 2017, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer Verlag, p. 441-457 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10203 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Published

    Fencing off Go: Liveness and safety for channel-based programming

    Lange, J., Ng, N., Toninho, B. & Yoshida, N., Jan 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery (ACM), p. 748-761 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. 2016
  15. Published

    Multiparty compatibility for concurrent objects

    Perera, R., Lange, J. & Gay, S. J., 17 Jun 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 211, p. 73-82 10 p.

    Research output: Contribution to journalConference article

  16. Published

    Characteristic formulae for session types

    Lange, J. & Yoshida, N., 9 Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer Verlag, p. 833-850 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. 2015
  18. Published

    Choreographies in the wild

    Bartoletti, M., Lange, J., Scalas, A. & Zunino, R., 1 Oct 2015, In : Science of Computer Programming. 109, p. 36-60 25 p.

    Research output: Contribution to journalArticle

  19. Published

    Meeting deadlines together

    Bocchi, L., Lange, J. & Yoshida, N., 26 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 283-296 14 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Published

    From communicating machines to graphical choreographies

    Lange, J., Tuosto, E. & Yoshida, N., Jan 2015, In : ACM SIGPLAN Notices. 50, 1, p. 221-232 12 p.

    Research output: Contribution to journalArticle

  21. 2013
  22. Published

    Choreography synthesis as contract agreement

    Lange, J. & Scalas, A., 15 Oct 2013, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 131, p. 52-67 16 p.

    Research output: Contribution to journalConference article

  23. 2012
  24. Published

    Synthesising choreographies from local session types

    Lange, J. & Tuosto, E., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 225-239 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Published

    Three algorithms and a methodology for amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 2012, In : Scientific Annals of Computer Science. 22, 1, p. 61-104 44 p.

    Research output: Contribution to journalArticle

  26. 2011
  27. Published

    Amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 31 Jul 2011, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 59, p. 111-129 19 p.

    Research output: Contribution to journalConference article

  28. 2009
  29. Published

    Proximity-1 simulating the CCSDS Proximity-1 protocol for ExoMars

    Blommestijn, R., Lange, J., Taylor, C. & Winton, A., 2009, Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace. (European Space Agency, (Special Publication) ESA SP; vol. 669 SP).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. 2008
  31. Published

    Secure P2P programming on top of tuple spaces

    Benigni, F., Brogi, A., Buchholz, J. L., Jacquet, J. M., Lange, J. & Popescu, R., 2008, In : Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE. p. 54-59 6 p., 4806891.

    Research output: Contribution to journalConference article