RAIDP: ReplicAtion with Intra-Disk Parity for Cost-Effective Storage of Warm DataĮitan Rosenfeld, Aviad Zuck (Technion - Israel Institute of Technology), Nadav Amit (VMware Research), Michael Factor (IBM Research), Dan Tsafrir (Technion & VMware Research)ĮvenDB: Optimizing Key-Value Storage for Spatial LocalityĮran Gilad, Edward Bortnikov, Anastasia Braginsky, Yonatan Gottesman, Eshcar Hillel (Yahoo Research), Idit Keidar (Technion), Nurit Moscovici (Outbrain), Rana Shahout (Technion)Īccessible Near-Storage Computing with FPGAs HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services
Thomas trainz felix cheng microsoft software#
Vitor Enes, Carlos Baquero (INESC TEC and University of Minho), Tuanir Franca Rezende (Telecom SudParis), Alexey Gotsman (IMDEA Software Institute), Matthieu Perrin (University of Nantes), Pierre Sutra (Telecom SudParis) State-Machine Replication for Planet-Scale Systems Lisboa & INESC-ID), Valerio Schiavoni (University of Neuchâtel, Switzerland), Miguel Matos (U. Lisboa & INESC-ID), Carlos Segarra, Luca Liechti (University of Neuchâtel, Switzerland), Shady Issa (U. Kollaps: Decentralized and Dynamic Topology Emulation Session 3: Networking – Distributed Systems – Storage Systems – NVM Please check #schedule on Discord for hosted conversations Meni Orenbach (Technion), Andrew Baumann (Microsoft Research), Mark Silberstein (Technion)īreak – Hallway Track via Discord ( Getting started guide) Persistent Memory and the Rise of Universal ConstructionsĪndreia Correia, Pascal Felber (University of Neuchatel, Switzerland), Pedro Ramalhete (Cisco Systems)ĭesign of a Symbolically Executable Embedded HypervisorĪutarky: Closing controlled channels with self-paging enclaves Provable Multicore Schedulers with Ipanema: Application to Work Conservationīaptiste Lepers (University of Sydney), Redha Gouicem (Sorbonne University/LIP6/Inria), Damien Carver (Sorbonne University/Inria/LIP6), Jean-Pierre Lozi (Oracle Labs), Nicolas Palix (Université Grenoble Alpes), Virginia Aponte (CNAM), Willy Zwaenepoel (University of Sydney and EPFL), Julien Sopena (LIP6 (UPMC/CNRS) – Inria), Julia Lawall (Inria/LIP6), Gilles Muller (INRIA), Jean-Pierre Lozi (Oracle Labs / Université Nice Sophia Antipolis)ĭelegation Sketch: a Parallel Design with Support for Fast and Accurate Concurrent OperationsĬharalampos Stylianopoulos, Ivan Walulya, Magnus Almgren (Chalmers University of Technology), Olaf Landsiedel (Kiel University), Marina Papatriantafilou (Chalmers University of Technology)
Thomas trainz felix cheng microsoft verification#
Session 2: Kernel – Efficient data structures – Programming Languages and Verification Opening Session (warmup and Zoom troubleshooting) Hallway Track via Discord ( Getting started guide)
Oblivious Coopetitive Analytics Using Hardware EnclavesĪnkur Dave, Chester Leung, Raluca Ada Popa, Joseph Gonzalez, Ion Stoica (University of California, Berkeley) Keystone: An Open Framework for Architecting Trusted Execution Environmentsĭayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanovic, Dawn Song (UC Berkeley) McKenney (Facebook), Laurent Dufour (IBM Linux Technology Center), Heon Y. Yingtong Liu, Hsin-Wei Hung, Ardalan Amiri Sani (UC Irvine)īinRec: Dynamic Binary Lifting and RecompilationĪnil Altinay, Joseph Nash (University of California, Irvine), Taddeus Kroes (Vrije Universiteit Amsterdam), Prabhu Rajasekaran, Dixin Zhou, Adrian Dabrowski, David Gens, Yeoul Na (University of California, Irvine), Stijn Volckaert (imec-DistriNet, KU Leuven), Cristiano Giuffrida, Herbert Bos (Vrije Universiteit Amsterdam), Michael Franz (University of California, Irvine)Īn HTM-Based Update-side Synchronization for RCU on NUMA systems Mousse: A System for Selective Symbolic Execution of Programs with Untamed Environments Nadav Amit, Amy Tai, Michael Wei (VMware Research Group)
0 kommentar(er)
