Publications

2025

• Chandrajit Pal et al., “RENOWNED: A Real-Time Anomaly Detection and Mitigation Framework in Edge-Enabled IoV,” IEEE Internet of Things Journal (2025).

2024

• Chandrajit Pal et al., “REALITY: RL-PowEred AnomaLy Detection with Imprecise Computing in MulTi-Core SYstems,” in IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2024, London, United Kingdom, July 29-31, 2024 (IEEE, 2024), 1–6, doi:10.1109/COINS61597.2024.10622163.
• Ping Hou, Nicolas Lagaillardie, and Nobuko Yoshida, “Fearless Asynchronous Communications with Timed Multiparty Session Protocols,” in 38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16-20, 2024, Vienna, Austria, ed. Jonathan Aldrich and Guido Salvaneschi, vol. 313, LIPIcs (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024), 19:1–19:30, doi:10.4230/LIPICS.ECOOP.2024.19.
• Martin Vassor and Nobuko Yoshida, “Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation,” in 38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16-20, 2024, Vienna, Austria, ed. Jonathan Aldrich and Guido Salvaneschi, vol. 313, LIPIcs (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024), 41:1–41:29, doi:10.4230/LIPICS.ECOOP.2024.41.
• Nobuko Yoshida and Ping Hou, “Less Is More Revisited: Association with Global Multiparty Session Types,” in The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II, ed. Ana Cavalcanti and James Baxter, vol. 14781, Lecture Notes in Computer Science (Springer, 2024), 268–291, doi:10.1007/978-3-031-66673-5\_14.
• Burak Ekici and Nobuko Yoshida, “Completeness of Asynchronous Session Tree Subtyping in Coq,” in 15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia, ed. Yves Bertot, Temur Kutsia, and Michael Norrish, vol. 309, LIPIcs (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024), 13:1–13:20, doi:10.4230/LIPICS.ITP.2024.13.

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.
• David Castro-Perez and Nobuko Yoshida, “Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols” (2023).

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.
• Stephen Ellis et al., “Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid,” Proceedings of the ACM on Programming Languages 6, no. OOPSLA2 (2022): 1207–1235.

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/.