M:H - VIMPL 2024

VenueLund University

Room nameM:H

Room InformationNo extra information available

Program

Time Zone

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

Use conference time zone: (GMT+01: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

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

09:00 - 10:00	Session IQP at M:H

09:00 5m Day opening		Opening QP Jianjun Zhao Kyushu University
09:05 55m Keynote		Property-Based Testing and Debugging of Quantum ProgramsQP Keynote QP Mohammad Reza Mousavi King's College London

10:30 - 12:00	Session IIQP at M:H

10:30 30m Talk		Lossy Effect Transformers: Reasoning about Quantum Security Loss with Relational Effect Predicates and Weakest Precondition LogicLightning Talk QP Ben Hamlin Portland State University, Fang Song Portland State University
11:00 30m Talk		Model-based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid SystemsFull Paper QP Fuyuki Ishikawa National Institute of Informatics, Shinobu Saito NTT
11:30 30m Talk		A Constraint Programming Approach for QUBO solving and Quantum AnnealingFull Paper QP Philippe Codognet Japanese-French Laboratory for Informatics

13:00 - 14:30	Session IIIQP at M:H

13:00 30m Talk		Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum OraclesLightning Talk QP Javier Sánchez Rivero COMPUTAEX, Daniel Talaván COMPUTAEX, Jose García-Alonso Universidad de Extremadura, Antonio Ruiz-Cortés University of Seville, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation
13:30 50m Other		Open discussion QP
14:20 10m Day closing		Closing QP Jianjun Zhao Kyushu University

	15:00 - 17:00	Session IVQP at M:H

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

10:00 - 12:00	IntroductionNODY at M:H Introduction to Nodysseus through examples and hands on time. Participants should bring a laptop or (non-safari) mobile device.

10:00 60m Tutorial		Introduction to Nodysseus NODY Ulysses Popple

13:15 - 15:00	Hands-onNODY at M:H Group discussion about visual programming languages, and smartphone IDEs, and a hands on introduction to Nodysseus - a mobile first IDE for the browser.

13:15 1h45m Other		Group project work time and presentations NODY Ulysses Popple

16:30 - 18:30	Student Presentations‹Programming› Student Research Competition at M:H

16:30 15m Talk		Enhancing Developer Experience in Software Development through LLM-Assisted Mentorship ‹Programming› Student Research Competition Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
16:45 15m Talk		Binary Analysis in Isabelle/HOL ‹Programming› Student Research Competition Matt Griffin University of Surrey
17:00 15m Talk		DAPPER - Seamless, Tailored Code Review ‹Programming› Student Research Competition Lo Heander Lund University
17:15 15m Talk		Erla+: Translating Formal Models into Executable Actor-Based Implementations ‹Programming› Student Research Competition Marian Hristov
17:30 15m Talk		Bringing multi-language instrumentation support to WebAssembly ‹Programming› Student Research Competition Aäron Munsters Vrije Universiteit Brussel
17:45 15m Talk		Using Static Analysis to Improve the Efficiency of Program Analysis ‹Programming› Student Research Competition Idriss Riouak Department of Computer Science, Lund University, Sweden
18:00 15m Talk		Concolic Multiverse Debugging ‹Programming› Student Research Competition Maarten Steevens Ghent University, Belgium
18:15 15m Talk		Set-theoretic Maps with Type Variables ‹Programming› Student Research Competition Erdem Yildirim

Mon 11 Mar
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
M:H	QP Session I																		QP Session II																														QP Session III																								QP Session IV

Tue 12 Mar
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						18:00						30
M:H	NODY Introduction																																							NODY Hands-on																																							‹Programming› Student Research Competition Student Presentations

Mon 11 Mar
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
M:H	QP Opening 09:00 - 09:05	QPQP Keynote Property-Based Testing and Debugging of Quantum Programs 09:05 - 10:00																	QPLightning Talk Lossy Effect Transformers: Reasoning about Quantum Security Loss with R ... 10:30 - 11:00						QPFull Paper Model-based Framework for Continuous Adaptation and Evolution of Quantu ... 11:00 - 11:30						QPFull Paper A Constraint Programming Approach for QUBO solving and Quantum Annealing 11:30 - 12:00																		QPLightning Talk Shifting Quantum Circuits Languages Abstraction Level with Composable Q ... 13:00 - 13:30						QP Open discussion 13:30 - 14:20										QP Closing 14:20 - 14:30

Tue 12 Mar
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			18:00			15			30			45
M:H	NODY Introduction to Nodysseus 10:00 - 11:00																																							NODY Group project work time and presentations 13:15 - 15:00																																							‹Programming› Student Research Competition Enhancing Developer Experience in Software Development through LLM-Assi ... 16:30 - 16:45			‹Programming› Student Research Competition Binary Analysis in Isabelle/HOL 16:45 - 17:00			‹Programming› Student Research Competition DAPPER - Seamless, Tailored Code Review 17:00 - 17:15			‹Programming› Student Research Competition Erla+: Translating Formal Models into Executable Actor-Based Implementa ... 17:15 - 17:30			‹Programming› Student Research Competition Bringing multi-language instrumentation support to WebAssembly 17:30 - 17:45			‹Programming› Student Research Competition Using Static Analysis to Improve the Efficiency of Program Analysis 17:45 - 18:00			‹Programming› Student Research Competition Concolic Multiverse Debugging 18:00 - 18:15			‹Programming› Student Research Competition Set-theoretic Maps with Type Variables 18:15 - 18:30

Room information: M:H

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

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

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

QP

QP

QP

QP

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

NODY

NODY

‹Programming› Student Research Competition

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

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

Tracks

‹Programming› 2024

Room information: M:H

Program Display Configuration

Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

QP

QP

QP

QP

Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

NODY

NODY

‹Programming› Student Research Competition

Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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