Publications
2023
- Adam David Barwell et al., “Designing Asynchronous Multiparty Protocols with Crash-Stop Failures,” July 11, 2023, doi:10.4230/LIPIcs.ECOOP.2023.1.
- Michal Borowski et al., “Anomaly Behaviour Tracing of CHERI-RISC V Using Hardware-Software Co-Design,” in 21st IEEE Interregional NEWCAS Conference, NEWCAS 2023, Edinburgh, United Kingdom, June 26-28, 2023 (IEEE, 2023), 1–5, doi:10.1109/NEWCAS57931.2023.10198103.
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.
- Adam D. Barwell et al., “Generalised Multiparty Session Types with Crash-Stop Failures,” in 33rd International Conference on Concurrency Theory (CONCUR 2022), ed. Bartek Klin, Sławomir Lasota, and Anca Muscholl, vol. 243, Leibniz International Proceedings in Informatics (LIPIcs) (Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022), 35:1–35:25, doi:10.4230/LIPIcs.CONCUR.2022.35.
- Michal Borowski et al., “Benchmark Tool for Detecting Anomalous Program Behaviour on Embedded Devices,” in IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2022, Wuhan, China, December 9-11, 2022 (IEEE, 2022), 1187–1192, doi:10.1109/TrustCom56396.2022.00164.
2021
- Ludovico Poli et al., “Design and Implementation of a RISC V Processor on FPGA,” in 17th International Conference on Mobility, Sensing and Networking, MSN 2021, Exeter, United Kingdom, December 13-15, 2021 (IEEE, 2021), 161–166, doi:10.1109/MSN53354.2021.00037.
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, et al., “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/.