Publications

2020

• Jan de Muijnck-Hughes, Edwin C. Brady, and Wim Vanderbauwhede, “A Framework for Resource Dependent Edsls in a Dependently Typed Language (Pearl),” in 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), ed. Robert Hirschfeld and Tobias Pape, vol. 166, LIPIcs (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020), 20:1–20:31, doi:10.4230/LIPIcs.ECOOP.2020.20.
• Jan de Muijnck-Hughes, Edwin C. Brady, and Wim Vanderbauwhede, “A Framework for Resource Dependent Edsls in a Dependently Typed Language (Artifact),” Dagstuhl Artifacts Ser. 6, no. 2 (2020): 02:1–02:3, doi:10.4230/DARTS.6.2.2.
• Kirsty Duncan et al., “Relative Robustness of Quantized Neural Networks Against Adversarial Attacks,” in International Joint Conference on Neural Networks, IJCNN 2020, Proceedings (IEEE, 2020).
• Pascal Bacchus, Robert J. Stewart, and Ekaterina Komendantskaya, “Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs,” in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 16th International Symposium, ARC 2020, Toledo, Spain, April 1-3, 2020, Proceedings, ed. Fernando Rincón et al., vol. 12083, Lecture Notes in Computer Science (Springer, 2020), 121–135.
• Blair Archibald et al., “YewPar: Skeletons for Exact Combinatorial Search,” in PPoPP ’20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, Usa, February 22-26, 2020, ed. Rajiv Gupta and Xipeng Shen (ACM, 2020), 292–307, doi:10.1145/3332466.3374537.

2019

• Eva Graversen, Iain Phillips, and Nobuko Yoshida, “Towards a Categorical Representation of Reversible Event Structures,” J. Log. Algebr. Meth. Program. 104 (2019): 16–59.
• Silvia Ghilezan et al., “Precise Subtyping for Synchronous Multiparty Sessions,” J. Log. Algebr. Meth. Program. 104 (2019): 127–173.
• Bernardo Toninho and Nobuko Yoshida, “Polymorphic Session Processes as Morphisms,” in The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 2019, 101–117.
• Rumyana Neykova and Nobuko Yoshida, “Featherweight Scribble,” in Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco de Nicola on the Occasion of His 65th Birthday, 2019, 236–259.
• Mario Bravetti et al., “A Sound Algorithm for Asynchronous Session Subtyping,” in 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, 2019, 38:1–38:16.
• Rupak Majumdar et al., “Motion Session Types for Robotic Interactions (Brave New Idea Paper),” in 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom, 2019, 28:1–28:27.
• Laura Bocchi et al., “Asynchronous Timed Session Types - from Duality to Time-Sensitive Processes,” in Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 2019, 583–610.
• Simon Castellan and Nobuko Yoshida, “Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment),” in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 2019, 150–168.
• Alceste Scalas, Nobuko Yoshida, and Elias Benussi, “Verifying Message-Passing Programs with Dependent Behavioural Types,” in Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, Az, Usa, June 22-26, 2019, 2019, 502–516.
• Assel Altayeva and Nobuko Yoshida, “Service Equivalence via Multiparty Session Type Isomorphisms,” in Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, Places@ETAPS 2019, Prague, Czech Republic, 7th April 2019, 2019, 1–11.
• Jonathan King, Nicholas Ng, and Nobuko Yoshida, “Multiparty Session Type-Safe Web Development with Static Linearity,” in Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, Places@ETAPS 2019, Prague, Czech Republic, 7th April 2019, EPTCS, 2019, 35–46.
• Robert Stewart et al., “Verifying parallel dataflow transformations with model checking and its application to FPGAs,” Elsevier Journal of Systems Architecture 101 (2019), doi:10.1016/j.sysarc.2019.101657.
• Jan de Muijnck-Hughes and Wim Vanderbauwhede, “Well-Typed Models are Correct Models: Applying State-of-the-Art Advances in Programming Language Theory to Systems-on-a-Chip,” in 1st Scottish Seminar on Formal Modelling, Verification, and Synthesis (SFMoVeS), 2019, http://www.dcs.gla.ac.uk/research/formalmethods/sfmoves/.
• Blair Archibald et al., “Implementing YewPar: A Framework for Parallel Tree Search,” in Euro-Par 2019: Parallel Processing, ed. Ramin Yahyapour (Springer, 2019), 184–196, doi:10.1007/978-3-030-29400-7_14.
• Dimitrios Kouzapas, Jorge A. Pérez, and Nobuko Yoshida, “On the Relative Expressiveness of Higher-Order Session Processes,” Information and Computation (2019), doi:10.1016/j.ic.2019.06.002.
• David Castro et al., “Distributed Programming Using Role-Parametric Session Types in Go: Statically-Typed Endpoint Apis for Dynamically-Instantiated Communication Structures,” PACMPL 3, no. POPL (2019): 29:1–29:30, doi:10.1145/3290342.
• Simon Castellan and Nobuko Yoshida, “Two Sides of the Same Coin: Session Types and Game Semantics: A Synchronous Side and an Asynchronous Side,” PACMPL 3, no. POPL (2019): 27:1–27:29.
• Alceste Scalas, Nobuko Yoshida, and Elias Benussi, “Effpi: verified message-passing programs in Dotty,” in Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, Uk, July 17, 2019. (ACM, 2019), 27–31.
• Julien Lange and Nobuko Yoshida, “Verifying Asynchronous Interactions via Communicating Session Automata,” in Computer Aided Verification - 31st International Conference, CAV 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I (Springer, 2019), 97–117.
• Jan de Muijnck-Hughes and Wim Vanderbauwhede, “A Typing Discipline for Hardware Interfaces,” in 33rd European Conference on Object-Oriented Programming (Ecoop 2019), ed. Alastair F. Donaldson, vol. 134, Leibniz International Proceedings in Informatics (Lipics) (Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer 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 Series 5, no. 2 (2019): 14:1–14:3, doi:10.4230/DARTS.5.2.14.
• Jan de Muijnck-Hughes, Edwin Brady, and Wim Vanderbauwhede, “Value-Dependent Session Design in a Dependently Typed Language,” in Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, Prague, Czech Republic, 7th April 2019, ed. Francisco Martins and Dominic Orchard, vol. 291, Electronic Proceedings in Theoretical Computer Science (Open Publishing Association, 2019), 47–59, doi:10.4204/EPTCS.291.5.
• Alceste Scalas and Nobuko Yoshida, “Less is More: Multiparty Session Types Revisited,” Principles of Programming Languages (POPL) (ACM, 2019).
• Robert Stewart et al., “Graphical Program Transformations for Embedded Systems,” in Symposium on Applied Computing (SAC), Limassol, Cyprus. (ACM, 2019).
• Paulo Garcia et al., “Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing,” Journal of Imaging 5, no. 1 (2019), doi:10.3390/jimaging5010007.

2018

• Bernardo Toninho and Nobuko Yoshida, “Interconnectability of Session-Based Logical Processes,” ACM Trans. Program. Lang. Syst. 40, no. 4 (December 2018): 17:1–17:42, doi:10.1145/3242173.
• Romain Demangeon and Nobuko Yoshida, “Causal Computational Complexity of Distributed Processes,” in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, Uk, July 09-12, 2018, ed. Anuj Dawar and Erich Grädel (ACM, 2018), 344–353, doi:10.1145/3209108.3209122.
• Julien Lange et al., “A static verification framework for message passing in Go using behavioural types,” in Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018 (ACM, 2018), 1137–1148, doi:10.1145/3180155.3180157.
• Apostolos Modas et al., “Shared-variable synchronization approaches for dynamic dataflow programs,” in Signal Processing Systems (SiPS), Cape Town, South Africa. (IEEE, 2018).
• Kirsty R. Duncan, Robert J. Stewart, and Greg Michaelson, “Parallel Mean Shift Accuracy and Performance Trade-Offs,” in 2018 IEEE International Conference on Image Processing, ICIP 2018, Athens, Greece, October 7-10, 2018 (IEEE, 2018), 2197–2201, doi:10.1109/ICIP.2018.8451199.
• Robert Stewart et al., “RIPL: A Parallel Image Processing Language for FPGAs,” ACM Transactions on Reconfigurable Technology and Systems 11, no. 1 (2018): 7:1–7:24, doi:10.1145/3180481.

2017

• Alceste Scalas et al., “A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact),” DARTS 3, no. 2 (2017): 03:1–03:2, doi:10.4230/DARTS.3.2.3.
• Raymond Hu and Nobuko Yoshida, “Explicit Connection Actions in Multiparty Session Types,” in Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, ed. Marieke Huisman and Julia Rubin, vol. 10202, Lecture Notes in Computer Science (Springer, 2017), 116–133, doi:10.1007/978-3-662-54494-5\_7.
• Rumyana Neykova, Laura Bocchi, and Nobuko Yoshida, “Timed Runtime Monitoring for Multiparty Conversations,” Formal Asp. Comput. 29, no. 5 (2017): 877–910, doi:10.1007/s00165-017-0420-8.
• Keigo Imai, Nobuko Yoshida, and Shoji Yuen, “Session-ocaml: A Session-Based Library with Polarities and Lenses,” in Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, Discotec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, ed. Jean-Marie Jacquet and Mieke Massink, vol. 10319, Lecture Notes in Computer Science (Springer, 2017), 99–118, doi:10.1007/978-3-319-59746-1\_6.
• Artjoms Sinkarovs et al., “Recursive Array Comprehensions in a Call-by-Value Language,” in Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, Uk, August 30 - September 01, 2017, ed. Nicolas Wu (ACM, 2017), 5:1–5:12, doi:10.1145/3205368.3205373.
• Blair Archibald et al., “Replicable Parallel Branch and Bound Search,” Journal of Parallel and Distributed Computing 113 (2018): 92–114, doi:10.1016/j.jpdc.2017.10.010.