Infer 2024
Mon 24 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
PLDI 2024 (series) / Infer 2024 (series) / Radisson Blu Scandinavia, Copenhagen /

Room information: Copenhagen

VenueRadisson Blu Scandinavia, Copenhagen
Room nameCopenhagen
Room InformationNo extra information available
Program

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

Mon 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
Session 1WQS at Copenhagen
09:00
10m
Day opening
Opening
WQS

09:10
40m
Keynote
From ZX to first order logic: a survey of string diagrammatic calculi
WQS
Pawel Sobocinski Tallinn University of Technology
09:50
20m
Talk
Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)REMOTE
WQS
Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford, Stefano Gogioso University of Oxford
10:40 - 12:20
Session 2WQS at Copenhagen
10:40
40m
Keynote
Quantum application development for multi-processor systems using CUDA-Q
WQS
Bettina Heim NVIDIA
11:20
20m
Talk
Supporting End-Users in Realizing Quantum Computing Applications
WQS
Damian Rovara Technical University of Munich, Nils Quetschlich Technical University of Munich, Lukas Burgholzer Technical University of Munich, Wille Robert Johannes Kepler University Linz, Austria
11:40
20m
Talk
Dataflow-Based Optimization for QIR Programs
WQS
Junjie Luo Kyushu University, Haoyuan Zhang Kyushu University, Jianjun Zhao Kyushu University
12:00
20m
Talk
Towards an open-source framework to perform quantum calibration and characterization
WQS
Andrea Pasquale Università degli Studi di Milano, Edoardo Pedicillo Università degli Studi di Milano, Stefano Carrazza Università degli Studi di Milano
13:40 - 15:20
Session 3WQS at Copenhagen
13:40
40m
Keynote
Quantum program analysis: Verification and TestingREMOTE
WQS
Nengkun Yu Stony Brook University, USA
14:20
20m
Talk
A Static Analysis for High-Level Quantum Programming Languages
WQS
Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy
14:40
20m
Talk
Efficient Formal Verification of Quantum Error Correcting ProgramsREMOTE
WQS
Qifan Huang Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou MPI-SP; Institute of Software at Chinese Academy of Sciences, Wang Fang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University
15:00
20m
Talk
Verifying Quantum Circuits in GAP
WQS
Scott Wesley University of Waterloo, Canada
16:00 - 18:00
Session 4WQS at Copenhagen
16:00
40m
Keynote
Mitiq, a toolbox for quantum error mitigation and error suppression
WQS
Nathan Shammah Unitary Fund
16:40
20m
Talk
Quantum Backtracking in Qrisp Applied to Sudoku Problems
WQS
Raphael Seidel Fraunhofer Institute for Open Communication Systems, Zander René , Matic Petrič , Niklas Steinmann , David Liu , Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin
17:00
20m
Talk
Classical Shadows for Property-Based Testing of Quantum Programs
WQS
Gabriel Joseph Pontolillo King's College London, Connor Lenihan King's College London, Mohammad Reza Mousavi King's College London, George Booth King's College London
17:20
20m
Talk
Hybrid Quantum-Classical Machine Learning with String Diagrams
WQS
Alexander Koziell-Pipe University of Oxford, Aleks Kissinger University of Oxford
17:40
20m
Talk
Classical Simulation of Quantum Circuits with Partial Interference Effects
WQS
Sinan Pehlivanoglu Indiana University, Amr Sabry Indiana University

Tue 25 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
Session 1RTFM at Copenhagen
Chair(s): Ilya Sergey National University of Singapore
09:00
10m
Day opening
Opening
RTFM
Amal Ahmed Northeastern University, USA, Derek Dreyer MPI-SWS, Ilya Sergey National University of Singapore
09:10
40m
Talk
On Long-Term Research Problem Selection
RTFM
Peter Müller ETH Zurich
10:40 - 12:20
Session 2RTFM at Copenhagen
Chair(s): Derek Dreyer MPI-SWS
10:40
40m
Talk
On Doing Interdisciplinary Research
RTFM
Nate Foster Cornell University and Jane Street
11:20
60m
Panel
Panel: Promotion and Tenure
RTFM
M: Derek Dreyer MPI-SWS, P: Amal Ahmed Northeastern University, USA, P: Justin Hsu Cornell University, P: Peter Müller ETH Zurich, P: Jeremy G. Siek Indiana University, USA
13:40 - 15:20
Session 3RTFM at Copenhagen
Chair(s): Amal Ahmed Northeastern University, USA
13:40
40m
Talk
On Running a Research Group
RTFM
Işıl Dillig University of Texas at Austin
14:20
60m
Talk
Panel: Work-Life Balance, Service, and Teaching
RTFM
M: Amal Ahmed Northeastern University, USA, P: Benjamin Delaware Purdue University, P: Sam Lindley University of Edinburgh, P: Nadia Polikarpova University of California at San Diego, P: Jan Vitek Northeastern University
16:00 - 17:40
Session 4RTFM at Copenhagen
Chair(s): Ilya Sergey National University of Singapore
16:00
40m
Talk
On Writing Grants
RTFM
Ranjit Jhala University of California, San Diego
16:40
60m
Panel
Panel: Recruiting and Supporting Students
RTFM
M: Ilya Sergey National University of Singapore, P: Lars Birkedal Aarhus University, P: Santosh Nagarakatte Rutgers University, P: Sukyoung Ryu KAIST, P: Zachary Tatlock University of Washington

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Copenhagen

WQS

Session 1

WQS

Session 2

WQS

Session 3

WQS

Session 4

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Copenhagen

RTFM

Session 1

RTFM

Session 2

RTFM

Session 3

RTFM

Session 4

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Copenhagen
WQS
Opening
09:00 - 09:10
WQS
From ZX to first order logic: a survey of string diagrammatic calculi
09:10 - 09:50
WQSREMOTE
Fock, the rules (... or how to ZX-calculus for continuous variable quan ...
09:50 - 10:10
WQS
Quantum application development for multi-processor systems using CUDA-Q
10:40 - 11:20
WQS
Supporting End-Users in Realizing Quantum Computing Applications
11:20 - 11:40
WQS
Dataflow-Based Optimization for QIR Programs
11:40 - 12:00
WQS
Towards an open-source framework to perform quantum calibration and cha ...
12:00 - 12:20
WQSREMOTE
Quantum program analysis: Verification and Testing
13:40 - 14:20
WQS
A Static Analysis for High-Level Quantum Programming Languages
14:20 - 14:40
WQSREMOTE
Efficient Formal Verification of Quantum Error Correcting Programs
14:40 - 15:00
WQS
Verifying Quantum Circuits in GAP
15:00 - 15:20
WQS
Mitiq, a toolbox for quantum error mitigation and error suppression
16:00 - 16:40
WQS
Quantum Backtracking in Qrisp Applied to Sudoku Problems
16:40 - 17:00
WQS
Classical Shadows for Property-Based Testing of Quantum Programs
17:00 - 17:20
WQS
Hybrid Quantum-Classical Machine Learning with String Diagrams
17:20 - 17:40
WQS
Classical Simulation of Quantum Circuits with Partial Interference Effects
17:40 - 18:00

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Copenhagen
RTFM
Opening
09:00 - 09:10
RTFM
On Long-Term Research Problem Selection
09:10 - 09:50
RTFM
On Doing Interdisciplinary Research
10:40 - 11:20
RTFM
Panel: Promotion and Tenure
11:20 - 12:20
RTFM
On Running a Research Group
13:40 - 14:20
RTFM
Panel: Work-Life Balance, Service, and Teaching
14:20 - 15:20
RTFM
On Writing Grants
16:00 - 16:40
RTFM
Panel: Recruiting and Supporting Students
16:40 - 17:40