MPLR 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
VenueVienna University of Technology (TU Wien) - Campus Gusshaus
Room nameEI 2 Pichelmayer
Floor2
Capacity135
Room InformationNo extra information available

Information for Participants
Program

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
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
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
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 2024 at EI 2 Pichelmayer
09:00
5m
Day opening
Welcome from the Chairs
MPLR 2024
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 2024
K: Ben L. Titzer Carnegie Mellon University
DOI
10:30 - 11:50
MPLR "Optimization" SessionMPLR 2024 at EI 2 Pichelmayer
Chair(s): Hila Peleg Technion
10:30
25m
Paper
Lazy Sparse Conditional Constant Propagation in the Sea of Nodes
MPLR 2024
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 2024
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 2024
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 2024 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 2024
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 2024
A: Baltasar Trancón y Widemann TH Brandenburg, A: Markus Lepper semantics
DOI
14:00
25m
Paper
Existential Containers in Scala
MPLR 2024
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 2024
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 2024 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 2024
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 2024
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 2024
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 2024
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 2024
Stefan Marr University of Kent
17:00 - 18:00
MPLR Poster SessionMPLR 2024 at EI 2 Pichelmayer
17:00
60m
Poster
Toward Declarative Auditing of Java Software for Graceful Exception Handling (Poster)
MPLR 2024
A: Leo St. Amour Virginia Tech, A: Eli Tilevich Virginia Tech
17:00
60m
Poster
Accurate Compilation Replay via Remote JIT Compilation (Poster)
MPLR 2024
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

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
EI 2 Pichelmayer

Wed 18 Sep

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
EI 2 Pichelmayer