PLACES 2025 Programme and Proceedings
4 May 2025
Michael DeGroote Centre for Learning and Discovery (MDCL), Room: MDCL 1116
| 8:00-9:00 | Arrival and registration | |
| 9:00-9:05 | Opening of PLACES 2025 | |
| 9:05-10:00 | Keynote talk | Giovanni Bernardi, Université Paris Cité. On the Cost of Software Misbehaviours. |
| 10:00-10:30 | Coffee break | |
| 10:30-11:00 | Session: Types Chair: Felix Stutz | Luis Caires. Thread and Memory Safe Programming with CLASS (online). |
| 11:00-11:30 | Marco Giunti and Nobuko Yoshida. Type Congruence, Duality and Iso-Recursive Binary Session Types. | |
| 12:00-12:30 | Bernardo Almeida, Andreia Mordido and Vasco T. Vasconcelos. Local Type Inference for Context-Free Session Types. | |
| 11:30-12:00 | Grant Iraci, Michael Piskozub, Frank Tsai, Lukasz Ziarek and Andrew Hirsch. Capturing Happens-Before in Types. | |
| 12:30-14:00 | Lunch | |
| 14:00-14:30 | Session: Concurrency Chair: Andrew Hirsch | Felix Stutz and Emanuele D'Osualdo. AMP: Automata-based Multiparty Protocols Framework. |
| 14:30-15:00 | Nobuko Yoshida. Separation and Encodability in Mixed Choice Multiparty Sessions. | |
| 15:00-15:30 | Alexander Bohosian and Andrew K. Hirsch. Choreographies as Macros. | |
| 15:30-16:00 | Shucai Yao and Emil Sekerinski. An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language. | |
| 16:00-16:30 | Coffee Break | |
| 16:30-17:00 | Session: Hardware Design Chair: Emil Sekerinski | Mads Rosendahl and Maja Hanne Kirkeby. Static Communication Analysis for Hardware Design. |
| 17:00-17:10 | Closing | |
Keynote Talk: On the Cost of Software Misbehaviours
Giovanni Bernardi ( Université Paris Cité)
Software failures pervades our recent history, and their costs are staggering, amounting often to billions of dollars. In this talk I will go through some real world failures of software and of software updates, motivating the necessity for software analysis. I will also highlight (1) the difficulty of analysing software, in contrast with other engineering artefacts, and (2) the need for reasoning techniques for correct software updates. The talk is meant to be informal and spur discussion.