ECOOP 2022 (series) /
KeynotesECOOP 2022
No information available yet.
Dates
Tracks
Plenary
This program is tentative and subject to change.
Wed 8 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 8 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 30mDay opening | Opening Keynotes Mira Mezini TU Darmstadt, Ben Hermann Technical University Dortmund, Jan Vitek Northeastern University; Czech Technical University, Karim Ali University of Alberta | ||
09:30 60mKeynote | AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 Keynotes |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering |
11:00 - 12:30 | |||
11:00 30mPanel | Software verification/program analysisExpert Discussion Expert Discussion | ||
11:30 20mTalk | Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program AnalysisHub Talk Hub Talks Marco Campion University of Verona, Mila Dalla Preda University of Verona, Roberto Giacobazzi University of Verona Link to publication DOI | ||
11:50 20mTalk | Concolic Execution for WebAssembly Research Papers Filipe Marques INESC-ID / Instituto Superior Tecnico, University of Lisbon, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Nuno Santos INESC-ID / Instituto Superior Tecnico, University of Lisbon, Pedro Adão IST-ULisboa and Instituto de Telecomunicações | ||
12:10 20mTalk | Static Analysis for AWS Best Practices in Python CodeECOOP 2022 Research Papers Rajdeep Mukherjee Amazon Web Services, Omer Tripp Amazon, Ben Liblit Amazon, Michael Wilson Amazon Web Services DOI |
13:30 - 15:00 | |||
13:30 20mTalk | A Compiler for Sound Floating-Point ComputationsHub Talk Hub Talks Link to publication DOI | ||
13:50 20mTalk | Verified Compilation and Optimization of Floating-Point Programs in CakeML Research Papers Heiko Becker MPI-SWS, Robert Rabe TU Munich, Eva Darulova Uppsala University, Magnus O. Myreen Chalmers University of Technology, Zachary Tatlock University of Washington, Ramana Kumar DeepMind, Yong Kiam Tan Carnegie Mellon University, Anthony Fox Arm Limited | ||
14:10 20mTalk | REST: Integrating Term Rewriting with Program Verification Research Papers Zachary Grannan University of British Columbia, Eva Darulova Uppsala University, Alexander J. Summers University of British Columbia, Niki Vazou IMDEA Software Institute | ||
14:30 20mTalk | Defining Corecursive Functions in Coq Using ApproximationsECOOP 2022 Research Papers |
15:30 - 17:00 | |||
15:30 30mPanel | Programming languages and semanticsExpert Discussion Expert Discussion | ||
16:00 20mTalk | Prisma: A tierless language for enforcing contract-client protocols in decentralized apps Research Papers David Richter Technische Universität Darmstadt, David Kretzler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen, Sebastian Faust Technical University of Darmstadt, Mira Mezini TU Darmstadt Pre-print | ||
16:20 20mTalk | JavaScript Sealed ClassesECOOP 2022 Research Papers Manuel Serrano Inria | ||
16:40 20mTalk | Functional programming for distributed systems with XC Research Papers Giorgio Audrito Università di Torino, Roberto Casadei University of Bologna, Italy, Ferruccio Damiani University of Turin, Guido Salvaneschi University of St. Gallen, Mirko Viroli Alma Mater Studiorum - Università di Bologna |
Thu 9 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 9 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mAwards | Dahl-Nygaard Prize Ceremony Keynotes | ||
09:15 75mKeynote | Dahl-Nygaard Senior Prize Keynotes |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering |
11:00 - 12:30 | |||
11:00 45mPanel | Concurrent and distributed programmingExpert Discussion Expert Discussion | ||
11:45 20mTalk | Ferrite: A Judgmental Embedding of Session Types in Rust Research Papers Ruo Fei Chen Independent Researcher, Stephanie Balzer Carnegie Mellon University, Bernardo Toninho Nova University of Lisbon / NOVA-LINCS | ||
12:05 20mTalk | API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl) Research Papers Guillermina Cledou HASLab, INESC TEC; University of Minho, Luc Edixhoven Open University of the Netherlands; CWI, Sung-Shik Jongmans Open University of the Netherlands; CWI, José Proença ISEP P.PORTO & INESC TEC |
13:30 - 15:00 | |||
13:30 20mTalk | Benchmarking, analysis, and optimization of serverless function snapshotsHub Talk Hub Talks Dmitrii Ustiugov ETH Zurich, Switzerland, Plamen Petrov , Marios Kogias Microsoft Research, Edouard Bugnion EPFL, Boris Grot University of Edinburgh, UK Link to publication DOI | ||
13:50 20mTalk | Synchron - An API and Runtime for Embedded SystemsECOOP 2022 Research Papers Abhiroop Sarkar Chalmers University of Technology, Bo Joel Svensson Chalmers University of Technology, Sweden, Mary Sheeran Chalmers Pre-print | ||
14:10 20mTalk | Vincent: Green Hot Methods in the JVMECOOP 2022 Research Papers Kenan Liu SUNY Binghamton, Khaled Mahmoud SUNY Binghamton, USA, Joonhwan Yoo SUNY Binghamton, Yu David Liu SUNY Binghamton Pre-print | ||
14:30 20mTalk | Functional Programming with DatalogECOOP 2022 Research Papers |
15:30 - 17:00 | |||
15:30 20mTalk | μGV: A Self-Dual Distillation of Session Types (Pearl) Research Papers Jules Jacobs Radboud University Nijmegen | ||
15:50 20mTalk | Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types Research Papers Nicolas Lagaillardie Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London | ||
16:10 20mTalk | Fair Termination of Multiparty SessionsECOOP 2022 Research Papers Luca Ciccone University of Turin, Francesco Dagnino DIBRIS, University of Genova, Italy, Luca Padovani University of Turin | ||
16:30 20mTalk | Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming Research Papers Lorenzo Gheri Imperial College London, Ivan Lanese University of Bologna/INRIA, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Nobuko Yoshida Imperial College London, Neil Anthony Sayers Imperial College London |
Fri 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 30mAwards | Awards, Outlooks, and Farewells Keynotes Mira Mezini TU Darmstadt, Ben Hermann Technical University Dortmund, Karim Ali University of Alberta, Jan Vitek Northeastern University; Czech Technical University, Stefan Winter LMU Munich, Alessandra Gorla IMDEA Software Institute, Guido Salvaneschi University of St. Gallen | ||
09:30 60mTalk | Dahl-Nygaard Junior Prize Keynotes |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering |
11:00 - 12:30 | |||
11:00 30mPanel | Type systemsExpert Discussion Expert Discussion | ||
11:30 20mTalk | How to Take the Inverse of a Type Research Papers | ||
11:50 20mTalk | Union and intersection contracts are hard, actuallyHub Talk Hub Talks Link to publication DOI | ||
12:10 20mTalk | Global Type Inference for Featherweight Generic Java Research Papers Andreas Stadelmeier DHBW Stuttgart, Campus Horb, Germany, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany, Peter Thiemann University of Freiburg, Germany |
13:30 - 15:00 | |||
13:30 20mTalk | Low-Level Bi-Abduction Research Papers Lukáš Holík Brno University of Technology, Petr Peringer Brno University of Technology, Adam Rogalewicz Brno University of Technology, Faculty of Information Technology, Veronika Šoková Brno University of Technology, Tomáš Vojnar Brno University of Technology, Florian Zuleger TU Vienna | ||
13:50 20mTalk | On the computation of interprocedural weak control closureHub Talk Hub Talks Abu Naser Masud Malardalen University Link to publication DOI | ||
14:10 20mTalk | Slicing of Probabilistic Programs based on SpecificationsECOOP 2022 Research Papers Federico Olmedo University of Chile & IMFD Chile Pre-print | ||
14:30 20mTalk | A Deterministic Memory Allocator for Dynamic Symbolic Execution Research Papers Daniel Schemmel Imperial College London, Julian Büning RWTH Aachen University, Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London, UK |
15:30 - 17:00 | |||
15:30 20mTalk | Hinted Dictionaries: Efficient Functional Ordered Sets and MapsECOOP 2022 Research Papers Amir Shaikhha University of Edinburgh, Hesam Shahrokhi University of Edinburgh, Mahdi Ghorbani University of Edinburgh | ||
15:50 20mTalk | What we eval in the shadows: a large-scale study of eval in R programsHub Talk Hub Talks Aviral Goel Northeastern University, Pierre Donat-Bouillud Czech Technical University, Filip Křikava Czech Technical University, Christoph Kirsch University of Salzburg; Czech Technical University, Jan Vitek Northeastern University; Czech Technical University Link to publication DOI |
Accepted Papers
Title | |
---|---|
AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 Keynotes |