Showing Events from category: CS Seminar

Efficient classical simulation of near-term quantum devices

Sympiler: Transforming Sparse Computations

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

Building Interactive Natural Language Interfaces