ACP Highlights - December 2023
Dec 9, 2023
Invited talks and appearances
- Ruben Niederhagen gave an invited talk at PQCSM 2023 on the topic of code-based cryptography and participated in a panel discussion. PQCSM is an international workshop hosted in Taipei and affiliated with the IACR conference TCC.
- Robin Kaarsgaard Sales gave an invited talks at RC 2023 and NCM 29 based on his paper “The Quantum Effect: A Recipe for Quantum Π”, which appeared at QPL 2023.
- Dan Plyukhin appeared on the Elixir Wizards podcast to discuss the future of garbage collection in actor frameworks such as Akka and Erlang.
Accepted papers
- Peter Mayer, Yixin Zou, Byron M Lowens, Hunter A Dyer, Khue Le, Florian Schaub, Adam J Aviv: Awareness, Intention, (In)Action: Individuals’ Reactions to Data Breaches at TOCHI 2023
- Luís Cruz-Filipe, Fabrizio Montesi, and Marco Peressotti: A Formal Theory of Choreographic Programming in the Journal of Automated Reasoning (2023)
- Luís Cruz-Filipe and Fabrizio Montesi: Now It Compiles! Certified Automatic Repair of Uncompilable Protocols at ITP 2023
- Luís Cruz-Filipe, Eva Graversen, Lovro Lugović, Fabrizio Montesi, and Marco Peressotti: Modular Compilation for Higher-order Functional Choreographies at ECOOP 2023
- Luís Cruz-Filipe, Fabrizio Montesi, and Robert R. Rasmussen: Keep me out of the loop: a more flexible choreographic projection at LPAR 2023
- Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, and Florian Rademacher: LEMMA2Jolie: A tool to generate microservice APIs from domain models at SCP 2023
- Jacques Carette, Chris Heunen, Robin Kaarsgaard and Amr Sabry. The Quantum Effect: a recipe for QuantumPi at QPL 2023
- Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, and Jonas Vistrup. μXL: Explainable Lead Generation with Microservices and Hypothetical Answers at ESOCC 2023