Jahr 2018

08.02.2018: Zsolt Istvan, ETHZ
"Caribou -- Intelligent Distributed Storage for the Datacenter"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [more ...]
12.02.2018: Niki Vazou, University of Maryland
"Liquid Haskell: Usable Language-Based Program Verification"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [more ...]
15.02.2018: Keon Jang, Google
"Towards Latency Guarantees in Datacenters"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [more ...]
19.02.2018: Antoine Kaufmann, University of Washington
"High Performance Data Center TCP Packet Processing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [more ...]
26.02.2018: Kevin Borgolte, University of California
"Fighting Large-scale Internet Abuse"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [more ...]
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) [more ...]
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) [more ...]
15.03.2018: Caterina Urban, ETH, Zurich
"Static Program Analysis for a Software-Driven Society"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [more ...]