Events
02-25
Program Synthesis for the Masses
Computer Science Small Auditorium (Room 105)
02-20
CANCELED- Practical Foundations for Scalable Concurrency
Computer Science Small Auditorium (Room 105)
02-19
Computation, Communication, and Privacy Constraints on Learning
Computer Science Small Auditorium (Room 105)
02-18
Building systems that compute on encrypted data
Computer Science Small Auditorium (Room 105)
02-12
Feature allocations, paintboxes, and probability functions
Computer Science Small Auditorium (Room 105)
02-06
Protein phenotypes from genomic information: 3D, mutation, and design
Computer Science Small Auditorium (Room 105)
02-04
Tierless Programming and Reasoning for Software-Defined Networks
Computer Science 302
12-11
Efficient multi-pattern matching on Compressed HTTP traffic
Computer Science 402
12-09
Do not blame users for misconfigurations
Computer Science Small Auditorium (Room 105)
...
...