Events Archive
04-06
The Surprising Power of Modern Cryptography
Computer Science Small Auditorium (Room 105)
03-25
Parallel Proofs for Parallel Programs
Computer Science Small Auditorium (Room 105)
03-23
Iterative Methods, Combinatorial Optimization, and Linear Programming Beyond the Universal Barrier
Computer Science Small Auditorium (Room 105)
03-12
The Power of Asymmetry in Binary Hashing
Computer Science Small Auditorium (Room 105)
03-12
Deterministic Transaction Processing
Computer Science Small Auditorium (Room 105)
03-05
Unlocking Cellular Computation and Information Processing through Multidimensional Single-Cell Data
Computer Science Small Auditorium (Room 105)
03-03
Verifying distributed car and aircraft systems with logic and refinement
Computer Science Small Auditorium (Room 105)
02-26
Learning Systems: Systems and Abstractions for Large-Scale Machine Learning
Computer Science Small Auditorium (Room 105)
02-25
Rise of the Planet of the Apps: Security and Privacy in the Age of Bad Code
Computer Science Small Auditorium (Room 105)
02-24
Inference Attacks: Understanding Privacy in the Era of "Privacy is Dead"
Computer Science Small Auditorium (Room 105)
02-23
Building an Operating System for the Data Center
Computer Science Small Auditorium (Room 105)