Showing Events from category: CS Seminar

Squashing Bugs and Empowering Programmers with User-Centered Programming Language Design

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