All talks held in Fourth Ave Building (FAB), Lower Level (LL), Room 86-01 unless otherwise noted.
CS Colloquium Talks are free and open to the PSU community.
Click here to subscribe to the cs-colloq mailing list.
|
Date |
Time |
Speaker |
Title |
Host |
|
|
|
|
|
|
|
Oct 24 |
10:15am |
Byron Cook Microsoft Research, Cambridge, and Queen Mary, University of London |
A New Approach to Temporal Property Verification |
Jim Hook |
|
|
|
|
|
|
|
Oct 28 |
1:30pm |
David Ungar IBM Research |
Everything You Know (about Parallel Programming) Is Wrong!: A Wild Screed about the Future |
Andrew Black |
|
|
|
|
|
|
|
Nov 9 |
4:00pm |
David DeWitt Microsoft |
Big Data -- What is the Big Deal? |
Kristin Tufte |
|
|
|
|
|
|
|
Nov 10 |
11:00am (FAB 155) |
Jo Ebergen Oracle Labs |
The Design of a Fast, Energy-Efficient Stack |
Ivan Sutherland (ARC) |
|
|
|
|
|
|
|
Nov 14 |
10:15am |
Feng Liu Portland State University |
Making Stereoscopic Imagery Truly Ubiquitous |
Wu-chi Feng |
|
|
|
|
|
|
|
Nov 21 |
10:15am |
Kevin Butler University of Oregon |
Leveraging Emerging Storage Functionality for New Security Services |
Wu-chang Feng |
|
|
|
|
|
|
|
Nov 28 |
10:15am |
Jesse Walker Intel |
The SHA-3 Competition and the Skein Hash Algorithm |
Tom Shrimpton |
|
Jan 11 |
1:00pm |
Warren Hunt University of Texas, Austin |
A Flexible Formal Verification Framework for Industrial Scale Validation |
Jim Hook/Ivan Sutherland |
|
|
|
|
|
|
|
Feb 7 |
11:00-12:15pm |
Barry Jay University of Technology, Sydney |
Intensional Computing on Lambda Abstractions |
Andrew Tolmach |
|
|
|
|
|
|
|
|
|
|
|
|