Professor Jens Palsberg and co-author Nengkun Yu from the University of Technology Sydney have received an ACM SIGPLAN Distinguished Paper Award for their PLDI’21 paper on “Quantum Abstract Interpretation”.  

This paper proposes an abstraction-interpretation technique that makes it possible to statically verify assertions in large quantum programs (with 300 qubits!), a task that is infeasible even for quantum simulators. 

PLDI is one of the two flagship conferences in programming languages. This is the second consecutive year a UCLA Computer Science Department professor (i.e., Todd Millstein in 2020 and Jens Palsberg in 2021) has received a distinguished paper award from PDLI. Only one other institution, MSR, has the same honor.