Sandra Greiner and Siddharth Bhaskar join ACP as new assistant professors, enriching the section with their expertise in software evolution and fundamental theory at the boundary of algorithms and programming languages.
Read the full news...The paper 'Choreography-Defined Network - A Case Study in DoS Mitigation' by Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, and Marco Prandini has been accepted at ICSOC 2024!
The paper 'A Toolchain for Checking Domain- and Model-driven Properties of Jolie Microservices' by Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh, and Philip Wizenty has been accepted at ICSOC 2024!
The paper Given an Inch and Take a Mile: Effects of Adding Reliable Knowledge to Heuristic Feature Tracing by Sandra Greiner, Alexander Schultheiss, Paul M. Bittner, Thomas Thüm, and Timo Kehrer was awarded Best Paper at SPLC 2024.
The paper Automated Generation of Code Contracts -- Generative AI to the Rescue? by Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer got accepted at GPCE 2024.
The paper How to Bake a Quantum Pi by Jacques Carette, Chris Heunen, Robin Kaarsgaard, and Amr Sabry will appear at ICFP 2024!
The JFP paper Alice or Bob?: Process polymorphism in choreographies by Eva Graversen, Andrew Hirsch, and Fabrizio Montesi will be presented at ICFP 2024!
The paper 'Ozone: Fully Out-of-Order Choreographies' (pre-print) has been accepted at ECOOP 2024!
The new ACP website is online!
The paper Choral: Object-oriented Choreographic Programming by Saverio Giallorenzo, Fabrizio Montesi, and Marco Peressotti has been published in TOPLAS!