08.02.2018: Zsolt Istvan, ETHZ
"Caribou -- Intelligent Distributed Storage for the Datacenter"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

12.02.2018: Niki Vazou, University of Maryland
"Liquid Haskell: Usable Language-Based Program Verification"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

15.02.2018: Keon Jang, Google
"Towards Latency Guarantees in Datacenters"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

19.02.2018: Antoine Kaufmann, University of Washington
"High Performance Data Center TCP Packet Processing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

26.02.2018: Kevin Borgolte, University of California
"Fighting Large-scale Internet Abuse"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

01.03.2018: Georg Zetzsche, IRIF (Paris)
"Storage mechanisms and finite-state abstractions for software verification"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

08.03.2018: Hank Hoffmann, University of Chicago
"Self-aware Computing: Combining Learning and Control to Manage Complex, Dynamic Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

12.03.2018: Heather Miller, Northeastern University and EPFL
"Language Support for Distributed Systems in Scala"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

15.03.2018: Caterina Urban, ETH, Zurich
"Static Program Analysis for a Software-Driven Society"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

22.03.2018: Austin Henley, University of Memphis
"Human-Centric Tools for Software Maintenance"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)