EI 2 Pichelmayer - VORTEX 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://www.tuwien.at/en/tu-wien/organisation/central-divisions/real-estate-and-facility-management/event-services-and-lecture-hall-support/room-database/lecture-halls/ei-2-pichelmayer

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

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

10:30 26m 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:56 26m 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:23 26m 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
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

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

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:56					MPLR Mutator-Driven Object Placement using Load Barriers 10:56 - 11:23						MPLR Interactive Programming for Microcontrollers by Offloading Dynamic Incr ... 11:23 - 11:50																									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.

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

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

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

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

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

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

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

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

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

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