Publications
2022
- Zak Cutner, Nobuko Yoshida, and Martin Vassor, “Deadlock-Free Asynchronous Message Reordering in Rust with Multiparty Session Types,” in PPoPP ’22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022, ed. Jaejin Lee, Kunal Agrawal, and Michael F. Spear (ACM, 2022), 246–261, doi:10.1145/3503221.3508404.
- Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida, “Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types,” in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany, ed. Karim Ali and Jan Vitek, vol. 222, LIPIcs (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022), 4:1–4:29, doi:10.4230/LIPIcs.ECOOP.2022.4.
2020
- Jan de Muijnck-Hughes, Edwin C. Brady, and Wim Vanderbauwhede, “A Framework for Resource Dependent Edsls in a Dependently Typed Language (Pearl),” ed. Robert Hirschfeld and Tobias Pape 166, LIPIcs (2020): 20:1–20:31, doi:10.4230/LIPIcs.ECOOP.2020.20.
2019
- Jan de Muijnck-Hughes, Edwin C. Brady, and Wim Vanderbauwhede, “Value-Dependent Session Design in a Dependently Typed Language,” ed. Francisco Martins and Dominic Orchard 291, EPTCS (2019): 47–59, doi:10.4204/EPTCS.291.5.
- Jan de Muijnck-Hughes and Wim Vanderbauwhede, “A Typing Discipline for Hardware Interfaces,” in 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom, ed. Alastair F. Donaldson, vol. 134, LIPIcs (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019), 6:1–6:27, doi:10.4230/LIPIcs.ECOOP.2019.6.
- Jan de Muijnck-Hughes and Wim Vanderbauwhede, “A Typing Discipline for Hardware Interfaces (Artifact),” Dagstuhl Artifacts Ser. 5, no. 2 (2019): 14:1–14:3, doi:10.4230/DARTS.5.2.14.
- De Muijnck-Hughes, Wim Vanderbauwhede, and others, “Well-Typed Models Are Correct Models: Applying State-of-the-Art Advances in Programming Language Theory to Systems-on-a-Chip” (2019), https://eprints.gla.ac.uk/194908/.