2015

Monday, 2 March 2015

Frank Mueller, Auto-tuning and Language Abstractions for GPUs

ABSTRACT: This talk introduces search and optimization techniques for auto-tuning nearest-neighbor c…
Read more 

Colloquium

Speaker: Frank Mueller, North Carolina State University, mueller@cs.ncsu.edu

16:15 - 17:15
Other CAB  G 61 

Monday, 9 March 2015

Eitan Grinspun, Structure and Geometry of Contact Mechanics

ABSTRACT: Computing the motion of colliding, stacking, or entangled objects is tricky business. Many…
Read more 

Colloquium

Speaker: Eitan Grinspun, Columbia University

16:15 - 17:15
Other CAB  G 61 

Monday, 16 March 2015

Fernando Pereira, Bottom-Up Semantics

ABSTRACT: Advances in statistical and machine learning approaches to natural-language analysis have …
Read more 

Colloquium

Speaker: Fernando Pereira, Google

16:15 - 17:15
Other CAB  G 61 

Monday, 30 March 2015

Dexter Kozen, NetKAT: A Formal System for the Verification of Networks

ABSTRACT: NetKAT is a relatively new programming language and logic for reasoning about packet switc…
Read more 

Colloquium

Speaker: Dexter Kozen, Cornell University

16:15 - 17:15
Other CAB  G 61 

Monday, 20 April 2015

Dale Miller, Communicating and trusting formal proofs

ABSTRACT: In the mist of feeling insecure with our electronic communications, we can take solace in …
Read more 

Colloquium

Speaker: Dale Miller,, INRIA and Polytechnique, France

16:15 - 17:15
Other CAB  G 61 

Load more events 
 
 
Page URL: https://www.inf.ethz.ch/news-and-events/colloquium/2015.html
Sat Mar 25 10:16:21 CET 2017
© 2017 Eidgenössische Technische Hochschule Zürich