Compiling Conditional Quantum Gates without Using Helper Qubits (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Keli Huang, Jens Palsberg

Track

PLDI 2024 PLDI Research Papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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

When

Wed 26 Jun 2024 14:00 - 14:20 at Finland / Norway - Pot Pourri 1

DOI

https://doi.org/10.1145/3656436

Keli Huang

University of California at Los Angeles

Jens Palsberg

University of California, Los Angeles (UCLA)

United States

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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

Session Program

Wed 26 Jun
Displayed time zone: Windhoek change

	13:40 - 15:20	Pot Pourri 1PLDI Research Papers at Finland / Norway

	13:40 20m Talk		Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving PLDI Research Papers Peixin Wang University of Oxford, Tengshun Yang SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Hongfei Fu Shanghai Jiao Tong University, Guanyan Li University of Oxford, C.-H. Luke Ong NTU DOI
	14:00 20m Talk		Compiling Conditional Quantum Gates without Using Helper Qubits PLDI Research Papers Keli Huang University of California at Los Angeles, Jens Palsberg University of California, Los Angeles (UCLA) DOI
	14:20 20m Talk		Consolidating Smart Contracts with Behavioral Contracts PLDI Research Papers Guannan Wei Purdue University, Danning Xie Purdue University, Wuqi Zhang The Hong Kong University of Science and Technology, Yongwei Yuan Purdue University, Zhuo Zhang Purdue University DOI
	14:40 20m Talk		NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks PLDI Research Papers Ajay Brahmakshatriya Massachusetts Institute of Technology, Christopher Rinard Massachusetts Institute of Technology, Manya Ghobadi Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology DOI
	15:00 20m Talk		KATch: A Fast Symbolic Verifier for NetKAT PLDI Research Papers Mark Moeller Cornell University, Jules Jacobs Cornell University, Olivier Savary Bélanger Galois, Inc., David Darais Galois, Cole Schlesinger Galois, Steffen Smolka Google, Nate Foster Cornell University and Jane Street, Alexandra Silva Cornell University DOI