AITO Dahl-Nygaard Prize Winners
The Senior Prize is awarded to Rachid Guerraoui.
Over several decades, Rachid Guerraoui has made significant contributions to distributed programming with objects, atomicity and transactions. At the intersection with Programming Languages, he has made important contributions to event-based programming and software transactional memory, including introducing “opacity” as a key feature of a correct implementation of transactional memory. The bodies of work that Guerraoui has contributed have had major impact on the Programming Languages community and ECOOP.
The Junior Prize is awarded to Alvin Cheung.
Alvin Cheung is best known for his groundbreaking and now extensive line of work on applying ideas from program synthesis to dramatically improve the end-to-end performance of database-backed applications. Known as “verified lifting”, Alvin has demonstrated repeatedly the usefulness of this approach in multiple, and quite different, domains, and these demonstrations have been sufficiently convincing that others have started to pick up the technique and apply it in their own work: e.g. the verified lifting approach has been applied to problems in programming languages, software engineering, databases and graphics. In recent work (published at ECOOP) he has demonstrated the application of program synthesis to automate the construction of code transpilers for domain-specific languages.
AITO Test of Time Award Winners
Manuel Fähndrich, Rob DeLine. Typestates for Objects. ECOOP 2004. 10.1007/978-3-540-24851-4_21
AITO Distinguished Service Award Winners
Eric Jul and Walter Olthoff in recognition of exceptional leadership, long-standing service and significant contribution to AITO and ECOOP.
Distinguished Papers
- Stephen N. Freund, Cormac Flanagan. Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning.
- Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao. Formalizing, Mechanizing, and Verifying Class-based Refinement Types.
- David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini. Compiling with Arrays.
- Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimović, Philippa Gardner. Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.
Distinguished Artifacts
- Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir. Runtime Instrumentation for Reactive Components.
- Elad Kinsbruner, Shachar Itzhaky, Hila Peleg. Constrictor: Immutability as a Design Concept.
- Amos Robinson, Alex Potanin. Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems.
Distinguished Reviewers
We would like to thank and congratulate our ECOOP’24 Distinguished Reviewers for their exceptional contributions:
- Werner Dietl, University of Waterloo.
- Jenna Di Vincenzo, Purdue University.
- Peter Thiemann, University of Freiburg.
Distinguished Artifact Reviewers
We would like to thank and congratulate our ECOOP’24 Distinguished Artifact Reviewers for their exceptional contributions:
- David Richter, Technical University of Darmstadt.
- Simmo Saan, University of Tartu.
- Greta Dolcetti, Ca’ Foscari University of Venice.
- Aoyang Fang, Chinese University of Hong Kong.