Events Archive
10-26
Making proof-based verified computation almost practical
Computer Science Small Auditorium (Room 105)
10-18
Evolution of Software Architecture at Facebook
Computer Science Small Auditorium (Room 105)
10-10
Tractable market making in combinatorial prediction markets
Computer Science 402
10-03
When GPUs meet CPUs: opportunities, challenges and solutions in heterogeneous architectures
Computer Science Small Auditorium (Room 105)
09-25
Facebook Tech Talk: Rewriting the Facebook App for iphone
Computer Science Small Auditorium (Room 105)
09-25
Virtualization Management and Data Center Monitoring for Energy-efficient Clouds
Computer Science 302
09-24
A Library-based Network Operating System for the Cloud
Computer Science 302
08-22
Bug Bytes: Bioinformatics for Metagenomics and Microbial Community Analysis
...
...