08.02.2018:
Zsolt Istvan, ETHZ
"Caribou -- Intelligent Distributed Storage for the Datacenter"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"Human-Centric Tools for Software Maintenance"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)