Conditionally Accepted Papers

Of 200 submissions, the Program Committee has selected 41 papers for the third round of reviewing (shepherding). This is the list of conditionally accepted papers, please note that the list might differ from the final list of accepted papers.

  • Pandia: comprehensive contention-sensitive thread placement
    Daniel Goodman, Tim Harris, and Georgios Varisteas (Oracle Labs)

  • Taming Parallelism in a Multi-Variant Execution Environment
    Stijn Volckaert (University of California, Irvine), Bart Coppens, Bjorn De Sutter, and Koen De Bosschere (Ghent University), Per Larsen (Immunant, Inc.), and Michael Franz (University of California, Irvine)

  • Statistical Analysis of Latency Through Semantic Profiling
    Jiamin Huang, Barzan Mozafari, and Thomas Wenisch (University of Michigan)

  • The lock holder and the lock waiter pre-emption problems: nip them in the bud using informed spinlocks (I-Spinlocks)
    Boris Teabe, Vlad Nitu, Alain Tchana, and Daniel Hagimont (IRIT/Toulouse University, France)

  • Pado: A Data Processing Engine for Harnessing Transient Resources in Datacenters
    Youngseok Yang, Geon-Woo Kim, Won Wook Song, and Yunseong Lee (Seoul National University), Andrew Chung (Carnegie Mellon University), Zhengping Qian (Alibaba Group), Brian Cho (Facebook), and Byung-Gon Chun (Seoul National University)

  • Proteus: agile ML elasticity through tiered reliability in dynamic resource markets
    Aaron Harlap (CMU), Alexey Tumanov (UC Berkeley), and Greg Ganger and Phil Gibbons (CMU)

  • An Empirical Study on the Correctness of Formally Verified Distributed Systems
    Pedro Fonseca, Kaiyuan Zhang, Xi Wang, and Arvind Krishnamurthy (University of Washington)

  • MiniCrypt: Reconciling Encryption and Compression for Big Data Stores
    Wenting Zheng and Frank Li (UC Berkeley), Rachit Agarwal (Cornell), and Raluca Ada Popa and Ion Stoica (UC Berkeley)

  • SkyChat: Enabling Distributed Application Optimisations in Public Clouds
    Alexandru Agache, Mihai Ionescu, and Costin Raiciu (University Politehnica of Bucharest)

  • Syncperf: Categorizing, Detecting, and Diagnosing Synchronization Performance Bugs
    Mejbah ul Alam (University of Texas at San Antonio, USA), Tongping Liu (University of Texas at San Antonio, USA), Guangming Zeng (Linshan Road, Shanghai), and Abdullah Muzahid (University of Texas at San Antonio, USA)

  • Finding Violations in the Unwritten Contract of Solid State Drives
    Jun He, Sudarsun Kannan, Andrea Arpaci-Dusseau, and Remzi Arpaci-Dusseau (University of Wisconsin - Madison)

  • Node.fz: Fuzzing Server-side Event-driven JavaScript
    James Davis (Virginia Tech), Arun Thekumparampil (MathWorks), and Dongyoon Lee (Virginia Tech)

  • RFP: When RPC is Faster than Server-Bypass with RDMA
    Maomeng Su, Mingxing Zhang, and Kang Chen (Tsinghua University), Zhenyu Guo (Microsoft Research), and Yongwei Wu (Tsinghua University)

  • High-Throughput Subset Matching on Commodity GPU-Based Systems
    Daniele Rogora (Università della Svizzera italiana), Michele Papalini (Cisco Systems), Koorosh Khazaei (Università della Svizzera italiana), Alessandrto Margara (Politecnico di Milano), Antonio Carzaniga (Università della Svizzera italiana), and Gianpaolo Cugola (Politecnico di Milano)

  • MOSAIC: Processing a Trillion-Edge Graph on a Single Commodity Machine
    Steffen Maass, Changwoo Min, Sanidhya Kashyap, Woonhak Kang, Mohan Kumar, and Taesoo Kim (Georgia Institute of Technology)

  • SGXBounds: Memory Safety for Shielded Execution
    Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, and Pramod Bhatotia (TU Dresden), Pascal Felber (University of Neuchâtel), and Christof Fetzer (TU Dresden)

  • FloDB: Unlocking Memory in Persistent Key-Value Stores
    Oana Balmau, Rachid Guerraoui (EPFL), Vasileios Trigonakis (EPFL/Oracle Labs), and Igor Zablotchi (EPFL)

  • Abstracting Multi-Core Topologies with MCTOP
    Georgios Chatzopoulos and Rachid Guerraoui (EPFL), Tim Harris (Oracle Labs), and Vasileios Trigonakis (EPFL/Oracle Labs)

  • Online Reconstruction of Structural Information from Datacenter Logs
    Zaheer Chothia, John Liagouris, Desislava Dimitrova, and Timothy Roscoe (Systems Group, Department of Computer Science, ETH Zurich)

  • An interface to implement NUMA policies in the Xen hypervisor
    Gauthier Voron (INRIA/LIP6), Gaël Thomas (Telecom SudParis), Vivien Quéma (Grenoble INP / ENSIMAG), and Pierre Sens (INRIA/LIP6)

  • Direct Inter-Process Communication (dIPC): Repurposing the CODOMs Architecture to Accelerate IPC
    Lluís Vilanova, Marc Jordà, and Nacho Navarro (UPC / BSC), Yoav Etsion (Technion / TCE), and Mateo Valero (UPC / BSC)

  • COCONUT: Seamless Scale-out of Network Elements
    Soudeh Ghorbani and Brighten Godfrey (UIUC)

  • Design and evaluation of an RDMA-aware data shuffling operator for parallel database systems
    Feilong Liu, Lingyan Yin, and Spyros Blanas (The Ohio State University)

  • Malthusian Locks
    Dave Dice (Oracle Labs)

  • Practical Persistence for Multi-threaded Applications
    Terry Ching-Hsiang Hsu (Purdue University, Hewlett Packard Labs), Helge Brügner, Indrajit Roy, and Kimberly Keeton (Hewlett Packard Labs), and Patrick Eugster (Purdue University, TU Darmstadt)

  • A Characterization of State Spill in Modern Operating Systems
    Kevin Boos, Emilio Del Vecchio, and Lin Zhong (Rice University)

  • GfxDoctor: A Holistic Graphics Energy Profiler for Mobile Devices
    Ning Ding and Y. Charlie Hu (Purdue University)

  • ROS: A Rack-based Optical Storage System with Inline Accessibility for Long-Term Data Preservation
    Yan Wenrui, Yao Jie, and Cao Qiang (Wuhan National Laboratory for Optoelectronics,Huazhong University of Science and Technology), JIang Hong (Department of Computer Science and Engineering, University of Texas at Arlington), and Xie Changsheng (Wuhan National Laboratory for Optoelectronics,Huazhong University of Science and Technology)

  • Malacology: A Programmable Storage System
    Michael A. Sevilla, Noah Watkins, Ivo Jimenez, Peter Alvaro, Shel Finkelstein, Jeff LeFevre, and Carlos Maltzahn (University of California, Santa Cruz)

  • Rein: Taming Tail Latency in Key Value Stores via Multiget Scheduling
    Waleed Reda (Université catholique de Louvain & Royal Institute of Technology (KTH)), Lalith Suresh (VMware Research), Sean Braithwaite (SoundCloud), Marco Canini (KAUST), and Dejan Kostić (Royal Institute of Technology (KTH))

  • Saturn: a Distributed Metadata Service for Causal Consistency
    Manuel Bravo and Luis Rodrigues (University of Lisbon) and Peter Van Roy (Universite Catholique de Louvain)

  • DangScrub: Practical Use-after-free Detection
    Erik van der Kouwe, Vinod Nigade, and Cristiano Giuffrida (Vrije Universiteit Amsterdam)

  • One Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics
    Ang Chen and Andreas Haeberlen (University of Pennsylvania), Wenchao Zhou (Georgetown University), and Boon Thau Loo (University of Pennsylvania)

  • Hybrids on Steroids: SGX-Based High Performance BFT
    Johannes Behl (TU Braunschweig), Tobias Distler (FAU Erlangen-Nürnberg), and Rüdiger Kapitza (TU Braunschweig)

  • Forkscan: Conservative Memory Reclamation for Modern Operating Systems
    Dan Alistarh (ETH Zurich), William M. Leiserson and Alexander Matveev (MIT), and Nir Shavit (MIT and TAU)

  • Atomic In-Place Updates for Transactional Non-Volatile Main Memories
    Amirsaman Memaripour (UCSD), Anirudh Badam and Amar Phanishayee (Microsoft), Yanqi Zhou (Princeton), Ram Alagappan (U. of Wisconsin, Maddison), Karin Strauss (Microsoft), and Steven Swanson (UC San Diego)

  • kR^X: Comprehensive Kernel Protection against Just-In-Time Code Reuse
    Marios Pomonis, Theofilos Petsios, and Angelos D. Keromytis (Columbia University), Michalis Polychronakis (Stony Brook University), and Vasileios P. Kemerlis (Brown University)

  • No Need to Hide: Protecting Safe Regions on Commodity Hardware
    Koen Koning, Cristiano Giuffrida, and Herbert Bos (Vrije Universiteit Amsterdam) and Elias Athanasopoulos (University of Cyprus)

  • DStress: Efficient Differentially Private Computations on Distributed Data
    Antonis Papadimitriou, Arjun Narayan, and Andreas Haeberlen (University of Pennsylvania)

  • Eleos: ExitLess OS services for SGX enclaves
    Meni Orenbach, Marina Minkin, Pavel Lifshits, and Mark Silberstein (Technion)

  • Exploiting Spot and Burstable Instances for Improving the Cost-efficacy of In-Memory Caches on the Public Cloud
    Cheng Wang and Bhuvan Urgaonkar (Penn State University), Aayush Gupta (IBM Research Almaden), and George Kesidis and Qianlin Liang (Penn State University)

Social

News

Call for posters is available

Submit your posters to Eurosys 2017. More information here.

Registration is now open!

Registration is now open! See more here.

See all here

Supporters

Platinum

Gold

Silver

Bronze