default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Julien Lange
@article{DBLP:journals/pacmpl/BlikeZSLC26,
author = {Gregory Blike and
Hannah Zicarelli and
Udaya Sathiyamoorthy and
Julien Lange and
Tiago Cogumbreiro},
title = {A Modular Static Cost Analysis for {GPU} Warp-Level Parallelism},
journal = {Proc. {ACM} Program. Lang.},
volume = {10},
number = {{POPL}},
pages = {1471--1499},
year = {2026},
url = {https://doi.org/10.1145/3776693},
doi = {10.1145/3776693},
timestamp = {Tue, 03 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BlikeZSLC26.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HuLTWGR26,
author = {Raymond Hu and
Julien Lange and
Bernardo Toninho and
Philip Wadler and
Robert Griesemer and
Keith Randall},
title = {Welterweight Go: Boxing, Structural Subtyping, and Generics},
journal = {Proc. {ACM} Program. Lang.},
volume = {10},
number = {{POPL}},
pages = {2295--2322},
year = {2026},
url = {https://doi.org/10.1145/3776721},
doi = {10.1145/3776721},
timestamp = {Tue, 03 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HuLTWGR26.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2502-06293,
author = {Oliver Pearce and
Julien Lange and
Dan O'Keeffe},
title = {RustMC: Extending the GenMC stateless model checker to Rust},
journal = {CoRR},
volume = {abs/2502.06293},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2502.06293},
doi = {10.48550/ARXIV.2502.06293},
eprinttype = {arXiv},
eprint = {2502.06293},
timestamp = {Wed, 12 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2502-06293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CogumbreiroLLZ24,
author = {Tiago Cogumbreiro and
Julien Lange and
Dennis Liew and
Hannah Zicarelli},
title = {Memory access protocols: certified data-race freedom for {GPU} kernels},
journal = {Formal Methods Syst. Des.},
volume = {63},
number = {1},
pages = {134--171},
year = {2024},
url = {https://doi.org/10.1007/s10703-023-00415-0},
doi = {10.1007/S10703-023-00415-0},
timestamp = {Tue, 24 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CogumbreiroLLZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BravettiLZ24,
author = {Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
title = {Fair Asynchronous Session Subtyping},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {4},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(4:5)2024},
doi = {10.46298/LMCS-20(4:5)2024},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BravettiLZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SaiocLM24,
author = {Georgian{-}Vlad Saioc and
Julien Lange and
Anders M{\o}ller},
title = {Automated Verification of Parametric Channel-Based Process Communication},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{OOPSLA2}},
pages = {2070--2096},
year = {2024},
url = {https://doi.org/10.1145/3689784},
doi = {10.1145/3689784},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SaiocLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiewCL24,
author = {Dennis Liew and
Tiago Cogumbreiro and
Julien Lange},
title = {Sound and Partially-Complete Static Analysis of Data-Races in {GPU}
Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{OOPSLA2}},
pages = {2434--2461},
year = {2024},
url = {https://doi.org/10.1145/3689797},
doi = {10.1145/3689797},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiewCL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DilleyL23,
author = {Nicolas Dilley and
Julien Lange},
title = {Automated verification of concurrent go programs via bounded model
checking},
journal = {Autom. Softw. Eng.},
volume = {30},
number = {1},
year = {2023},
url = {https://doi.org/10.1007/s10515-023-00391-z},
doi = {10.1007/S10515-023-00391-Z},
timestamp = {Tue, 24 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/DilleyL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BocchiLTV23,
author = {Laura Bocchi and
Julien Lange and
Simon Thompson and
Adriana Laura Voinea},
title = {A model of actors and grey failures},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:13)2023},
doi = {10.46298/LMCS-19(4:13)2023},
timestamp = {Sun, 23 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BocchiLTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BocchiLTV22,
author = {Laura Bocchi and
Julien Lange and
Simon Thompson and
Adriana Laura Voinea},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {A Model of Actors and Grey Failures},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {140--158},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_9},
doi = {10.1007/978-3-031-08143-9\_9},
timestamp = {Sun, 23 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BocchiLTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ImaiLN22,
author = {Keigo Imai and
Julien Lange and
Rumyana Neykova},
editor = {Dana Fisman and
Grigore Rosu},
title = {Kmclib: Automated Inference and Verification of Session Types from
OCaml Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {379--386},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_20},
doi = {10.1007/978-3-030-99524-9\_20},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ImaiLN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2203-12878,
author = {Dennis Liew and
Tiago Cogumbreiro and
Julien Lange},
editor = {Marco Carbone and
Rumyana Neykova},
title = {Provable {GPU} Data-Races in Static Race Detection},
booktitle = {Proceedings of the 13th International Workshop on Programming Language
Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS
2022, Munich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {356},
pages = {36--45},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.356.4},
doi = {10.4204/EPTCS.356.4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-12878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-17508,
author = {Laura Bocchi and
Julien Lange and
Simon Thompson and
Adriana Laura Voinea},
title = {A model of actors and grey failures},
journal = {CoRR},
volume = {abs/2210.17508},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.17508},
doi = {10.48550/ARXIV.2210.17508},
eprinttype = {arXiv},
eprint = {2210.17508},
timestamp = {Sun, 23 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-17508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BravettiCLYZ21,
author = {Mario Bravetti and
Marco Carbone and
Julien Lange and
Nobuko Yoshida and
Gianluigi Zavattaro},
title = {A Sound Algorithm for Asynchronous Session Subtyping and its Implementation},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7238},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BravettiCLYZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CogumbreiroLRZ21,
author = {Tiago Cogumbreiro and
Julien Lange and
Dennis Liew Zhen Rong and
Hannah Zicarelli},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Checking Data-Race Freedom of {GPU} Kernels, Compositionally},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {403--426},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_19},
doi = {10.1007/978-3-030-81685-8\_19},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CogumbreiroLRZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BacchianiBLZ21,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {A Session Subtyping Tool},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {90--105},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_6},
doi = {10.1007/978-3-030-78142-2\_6},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BacchianiBLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BravettiLZ21,
author = {Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Fair Refinement for Asynchronous Session Types},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {144--163},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_8},
doi = {10.1007/978-3-030-71995-1\_8},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BravettiLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DilleyL21,
author = {Nicolas Dilley and
Julien Lange},
title = {Automated Verification of Go Programs via Bounded Model Checking},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1016--1027},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678571},
doi = {10.1109/ASE51524.2021.9678571},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/DilleyL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-14908,
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347},
doi = {10.4204/EPTCS.347},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-14908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08181,
author = {Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
title = {Fair Refinement for Asynchronous Session Types (extended version)},
journal = {CoRR},
volume = {abs/2101.08181},
year = {2021},
url = {https://arxiv.org/abs/2101.08181},
eprinttype = {arXiv},
eprint = {2101.08181},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08181.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12455,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
title = {A Session Subtyping Tool (Extended Version)},
journal = {CoRR},
volume = {abs/2104.12455},
year = {2021},
url = {https://arxiv.org/abs/2104.12455},
eprinttype = {arXiv},
eprint = {2104.12455},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-12147,
author = {Keigo Imai and
Julien Lange and
Rumyana Neykova},
title = {kmclib: Automated Inference and Verification of Session Types},
journal = {CoRR},
volume = {abs/2111.12147},
year = {2021},
url = {https://arxiv.org/abs/2111.12147},
eprinttype = {arXiv},
eprint = {2111.12147},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-12147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GriesemerHKLTTW20,
author = {Robert Griesemer and
Raymond Hu and
Wen Kokke and
Julien Lange and
Ian Lance Taylor and
Bernardo Toninho and
Philip Wadler and
Nobuko Yoshida},
title = {Featherweight go},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {149:1--149:29},
year = {2020},
url = {https://doi.org/10.1145/3428217},
doi = {10.1145/3428217},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GriesemerHKLTTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-01323,
author = {Nicolas Dilley and
Julien Lange},
editor = {Stephanie Balzer and
Luca Padovani},
title = {Bounded verification of message-passing concurrency in Go using Promela
and Spin},
booktitle = {Proceedings of the 12th International Workshop on Programming Language
Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS
2020, Dublin, Ireland, 26th April 2020},
series = {{EPTCS}},
volume = {314},
pages = {34--45},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.314.4},
doi = {10.4204/EPTCS.314.4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-07628,
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324},
doi = {10.4204/EPTCS.324},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07628.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11710,
author = {Robert Griesemer and
Raymond Hu and
Wen Kokke and
Julien Lange and
Ian Lance Taylor and
Bernardo Toninho and
Philip Wadler and
Nobuko Yoshida},
title = {Featherweight Go},
journal = {CoRR},
volume = {abs/2005.11710},
year = {2020},
url = {https://arxiv.org/abs/2005.11710},
eprinttype = {arXiv},
eprint = {2005.11710},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-11710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LangeY19,
author = {Julien Lange and
Nobuko Yoshida},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Verifying Asynchronous Interactions via Communicating Session Automata},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {97--117},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_6},
doi = {10.1007/978-3-030-25540-4\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LangeY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BravettiCLYZ19,
author = {Mario Bravetti and
Marco Carbone and
Julien Lange and
Nobuko Yoshida and
Gianluigi Zavattaro},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {A Sound Algorithm for Asynchronous Session Subtyping},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
Amsterdam, The Netherlands, August 27-30, 2019},
series = {LIPIcs},
volume = {140},
pages = {38:1--38:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.38},
doi = {10.4230/LIPICS.CONCUR.2019.38},
timestamp = {Fri, 21 Nov 2025 14:06:54 +0100},
biburl = {https://dblp.org/rec/conf/concur/BravettiCLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/DilleyL19,
author = {Nicolas Dilley and
Julien Lange},
editor = {Xinyu Wang and
David Lo and
Emad Shihab},
title = {An Empirical Study of Messaging Passing Concurrency in Go Projects},
booktitle = {26th {IEEE} International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2019, Hangzhou, China, February 24-27,
2019},
pages = {377--387},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SANER.2019.8668036},
doi = {10.1109/SANER.2019.8668036},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/DilleyL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-09606,
author = {Julien Lange and
Nobuko Yoshida},
title = {Verifying Asynchronous Interactions via Communicating Session Automata},
journal = {CoRR},
volume = {abs/1901.09606},
year = {2019},
url = {http://arxiv.org/abs/1901.09606},
eprinttype = {arXiv},
eprint = {1901.09606},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-09606.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00421,
author = {Mario Bravetti and
Marco Carbone and
Julien Lange and
Nobuko Yoshida and
Gianluigi Zavattaro},
title = {A Sound Algorithm for Asynchronous Session Subtyping (extended version)},
journal = {CoRR},
volume = {abs/1907.00421},
year = {2019},
url = {http://arxiv.org/abs/1907.00421},
eprinttype = {arXiv},
eprint = {1907.00421},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LangeNTY18,
author = {Julien Lange and
Nicholas Ng and
Bernardo Toninho and
Nobuko Yoshida},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {A static verification framework for message passing in Go using behavioural
types},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {1137--1148},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180157},
doi = {10.1145/3180155.3180157},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LangeNTY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LangeY17,
author = {Julien Lange and
Nobuko Yoshida},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {On the Undecidability of Asynchronous Session Subtyping},
booktitle = {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,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {441--457},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_26},
doi = {10.1007/978-3-662-54458-7\_26},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/LangeY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LangeNTY17,
author = {Julien Lange and
Nicholas Ng and
Bernardo Toninho and
Nobuko Yoshida},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Fencing off go: liveness and safety for channel-based programming},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {748--761},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009847},
doi = {10.1145/3009837.3009847},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/LangeNTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LangeY16,
author = {Julien Lange and
Nobuko Yoshida},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Characteristic Formulae for Session Types},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {833--850},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_52},
doi = {10.1007/978-3-662-49674-9\_52},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/LangeY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PereraLG16,
author = {Roly Perera and
Julien Lange and
Simon J. Gay},
editor = {Dominic A. Orchard and
Nobuko Yoshida},
title = {Multiparty Compatibility for Concurrent Objects},
booktitle = {Proceedings of the Ninth workshop on Programming Language Approaches
to Concurrency- and Communication-cEntric Software, {PLACES} 2016,
Eindhoven, The Netherlands, 8th April 2016},
series = {{EPTCS}},
volume = {211},
pages = {73--82},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.211.8},
doi = {10.4204/EPTCS.211.8},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PereraLG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LangeNTY16,
author = {Julien Lange and
Nicholas Ng and
Bernardo Toninho and
Nobuko Yoshida},
title = {Fencing off Go: Liveness and Safety for Channel-based Programming
(extended version)},
journal = {CoRR},
volume = {abs/1610.08843},
year = {2016},
url = {http://arxiv.org/abs/1610.08843},
eprinttype = {arXiv},
eprint = {1610.08843},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LangeNTY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BartolettiLSZ15,
author = {Massimo Bartoletti and
Julien Lange and
Alceste Scalas and
Roberto Zunino},
title = {Choreographies in the wild},
journal = {Sci. Comput. Program.},
volume = {109},
pages = {36--60},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.11.015},
doi = {10.1016/J.SCICO.2014.11.015},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BartolettiLSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BocchiLY15,
author = {Laura Bocchi and
Julien Lange and
Nobuko Yoshida},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Meeting Deadlines Together},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1-4, 2015},
series = {LIPIcs},
volume = {42},
pages = {283--296},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.283},
doi = {10.4230/LIPICS.CONCUR.2015.283},
timestamp = {Fri, 21 Nov 2025 14:06:54 +0100},
biburl = {https://dblp.org/rec/conf/concur/BocchiLY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LangeTY15,
author = {Julien Lange and
Emilio Tuosto and
Nobuko Yoshida},
editor = {Sriram K. Rajamani and
David Walker},
title = {From Communicating Machines to Graphical Choreographies},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {221--232},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676964},
doi = {10.1145/2676726.2676964},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/LangeTY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LangeY15,
author = {Julien Lange and
Nobuko Yoshida},
title = {Characteristic Formulae for Session Types (extended version)},
journal = {CoRR},
volume = {abs/1510.06879},
year = {2015},
url = {http://arxiv.org/abs/1510.06879},
eprinttype = {arXiv},
eprint = {1510.06879},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LangeY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Lange13,
author = {Julien Lange},
title = {On the synthesis of choreographies},
school = {University of Leicester, {UK}},
year = {2013},
url = {https://hdl.handle.net/2381/29310},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Lange13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LangeS13,
author = {Julien Lange and
Alceste Scalas},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Choreography Synthesis as Contract Agreement},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {52--67},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.6},
doi = {10.4204/EPTCS.131.6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LangeS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BocchiLT12,
author = {Laura Bocchi and
Julien Lange and
Emilio Tuosto},
title = {Three Algorithms and a Methodology for Amending Contracts for Choreographies},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {61--104},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.61},
doi = {10.7561/SACS.2012.1.61},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BocchiLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LangeT12,
author = {Julien Lange and
Emilio Tuosto},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Synthesising Choreographies from Local Session Types},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {225--239},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_17},
doi = {10.1007/978-3-642-32940-1\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/LangeT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2566,
author = {Julien Lange and
Emilio Tuosto},
title = {Synthesising Choreographies from Local Session Types (extended version)},
journal = {CoRR},
volume = {abs/1204.2566},
year = {2012},
url = {http://arxiv.org/abs/1204.2566},
eprinttype = {arXiv},
eprint = {1204.2566},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-2566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0470,
author = {Laura Bocchi and
Julien Lange and
Emilio Tuosto},
editor = {Alexandra Silva and
Simon Bliudze and
Roberto Bruni and
Marco Carbone},
title = {Amending Contracts for Choreographies},
booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {59},
pages = {111--129},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.59.10},
doi = {10.4204/EPTCS.59.10},
timestamp = {Thu, 26 Sep 2024 16:29:51 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1110-4164,
author = {Julien Lange and
Emilio Tuosto},
editor = {Kohei Honda and
Alan Mycroft},
title = {A Modular Toolkit for Distributed Interactions},
booktitle = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
21st March 2010},
series = {{EPTCS}},
volume = {69},
pages = {92--110},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.69.7},
doi = {10.4204/EPTCS.69.7},
timestamp = {Sun, 15 Jan 2023 14:37:53 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BenigniBBJLP08,
author = {Fabrizio Benigni and
Antonio Brogi and
Jean{-}Louis Buchholz and
Jean{-}Marie Jacquet and
Julien Lange and
Razvan Popescu},
title = {Secure {P2P} Programming on Top of Tuple Spaces},
booktitle = {17th {IEEE} International Workshops on Enabling Technologies: Infrastructures
for Collaborative Enterprises, {WETICE} 2008, Rome, Italy, June 23-25,
2008, Proceedings},
pages = {54--59},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WETICE.2008.29},
doi = {10.1109/WETICE.2008.29},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/BenigniBBJLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-20 22:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
