Showing Events from category: CS Seminar

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

Enabling Computation, Control and Customization of Materials with Digital Fabrication Processes