Abstract:  Quantum computing is at an inflection point, where 53-qubit (quantum bit) machines are deployed, 100-qubit machines are just around the corner, and even 1000-qubit machines are perhaps only a few years away. These machines have the potential to fundamentally change our concept of what is computable and demonstrate practical applications in areas such as quantum chemistry, optimization, and quantum simulation. Yet a significant resource gap remains between practical quantum algorithms and real machines. A promising approach to closing this gap is to selectively expose to programming languages and compilers some of the key physical properties of emerging quantum technologies. 

I will describe some of our recent work that focuses on compilation techniques that break traditional abstractions, including compiling directly to analog control pulses, compiling for machine variations, and compiling with ternary quantum bits. I will also describe other important verification challenges to be solved on the road to practical quantum computing.

Bio:  Fred Chong is the Seymour Goodman Professor in the department of computer science at the University of Chicago. He is also lead principal investigator for the EPiQC Project (Enabling Practical-scale Quantum Computing), an NSF Expedition in Computing. He received his Ph.D. in electrical engineering and computer science from MIT.