EI 2 Pichelmayer - PLF 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

This program is tentative and subject to change.

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		Keynote talk - I ISSTA/ECOOP Doctoral Symposium Andreas Zeller CISPA Helmholtz Center for Information Security

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 Bram Vandenbogaerde Vrije Universiteit Brussel
10:45 10m Talk		Search-Based Translations for Tensor Operations ISSTA/ECOOP Doctoral Symposium Jie Qiu Duolingo
10:55 10m Talk		Integrating Mutation Techniques to Keep Specification and Source Code in Sync ISSTA/ECOOP Doctoral Symposium Kerstin Jacob University of Bamberg
11:05 10m Talk		Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs ISSTA/ECOOP Doctoral Symposium Alix Decrop University of Namur
11:15 15m Talk		Shaping Test Inputs in Grammar-Based Fuzzing ISSTA/ECOOP Doctoral Symposium José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security
11:30 15m Talk		Robustness against the C/C++11 memory model ISSTA/ECOOP Doctoral Symposium Roy Margalit Tel Aviv University, Israel
11:45 10m Talk		Automated Testing of Networked Systems Reliability ISSTA/ECOOP Doctoral Symposium Michal Rozsíval Faculty of Information Technology, Brno University of Technology

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

13:30 15m Talk		From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems ISSTA/ECOOP Doctoral Symposium Drishti Yadav Technische Universität Wien
13:45 10m Talk		Graph Learning for Extract Class Refactoring ISSTA/ECOOP Doctoral Symposium Luqiao Wang Xidian University
13:55 10m Talk		With Biabduction towards Memory Safety across the Rust-C-FFI ISSTA/ECOOP Doctoral Symposium Florian Sextl TU Wien, Austria
14:05 10m Talk		Decentralized Near-Synchronous Local-First Programming Collaboration ISSTA/ECOOP Doctoral Symposium Leon Freudenthaler FH Campus Wien
14:15 10m Talk		Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins ISSTA/ECOOP Doctoral Symposium Nimantha Kariyakarawana imec-DistriNet KU Leuven
14:25 10m Talk		Collaboration to Repository-Level Vulnerability Detection ISSTA/ECOOP Doctoral Symposium Xin-Cheng Wen Harbin Institute of Technology
14:35 15m Talk		Learning the Effects of Software Changes ISSTA/ECOOP Doctoral Symposium Laura Plein CISPA Helmholtz Center for Information Security

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

15:30 90m Keynote		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

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 Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
11:15 15m 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
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

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 Intel Labs, Sanjit Seshia UC Berkeley, Alvin Cheung University of California at Berkeley

15:30 - 16:45	Software SystemsECOOP Technical Papers at EI 2 Pichelmayer

15:30 15m 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:45 15m 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:00 15m Talk		The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments ECOOP Technical Papers Petr Maj Czech Technical University, Stefanie Muroya Lei Institute of Science and Technology in Austria, Konrad Siek Czech Technical University in Prague, Luca Di Grazia University of Stuttgart, Jan Vitek Northeastern University
16:15 15m Talk		HOBBIT: Hashed Object Based InTegrity ECOOP Technical Papers Matthias Bernad μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Stefan Brunthaler Bundeswehr University Munich
16:30 15m Talk		Mutation-based Lifted Repair of Software Product Lines ECOOP Technical Papers Aleksandar S. Dimovski Mother Teresa University, Skopje

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? MPLR K: Ben L. Titzer Carnegie Mellon University

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

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

15:30 - 16:50	MPLR "Analysis" SessionMPLR at EI 2 Pichelmayer

15:30 15m Short-paper		Towards Realistic Results for Instrumentation-Based Profilers for JIT-Compiled Systems (Work in Progress) 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 (Work in Progress) 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, Switzerland, A: Maria Carpen-Amarie Huawei Zurich Research Center, Switzerland, A: Matvii Aslandukov Kharkiv National University of Radio Electronics, A: Konstantinos Tovletoglou Independent Researcher DOI

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

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

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

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

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

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 Keynote talk - I 09:00 - 10:00																		ISSTA/ECOOP Doctoral Symposium Soft Verification for Actor Contract Systems 10:30 - 10:45			ISSTA/ECOOP Doctoral Symposium Search-Based Translations for Tensor Operations 10:45 - 10:55		ISSTA/ECOOP Doctoral Symposium Integrating Mutation Techniques to Keep Specification and Source Code i ... 10:55 - 11:05		ISSTA/ECOOP Doctoral Symposium Leveraging Natural Language Processing and Data Mining to Augment and V ... 11:05 - 11:15		ISSTA/ECOOP Doctoral Symposium Shaping Test Inputs in Grammar-Based Fuzzing 11:15 - 11:30			ISSTA/ECOOP Doctoral Symposium Robustness against the C/C++11 memory model 11:30 - 11:45			ISSTA/ECOOP Doctoral Symposium Automated Testing of Networked Systems Reliability 11:45 - 11:55																					ISSTA/ECOOP Doctoral Symposium From Fault Injection to Formal Verification: A Holistic Approach to Fau ... 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 Keynote: 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 Pipit on the Post: proving pre- and post-conditions of reactive systems 11:15 - 11:30			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:45			ECOOP Technical Papers Runtime Instrumentation for Reactive Components 15:45 - 16:00			ECOOP Technical Papers The Fault in our Stars: Designing Reproducible Large-scale Code Analysi ... 16:00 - 16:15			ECOOP Technical Papers HOBBIT: Hashed Object Based InTegrity 16:15 - 16:30			ECOOP Technical Papers Mutation-based Lifted Repair of Software Product Lines 16:30 - 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? 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 Device ... 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 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

This program is tentative and subject to 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

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

This program is tentative and subject to change.

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