EI 2 Pichelmayer - CAKC 2024

VenueVienna University of Technology (TU Wien) - Campus Gusshaus

Room nameEI 2 Pichelmayer

Floor2

Capacity135

Room InformationNo extra information available

Information for Participants

Info for room EI 2 Pichelmayer:

Map: https://tuw-maps.tuwien.ac.at/?q=CF0235

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/15717

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:45 - 09:00	Welcome to the Doctoral SymposiumISSTA/ECOOP Doctoral Symposium at EI 2 Pichelmayer Chair(s): Alessandra Gorla IMDEA Software Institute, Burcu Kulahcioglu Ozkan Delft University of Technology

09:00 - 10:00	Keynote - 1ISSTA/ECOOP Doctoral Symposium at EI 2 Pichelmayer

09:00 60m Keynote		The Devil's Guide to Doing your PhD – 10 tips for despair, dismay, and disappointment ISSTA/ECOOP Doctoral Symposium Andreas Zeller CISPA Helmholtz Center for Information Security Link to publication

10:30 - 12:00	Student Presentations - IISSTA/ECOOP Doctoral Symposium at EI 2 Pichelmayer

10:30 15m Talk		Soft Verification for Actor Contract Systems ISSTA/ECOOP Doctoral Symposium S: Bram Vandenbogaerde Vrije Universiteit Brussel, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
10:45 10m Talk		Integrating Mutation Techniques to Keep Specification and Source Code in Sync ISSTA/ECOOP Doctoral Symposium S: Kerstin Jacob University of Bamberg, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
10:55 10m Talk		Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs ISSTA/ECOOP Doctoral Symposium S: Alix Decrop University of Namur, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:05 15m Talk		From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems ISSTA/ECOOP Doctoral Symposium S: Drishti Yadav Technische Universität Wien, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:20 15m Talk		Robustness against the C/C++11 memory model ISSTA/ECOOP Doctoral Symposium S: Roy Margalit Tel Aviv University, Israel, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:35 10m Talk		Automated Testing of Networked Systems Reliability ISSTA/ECOOP Doctoral Symposium S: Michal Rozsíval Faculty of Information Technology, Brno University of Technology, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:45 10m Talk		Search-Based Translations for Tensor Operations ISSTA/ECOOP Doctoral Symposium S: Jie Qiu Duolingo Link to publication

13:30 - 15:00	Student Presentations - IIISSTA/ECOOP Doctoral Symposium at EI 2 Pichelmayer

13:30 15m Talk		Shaping Test Inputs in Grammar-Based Fuzzing ISSTA/ECOOP Doctoral Symposium S: José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
13:45 10m Talk		Graph Learning for Extract Class Refactoring ISSTA/ECOOP Doctoral Symposium S: Luqiao Wang Xidian University, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
13:55 10m Talk		With Biabduction towards Memory Safety across the Rust-C-FFI ISSTA/ECOOP Doctoral Symposium S: Florian Sextl TU Wien, Austria, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
14:05 10m Talk		Decentralized Near-Synchronous Local-First Programming Collaboration ISSTA/ECOOP Doctoral Symposium S: Leon Freudenthaler FH Campus Wien, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
14:15 10m Talk		Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins ISSTA/ECOOP Doctoral Symposium S: Nimantha Kariyakarawana DistriNet-KU Leuven, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
14:25 10m Talk		Collaboration to Repository-Level Vulnerability Detection ISSTA/ECOOP Doctoral Symposium S: Xin-Cheng Wen Harbin Institute of Technology, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
14:35 15m Talk		Learning the Effects of Software Changes ISSTA/ECOOP Doctoral Symposium S: Laura Plein CISPA Helmholtz Center for Information Security, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

15:30 - 17:00	Keynote - 2ISSTA/ECOOP Doctoral Symposium at EI 2 Pichelmayer

15:30 90m Keynote		How to get your Ph.D. DONE! ISSTA/ECOOP Doctoral Symposium Eric Jul University of Oslo

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00	Synthesis and verificationECOOP Technical Papers at EI 2 Pichelmayer Chair(s): Peter Thiemann University of Freiburg, Germany

10:30 15m Talk		Inductive Predicate Synthesis Modulo Programs ECOOP Technical Papers Scott Wesley Dalhousie University, Maria Christakis TU Wien, Jorge A. Navas Certora, Richard Trefler University of Waterloo, Valentin Wüstholz ConsenSys, Arie Gurfinkel University of Waterloo
10:45 15m Talk		Fearless Asynchronous Communications with Timed Multiparty Session Protocols ECOOP Technical Papers Ping Hou University of Oxford, Nicolas Lagaillardie Imperial College London, Nobuko Yoshida University of Oxford
11:00 15m Talk		Java Bytecode Normalization for Code Similarity Analysis ECOOP Technical Papers Stefan Schott Heinz Nixdorf Institut, Paderborn University, Serena Elisa Ponta SAP Security Research, Wolfram Fischer SAP Security Research, Jonas Klauke Heinz Nixdorf Institut, Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
11:30 15m Talk		Higher-Order Specifications for Deductive Synthesis of Programs with Pointers ECOOP Technical Papers David Young University of Kansas, USA, Ziyi Yang National University of Singapore, Ilya Sergey National University of Singapore, Alex Potanin Australian National University
11:45 15m Talk		Matching Plans for Frame Inference in Compositional Reasoning ECOOP Technical Papers Andreas Lööw Imperial College London, Daniele Nantes-Sobrinho Imperial College London, Sacha-Élie Ayoun Imperial College London, Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London

13:30 - 15:00	VerificationECOOP Technical Papers at EI 2 Pichelmayer Chair(s): João Costa Seco NOVA-LINCS; Nova University of Lisbon

13:30 15m Talk		A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson ECOOP Technical Papers Barnabas Arvay University of Freiburg, Thi Thu Ha Doan University of Freiburg, Peter Thiemann University of Freiburg, Germany
13:45 15m Talk		Qafny: A Quantum-Program Verifier ECOOP Technical Papers Liyi Li Iowa State University, Mingwei Zhu University of Maryland, College Park, Rance Cleaveland University of Maryland, Alexander Nicolellis Iowa State University, Yi Lee University of Maryland, College Park, Le Chang University of Maryland, College Park, Xiaodi Wu University of Maryland
14:00 15m Talk		Verifying Lock-free Search Structure Templates ECOOP Technical Papers Nisarg Patel New York University, Dennis Shasha New York University, Thomas Wies New York University
14:15 15m Talk		Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning ECOOP Technical Papers Stephen N. Freund Williams College, Cormac Flanagan University of California at Santa Cruz
14:30 15m Talk		Compositional Symbolic Execution for Correctness and Incorrectness Reasoning ECOOP Technical Papers Andreas Lööw Imperial College London, Daniele Nantes-Sobrinho Imperial College London, Sacha-Élie Ayoun Imperial College London, Caroline Cronjäger Ruhr-Universität Bochum, Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London
14:45 15m Talk		Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations ECOOP Technical Papers Jie Qiu Duolingo, Colin Cai University of California, Berkeley, Sahil Bhatia University of California, Berkeley, Niranjan Hasabnis Code Metal, Sanjit Seshia UC Berkeley, Alvin Cheung University of California at Berkeley

15:30 - 16:45	Software SystemsECOOP Technical Papers at EI 2 Pichelmayer Chair(s): Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

15:30 18m Talk		Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines ECOOP Technical Papers Bob Brockbernd Delft University of Technology, Nikita Koval JetBrains, Arie van Deursen Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
15:48 18m Talk		Runtime Instrumentation for Reactive Components ECOOP Technical Papers Luca Aceto Reykjavik University, Duncan Paul Attard University of Glasgow, Adrian Francalanza University of Malta, Anna Ingolfsdottir Reykjavik University
16:07 18m Talk		HOBBIT: Hashed Object Based InTegrity ECOOP Technical Papers Matthias Bernad μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
16:26 18m Talk		Pipit on the Post: proving pre- and post-conditions of reactive systems ECOOP Technical Papers Amos Robinson Australian National University, Australia, Alex Potanin Australian National University

16:45 - 17:00	Closing and Invitation to ECOOP 2025ECOOP Technical Papers at EI 2 Pichelmayer

16:45 15m Day closing		Closing and Invitation to ECOOP 2025 ECOOP Technical Papers Werner Dietl University of Waterloo, Volker Stolz Høgskulen på Vestlandet

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	MPLR KeynoteMPLR at EI 2 Pichelmayer

09:00 5m Day opening		Welcome from the Chairs MPLR G: M. Anton Ertl TU Wien, P: Christoph Kirsch University of Salzburg; Czech Technical University
09:05 55m Keynote		Can WebAssembly Be Software’s Final Substrate? (Keynote) MPLR K: Ben L. Titzer Carnegie Mellon University DOI

10:30 - 11:50	MPLR "Optimization" SessionMPLR at EI 2 Pichelmayer Chair(s): Hila Peleg Technion

10:30 25m Paper		Lazy Sparse Conditional Constant Propagation in the Sea of Nodes MPLR A: Christoph Aigner JKU Linz, A: Gergö Barany Oracle Labs, A: Hanspeter Mössenböck JKU Linz DOI
10:55 25m Paper		Mutator-Driven Object Placement using Load Barriers MPLR A: Jonas Norlinder Uppsala University, A: Albert Mingkun Yang Oracle, A: David Black-Schaffer Uppsala University, A: Tobias Wrigstad Uppsala University DOI
11:20 25m Paper		Interactive Programming for Microcontrollers by Offloading Dynamic Incremental Compilation MPLR A: Fumika Mochizuki University of Tokyo, A: Tetsuro Yamazaki University of Tokyo, A: Shigeru Chiba University of Tokyo DOI

13:30 - 14:50	MPLR "Programming" SessionMPLR at EI 2 Pichelmayer Chair(s): Stefan Marr University of Kent

13:30 15m Short-paper		mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices MPLR A: Go Suzuki Tokyo Institute of Technology, A: Takuo Watanabe Tokyo Institute of Technology, A: Sosuke Moriguchi Tokyo Institute of Technology DOI Pre-print Media Attached File Attached
13:45 15m Short-paper		Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming MPLR A: Baltasar Trancón y Widemann TH Brandenburg, A: Markus Lepper semantics DOI
14:00 25m Paper		Existential Containers in Scala MPLR A: Dimitri Racordon EPFL, A: Eugene Flesselle EPFL, A: Matt Bovel EPFL DOI
14:25 25m Paper		Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language MPLR A: Christopher John Wright University of Manchester, A: Mikel Luján University of Manchester, A: Pavlos Petoumenos University of Manchester, A: John Goodacre University of Manchester DOI

15:30 - 16:50	MPLR "Analysis" SessionMPLR at EI 2 Pichelmayer Chair(s): M. Anton Ertl TU Wien

15:30 15m Short-paper		Towards Realistic Results for Instrumentation-Based Profilers for JIT-Compiled Systems MPLR A: Humphrey Burchell University of Kent, A: Octave Larose University of Kent, A: Stefan Marr University of Kent DOI Pre-print
15:45 15m Short-paper		Toward Declarative Auditing of Java Software for Graceful Exception Handling MPLR A: Leo St. Amour Virginia Tech, A: Eli Tilevich Virginia Tech DOI
16:00 25m Paper		Dynamic Possible Source Count Analysis for Data Leakage Prevention MPLR A: Eri Ogawa University of Tokyo; IBM Research, A: Tetsuro Yamazaki University of Tokyo, A: Ryota Shioya University of Tokyo DOI
16:25 25m Paper		The Cost of Profiling in the HotSpot Virtual Machine MPLR A: Rene Mueller Huawei Zurich Research Center, A: Maria Carpen-Amarie Huawei Zurich Research Center, A: Matvii Aslandukov Kharkiv National University of Radio Electronics, A: Konstantinos Tovletoglou Independent Researcher DOI
16:50 5m Day closing		Closing Session MPLR Stefan Marr University of Kent

17:00 - 18:00	MPLR Poster SessionMPLR at EI 2 Pichelmayer

17:00 60m Poster		Toward Declarative Auditing of Java Software for Graceful Exception Handling (Poster) MPLR A: Leo St. Amour Virginia Tech, A: Eli Tilevich Virginia Tech
17:00 60m Poster		Accurate Compilation Replay via Remote JIT Compilation (Poster) MPLR A: Andrej Pečimúth Oracle Labs; Charles University, A: David Leopoldseder Oracle Labs, A: Petr Tuma Charles University

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:30	FTfJP KeynoteFTfJP at EI 2 Pichelmayer Chair(s): Luca Di Stefano Technische Universität Wien

10:30 60m Keynote		Static Analysis for Software Security: Detecting Data Races in C FTfJP Omar Inverso Gran Sasso Science Institute

11:30 - 12:00	FTfJP Session 1FTfJP at EI 2 Pichelmayer Chair(s): Luca Di Stefano Technische Universität Wien

11:30 30m Talk		Towards a model checker for Python: pymodcheck FTfJP Dara MacConville Maynooth University, Rosemary Monahan

13:30 - 15:00	FTfJP Session 2FTfJP at EI 2 Pichelmayer Chair(s): Paola Giannini University of Eastern Piedmont

13:30 30m Talk		Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA FTfJP Giacomo Zanatta Ca’ Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Teodors Lisovenko Ca' Foscari University of Venice, Luca Negrini Ca’ Foscari University of Venice, Gianluca Caiazza Ca' Foscari University of Venice, Ruffin White White Robotics
14:00 30m Talk		Towards a Sound Construction of EVM Bytecode Control-flow Graphs FTfJP Vincenzo Arceri University of Parma, Italy, Saverio Mattia Merenda University of Parma, Italy, Greta Dolcetti Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and Statistics, Luca Negrini Ca’ Foscari University of Venice, Luca Olivieri University Ca' Foscari, Venice, Enea Zaffanella University of Parma, Italy
14:30 30m Talk		Abstract Interpretation of Java Bytecode in Sturdy FTfJP Stefan Marx Johannes Gutenberg-Universität Mainz, Sebastian Erdweg JGU Mainz

15:30 - 17:30	FTfJP Session 3FTfJP at EI 2 Pichelmayer Chair(s): Dara MacConville Maynooth University

15:30 30m Talk		Disjoint Polymorphism with Intersection and Union Types FTfJP Baber Rehman University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
16:00 30m Talk		Coeffects for MiniJava: Cf-Mj FTfJP Paola Giannini University of Eastern Piedmont, Giulio Duso University of Eastern Piedmont
16:30 30m Talk		Dafny vs. Dala: Experience with Mechanising Language Design FTfJP James Noble Independent. Wellington, NZ, Julian Mackay Victoria University of Wellington, Tobias Wrigstad Uppsala University, Andrew Fawcett Victoria University of Wellington, Michael Homer Victoria University of Wellington File Attached
17:00 30m Talk		Incrementalizing Polynomial Functors FTfJP Timon Böhler Technical University of Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
EI 2 Pichelmayer										ISSTA/ECOOP Doctoral Symposium Welcome to the Doctoral Symposium			ISSTA/ECOOP Doctoral Symposium Keynote - 1																		ISSTA/ECOOP Doctoral Symposium Student Presentations - I																																				ISSTA/ECOOP Doctoral Symposium Student Presentations - II																								ISSTA/ECOOP Doctoral Symposium Keynote - 2

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
EI 2 Pichelmayer							ECOOP Technical Papers Synthesis and verification																																				ECOOP Technical Papers Verification																								ECOOP Technical Papers Software Systems															ECOOP Technical Papers Closing and Invitation to ECOOP 2025

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
EI 2 Pichelmayer	MPLR MPLR Keynote																		MPLR MPLR "Optimization" Session																																				MPLR MPLR "Programming" Session																								MPLR MPLR "Analysis" Session																		MPLR MPLR Poster Session

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
EI 2 Pichelmayer							FTfJP FTfJP Keynote												FTfJP FTfJP Session 1																								FTfJP FTfJP Session 2																								FTfJP FTfJP Session 3

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
EI 2 Pichelmayer	ISSTA/ECOOP Doctoral Symposium The Devil's Guide to Doing your PhD – 10 tips for despair, dismay, and ... 09:00 - 10:00																		ISSTA/ECOOP Doctoral Symposium Soft Verification for Actor Contract Systems 10:30 - 10:45			ISSTA/ECOOP Doctoral Symposium Integrating Mutation Techniques to Keep Specification and Source Code i ... 10:45 - 10:55		ISSTA/ECOOP Doctoral Symposium Leveraging Natural Language Processing and Data Mining to Augment and V ... 10:55 - 11:05		ISSTA/ECOOP Doctoral Symposium From Fault Injection to Formal Verification: A Holistic Approach to Fau ... 11:05 - 11:20			ISSTA/ECOOP Doctoral Symposium Robustness against the C/C++11 memory model 11:20 - 11:35			ISSTA/ECOOP Doctoral Symposium Automated Testing of Networked Systems Reliability 11:35 - 11:45		ISSTA/ECOOP Doctoral Symposium Search-Based Translations for Tensor Operations 11:45 - 11:55																					ISSTA/ECOOP Doctoral Symposium Shaping Test Inputs in Grammar-Based Fuzzing 13:30 - 13:45			ISSTA/ECOOP Doctoral Symposium Graph Learning for Extract Class Refactoring 13:45 - 13:55		ISSTA/ECOOP Doctoral Symposium With Biabduction towards Memory Safety across the Rust-C-FFI 13:55 - 14:05		ISSTA/ECOOP Doctoral Symposium Decentralized Near-Synchronous Local-First Programming Collaboration 14:05 - 14:15		ISSTA/ECOOP Doctoral Symposium Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins 14:15 - 14:25		ISSTA/ECOOP Doctoral Symposium Collaboration to Repository-Level Vulnerability Detection 14:25 - 14:35		ISSTA/ECOOP Doctoral Symposium Learning the Effects of Software Changes 14:35 - 14:50											ISSTA/ECOOP Doctoral Symposium How to get your Ph.D. DONE! 15:30 - 17:00

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
EI 2 Pichelmayer							ECOOP Technical Papers Inductive Predicate Synthesis Modulo Programs 10:30 - 10:45			ECOOP Technical Papers Fearless Asynchronous Communications with Timed Multiparty Session Prot ... 10:45 - 11:00			ECOOP Technical Papers Java Bytecode Normalization for Code Similarity Analysis 11:00 - 11:15						ECOOP Technical Papers Higher-Order Specifications for Deductive Synthesis of Programs with Po ... 11:30 - 11:45			ECOOP Technical Papers Matching Plans for Frame Inference in Compositional Reasoning 11:45 - 12:00																					ECOOP Technical Papers A Dynamic Logic for Symbolic Execution for the Smart Contract Programmi ... 13:30 - 13:45			ECOOP Technical Papers Qafny: A Quantum-Program Verifier 13:45 - 14:00			ECOOP Technical Papers Verifying Lock-free Search Structure Templates 14:00 - 14:15			ECOOP Technical Papers Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarante ... 14:15 - 14:30			ECOOP Technical Papers Compositional Symbolic Execution for Correctness and Incorrectness Reas ... 14:30 - 14:45			ECOOP Technical Papers Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations 14:45 - 15:00									ECOOP Technical Papers Understanding Concurrency Bugs in Real-World Programs with Kotlin Corou ... 15:30 - 15:48				ECOOP Technical Papers Runtime Instrumentation for Reactive Components 15:48 - 16:07			ECOOP Technical Papers HOBBIT: Hashed Object Based InTegrity 16:07 - 16:26				ECOOP Technical Papers Pipit on the Post: proving pre- and post-conditions of reactive systems 16:26 - 16:45				ECOOP Technical Papers Closing and Invitation to ECOOP 2025 16:45 - 17:00

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
EI 2 Pichelmayer	MPLR Welcome from the Chairs 09:00 - 09:05	MPLR Can WebAssembly Be Software’s Final Substrate? (Keynote) 09:05 - 10:00																	MPLR Lazy Sparse Conditional Constant Propagation in the Sea of Nodes 10:30 - 10:55					MPLR Mutator-Driven Object Placement using Load Barriers 10:55 - 11:20					MPLR Interactive Programming for Microcontrollers by Offloading Dynamic Incr ... 11:20 - 11:45																										MPLR mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices 13:30 - 13:45			MPLR Imagine There’s No Source Code: Replay Diagnostic Location Information ... 13:45 - 14:00			MPLR Existential Containers in Scala 14:00 - 14:25					MPLR Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language 14:25 - 14:50													MPLR Towards Realistic Results for Instrumentation-Based Profilers for JIT-C ... 15:30 - 15:45			MPLR Toward Declarative Auditing of Java Software for Graceful Exception Han ... 15:45 - 16:00			MPLR Dynamic Possible Source Count Analysis for Data Leakage Prevention 16:00 - 16:25					MPLR The Cost of Profiling in the HotSpot Virtual Machine 16:25 - 16:50					MPLR Closing Session 16:50 - 16:55		MPLR Toward Declarative Auditing of Java Software for Graceful Exception Han ... 17:00 - 18:00 Accurate Compilation Replay via Remote JIT Compilation (Poster) 17:00 - 18:00

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
EI 2 Pichelmayer							FTfJP Static Analysis for Software Security: Detecting Data Races in C 10:30 - 11:30												FTfJP Towards a model checker for Python: pymodcheck 11:30 - 12:00																								FTfJP Sound Static Analysis for Microservices: Utopia? A preliminary experien ... 13:30 - 14:00						FTfJP Towards a Sound Construction of EVM Bytecode Control-flow Graphs 14:00 - 14:30						FTfJP Abstract Interpretation of Java Bytecode in Sturdy 14:30 - 15:00												FTfJP Disjoint Polymorphism with Intersection and Union Types 15:30 - 16:00						FTfJP Coeffects for MiniJava: Cf-Mj 16:00 - 16:30						FTfJP Dafny vs. Dala: Experience with Mechanising Language Design 16:30 - 17:00						FTfJP Incrementalizing Polynomial Functors 17:00 - 17:30

Room information: EI 2 Pichelmayer

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA/ECOOP Doctoral Symposium

ISSTA/ECOOP Doctoral Symposium

ISSTA/ECOOP Doctoral Symposium

ISSTA/ECOOP Doctoral Symposium

ISSTA/ECOOP Doctoral Symposium

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MPLR

MPLR

MPLR

MPLR

MPLR

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FTfJP

FTfJP

FTfJP

FTfJP

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Room information: EI 2 Pichelmayer

Program Display Configuration

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA/ECOOP Doctoral Symposium

ISSTA/ECOOP Doctoral Symposium

ISSTA/ECOOP Doctoral Symposium

ISSTA/ECOOP Doctoral Symposium

ISSTA/ECOOP Doctoral Symposium

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MPLR

MPLR

MPLR

MPLR

MPLR

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FTfJP

FTfJP

FTfJP

FTfJP

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change