Efficient classical simulation of near-term quantum devices

Sympiler: Transforming Sparse Computations

Training AI in Virtual Environments

Cyber-Physical Analysis and Hardening of Robotic Aerial Vehicle Controllers Abstract

Improving Software Quality using Automatic Invariant Discovery and Program Repair

Seeing the Unseen: "Invisible" Object 3D Reconstruction with Computational Imaging Approaches