Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Video
HovercRaft: Achieving Scalability and Fault-tolerance for Microsecond-scale Datacenter Services
Systems 19 May 2021 Speaker: Marios Kogias, Microsoft (collaboration with Edouard Bugnion, Konstantinos Prasopoulos, EPFL and Dan Ports, Irene Zhang, Microsoft) This virtual event brought together the PhD students and postdocs working on collaborative research…
Video
EverCrypt: New Features and Deployments with Election Guard | JRC Workshop 2021
Systems 19 May 2021 Speaker: Jonathan Protzenko, Microsoft This virtual event brought together the PhD students and postdocs working on collaborative research engagements with Microsoft via the Swiss Joint Research Center, Mixed Reality & AI…
Video
DataScope: Scaling up Data Shapley over Machine Learning Pipelines | JRC Workshop 2021
Systems 19 May 2021 Speaker: Bojan Karlaš, ETH Zurich (collaboration with Ce Zhang, ETH Zurich and Matteo Interlandi, Microsoft) This virtual event brought together the PhD students and postdocs working on collaborative research engagements with…
Video
Reasoning about the TLA+ operator ENABLED within TLAPS | JRC Workshop 2021
Joint Research Center Workshop 2021 – Systems Speaker: Ioannis Filippidis, INRIA (collaboration with Damien Doligez, Stephan Merz, INRIA and Markus Kuppe, Leslie Lamport, Microsoft) This virtual event brought together the PhD students and postdocs working…
Video
Noise*: A library of Verified High-Performance Secure Channel Protocol Implementations
Systems 19 May 2021 Speaker: Son Ho, INRIA (collaboration with Karthik Bhargavan, INRIA and Antoine Delignat-Lavaud, Cédric Fournet, Florian Grould, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella, Microsoft) This virtual event brought together the PhD students…
Video
Cloud Confidential Computing | JRC Workshop 2021
Systems 19 May 2021 Speaker: Cédric Fournet, Microsoft This virtual event brought together the PhD students and postdocs working on collaborative research engagements with Microsoft via the Swiss Joint Research Center, Mixed Reality & AI…
Publication