POPL 2020 (series) / PLanQC 2020 (series) /
PLanQC 2020 Program
This is the PLanQC 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 19 JanDisplayed time zone: Saskatchewan, Central America change
Sun 19 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | |||
09:00 30mTalk | Invited Talk: Quantum Computing for Programming Languages Researchers PLanQC Media Attached File Attached | ||
09:30 30mTalk | Invited Talk: Dependently Typed Quantum Programming in Proto-Quipper PLanQC Media Attached |
10:30 - 12:30 | |||
10:30 30mTalk | Invited Talk: Q# - Going Beyond Quantum Circuits PLanQC Media Attached | ||
11:00 30mTalk | Invited Talk: Resource-Efficient Quantum Computing by Breaking Abstractions PLanQC Media Attached File Attached | ||
11:30 20mTalk | Tuning up entanglement through the cloud using Qiskit-OpenPulse PLanQC Thomas Alexander IBM T.J. Watson Research Center, New York, USA, Naoki Kanazawa IBM Research, Tokyo, Japan, Daniel Egger IBM Research, Zurich, Switzerland, Ali Javadi-Abhari IBM T.J. Watson Research Center, New York, USA, David C. McKay IBM T.J. Watson Research Center, New York, USA | ||
11:50 20mTalk | Tracking Errors through Types in Quantum Programs PLanQC Kesha Hietala University of Maryland, Robert Rand University of Maryland, Michael Hicks University of Maryland Pre-print Media Attached File Attached | ||
12:10 20mTalk | Quantum CPOs PLanQC |
14:00 - 15:05 | |||
14:00 20mTalk | Runtime Analysis of Quantum Programs: A Formal Approach PLanQC Pre-print File Attached | ||
14:20 20mTalk | Qbricks: formal verification in quantum computing PLanQC Christopĥe Chareton CEA, LIST, France, Sébastien Bardin CEA LIST, François Bobot CEA, Valentin Perrelle CEA, LIST, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay File Attached | ||
14:40 25mTalk | Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages PLanQC Kesha Hietala University of Maryland, Kartik Singhal University of Chicago, Robert Rand University of Maryland, Shih-Han Hung University of Maryland, Xiaodi Wu University of Maryland, College Park, Michael Hicks University of Maryland Media Attached |
15:35 - 16:35 | |||
15:35 20mTalk | Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation PLanQC Andrew N. Glaudell University of Maryland, Neil Julien Ross Dalhousie University, Jacob M. Taylor University of Maryland Pre-print Media Attached File Attached | ||
15:55 20mTalk | Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices PLanQC Yu Zhang University of Science and Technology of China, Haowei Deng University of Science and Technology of China, Quanxi Li University of Science and Technology of China Pre-print Media Attached | ||
16:15 20mTalk | Quingo: A Domain Specific Language for Quantum Computing with NISQ Features PLanQC Xiang Fu Institute for Quantum Information & State Key Laboratory of High Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Jintao Yu State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou, China, Xing Su College of Meteorology and Oceanography, National University of Defense Technology, Changsha, China, Hanru Jiang Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Hua Wu Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China, Dong Chen Department of Computing Science, College of Computer, National University of Defense Technology, Changsha, China, Fucheng Cheng Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Xi Deng Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Jinrong Zhang Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Lei Jin School of Information Engineering, Zhengzhou University, Zhengzhou, China, Yihang Yang School of Information Engineering, Zhengzhou University, Zhengzhou, China, Le Xu School of Information Engineering, Zhengzhou University, Zhengzhou, China, Chunchao Hu School of Information Engineering, Zhengzhou University, Zhengzhou, China, Anqi Huang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Guangyao Huang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Xiaogang Qiang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Mingtang Deng Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Ping Xu Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Wanwei Liu National University of Defense Technology, Yuxin Deng East China Normal University, Junjie Wu Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Yuan Feng Centre for Quantum Software and Information, University of Technology Sydney, Australia File Attached |
16:50 - 17:50 | |||
16:50 20mTalk | Extending Modern C++ for Heterogeneous Quantum-Classical Computing PLanQC Alexander McCaskey Oak Ridge National Laboratory, Tiffany Mintz Oak Ridge National Laboratory, Eugene Dumitrescu Oak Ridge National Laboratory, Sarah Powers Oak Ridge National Laboratory, Shirley Moore Oak Ridge National Laboratory, Pavel Lougovski Oak Ridge National Laboratory | ||
17:10 20mTalk | Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control PLanQC Dongho LEE LRI / CEA LIST, Univ Paris Saclay, Sébastien Bardin CEA LIST, Valentin Perrelle CEA, LIST, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay File Attached | ||
17:30 20mTalk | Automated distribution of quantum circuits via hypergraph partitioning PLanQC Link to publication DOI Pre-print Media Attached File Attached |