Distinguished Lecture Series

Next Distinguished Lecture


Building Smart Memories and Cloud Services with Derecho

Ken Birman
Cornell University

Monday, October 30, 2017
2:30 pm, Ryerson 251

Birman.png

Future and Past Distinguished Lectures


Building Smart Memories and Cloud Services with Derecho

Ken Birman
Cornell University

Monday, October 30, 2017
2:30 pm, Ryerson 251

VIdeo

Birman.png
 

New Era in Distributed Computing with Blockchains and Databases

Dr. C. Mohan
IBM Fellow & Distinguished Visiting Professor Tsinghua Univ.

Monday, October 23, 2017
2:30 pm, Ryerson 251

Video

Mohan.png
 

Testing Quantum Devices and Quantum Mechanics

Umesh Vazirani
University of California, Berkeley

Wednesday, May 10, 2017
2:30 pm, Ryerson 251

umesh-vazirani_thumb.jpg
 

Internet of Things: History and Hype, Technology and Policy

Margaret Martonosi
Princeton University

Monday, December 2, 2016
3:00pm, Ryerson 251

Martonosi2_0.jpg

The Automated-Reasoning Revolution: From Theory to Practice and Back

Moshe Y. Vardi
Rice University

Friday, September 9, 2016
3:00pm, Ryerson 251

Vardi_Moshe.png

RustBelt: Logical Foundations for the Future of Safe Systems Programming

Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS)

Thursday, May 12, 2016
3:00pm, Ryerson 251

dreyer2.png

Scaling Data Analytics with Moore's Law

Kunle Olukotun
Stanford University

Thursday, May 5, 2016
3:00pm, Ryerson 251

Olukotun.png

Programming Uncertain <T>hings

Kathryn S. McKinley
Microsoft

Thursday, February 4, 2016
3:30pm, Ryerson 251

k_mckinley_resize.jpg

RAMCloud and the Low-Latency Datacenter

John Ousterhout
Stanford University

Thursday, November 12, 2015
3:00pm, Ryerson 251

picture-john-ousterhout.jpg

It's the End of the World as We Know It (And I Feel Fine)

James Larus
École Polytechnique Fédérale de Lausanne (EPFL)

Thursday, October 22, 2015
3:00pm, Ryerson 251

cf85371a.jpg

Bounded Staleness in Distributed Machine Learning Systems: Getting the Right Answer Sooner

 

Garth Gibson
Carnegie Mellon University

Thursday, April 16, 2015
3:00pm, Ryerson 251

garth-gibson.jpg

Rethinking Computer Architecture for Energy Limited Computing

Wen-mei W. Hwu
University of Illinois at Urbana-Champaign

Thursday, January 22, 2015
3:00pm, Ryerson 251

hwu-picture1.png

Compiler Technology for Solving PDEs with Performance Portability

Paul H. J. Kelly
Imperial College London

Thursday, November 13, 2014
3:00pm, Ryerson 251

paul-kelly.jpg

Computational Perspectives on Social Phenomena at Global Scales

Jon Kleinberg
Cornell University

Thursday, November 6, 2014
3:00pm, Ryerson 251

jon-kleinberg.jpg

Towards a Theory of Trust in Networks of Humans and Computers

Jeannette Wing
Microsoft Research

Thursday, May 8, 2014
3:00pm, Ryerson 251

jeannette-wing2.jpg

How can one trust the information they read over the Internet? We argue that a general theory of trust in networks of humans and computers must be built on both a theory of behavioral trust and a theory of computational trust.


Structured Data in Web Search

Alon Halevy
Google Research

Thursday, April 24, 2014
3:00pm, Ryerson 251

alon-halevy.jpg

For the first time since the emergence of the Web, structured data is playing a key role in search engines and is therefore being collected via a concerted effort. The talk will describe some of the Google's efforts to collect structured data, filter the high-quality content, and serve its users.


Let's Stop Trusting Software With Our Sensitive Data

Srinivas Devadas
Massachusetts Institute of Technology

Tuesday, October 15, 2013
1:30pm, Ryerson 251

srinivas-devadas2.jpg

Suppose we only trust hardware manufacturers and cryptographers, and not system software developers, application programmers, or other software vendors. It will be the hardware manufacturer's job to produce a piece of hardware that provides some security properties.

 

Co-sponsors:

  • Argonne National Laboratory
  • Computation Institute
  • The Chicago Center for the Theory of Computing and Allied Areas