Workshops co-organized with the main conference:
Tutorials:
Boris Grot (University of Edinburgh), Simon Peter (UT Austin), Chris Rossbach (VMware Research and UT Austin)
Operating System Process and Thread Migration in Heterogeneous Platforms. Rob Lyerly, Antonio Barbalace, Christopher Jelesnianski, Vincent Legout, Anthony Carno and Binoy Ravindran (Virginia Tech)
Basslet: an OS Runtime for Parallel Data Processing. Jana Giceva, Gerd Zellweger, Gustavo Alonso and Timothy Roscoe (ETH Zurich)
Towards Multi-tenant GPGPU: Event-driven Programming Model for System-wide Scheduling on Shared GPUs. Yusuke Suzuki (Keio University), Hiroshi Yamada (Tokyo University of Agriculture and Technology), Shinpei Kato (Nagoya University) and Kenji Kono (Keio University)
Litmus Testing at Rack Scale. David Cock (ETH Zurich)
An Empirical Study on the NoC Architecture Based on Bidirectional Ring and Mesh Topologies. Jie Yin, Ye Liu, Shinpei Kato (Nagoya University), Hiroshi Sasaki (Columbia University) and Hiroaki Takada (Nagoya University)
Michalis Polychronakis (Stony Brook University) and Cristiano Giuffrida (Vrije Universiteit Amsterdam)
Welcome and Introduction. Michalis Polychronakis and Cristiano Giuffrida (Workshop Chairs)
Keynote talk: Confidential and Verifiable Cloud Computing. Manuel Costa (Microsoft Research)
DCSP: Performant Certificate Revocation a DNS-based approach. Antonios A. Chariton, Eirini Degkleri, Panagiotis Papadopoulos, Panagiotis Ilia, Evangelos P. Markatos
TOFU for OpenPGP. Neal Walfield and Werner Koch
Why Allowing Profile Name Reuse Is A Bad Idea. Enrico Mariconti, Jeremiah Onaolapo, Syed Sharique Ahmad, Nicolas Nikiforou, Manuel Egele, Nick Nikiforakis and Gianluca Stringhini
Keynote talk: How High Can You Count? A Peek into Large Malware Datasets. Davide Balzarotti (Eurecom)
A Text-Mining Approach to Explain Unwanted Behaviours. Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton and Igor Muttik
METAlloc: Efficient and Comprehensive Metadata Management for Software Security Hardening. Istvan Haller, Erik van der Kouwe, Cristiano Giuffrida and Herbert Bos
A Transparent Defense Against USB Eavesdropping Attacks. Matthias Neugschwandtner, Anton Beitler and Anil Kurmus
LockDown: An Operating System for Achieving Service Continuity by Quarantining Principals. Gedare Bloom, Gabriel Parmer and Rahul Simha
Peter Alvaro (University of California, Santa Cruz, USA), Alysson Bessani (Universidade de Lisboa, Portugal)
Consumer-view of Consistency Properties: Definition, Measurement, and Exploitation. Alan Fekete (University of Sidney)
Towards Property-Based Consistency Verification. Paolo Viotti, Christopher Meiklejohn and Marko Vukolić
The CISE Tool: Proving Weakly-Consistent Applications Correct. Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira and Marc Shapiro
Serializable Eventual Consistency. Tim Coppieters, Wolfgang De Meuter and Sebastian Burckhardt
Analysing Snapshot Isolation. Andrea Cerone and Alexey Gotsman
PhysiCS: Efficient Consistent Snapshots for Scalable Snapshot Isolation. Alejandro Z. Tomsic, Tyler Crain and Marc Shapiro
Big(ger) Sets: Decomposed Delta CRDT Sets in Riak. Russell Brown, Zeeshan Lakhani and Paul Place
Coordinating Distributed System Configuration Changes with Humming Consensus. Scott Fritchie
Making Weak Consistency Great Again. Valter Balegas, Nuno Preguiça, Sérgio Duarte, Carla Ferreira and Rodrigo Rodrigues
Weak Consistency and Stochastic Environments. Tobias Herb, Tim Jungnickel and Christoph Alt
Eventually Consistent Register Revisited. Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça and Marc Shapiro
The Problem with Embedded CRDT Counters and a Solution. Carlos Baquero, Paulo Sérgio Almeida and Carl Lerche
Decoupling Conflict Resolution with CDVCS. Christian Weilbach, Konrad Kühne and Annette Bieniusa
Δ-CRDTs: Making δ-CRDTs Delta-Based. Albert van der Linde, João Leitão and Nuno Preguiça
Highly-scalable Concurrent Objects. Deepthi Devaki Akkoorath and Annette Bieniusa.
Rui Oliveira (INESC TEC & University of Minho, Portugal), Guillaume Pierre (IRISA & Université de Rennes 1, France)
Welcome and introduction.
NG2C: N-Generational GC for Big Data Memory Management. Rodrigo Bruno and Paulo Ferreira (INESC-ID / IST, Univeristy of Lisbon)
Data Analytics for Scheduling in Hybrid HPC Environments. Abel Souza, Johan Tordsson (Umea University), Mohamad Rezaei and Erwin Laure (KTH Royal Institute of Technology)
DNA-like Data Storage Systems: An Approach to Relax Trade-offs Between Performance and Reliability. Veronica Estrada Galinanes and Pascal Felber (University of Neuchatel)
Transparent Intra-machine Full-Software-Stack Replication for Fault Tolerance. Giuliano Losa, Antonio Barbalace, Yuzhong Wen, Marina Sadini and Binoy Ravindran (Virginia Tech)
Gossip in the Clouds. Francisco Maia and Rui Oliveira (INESC TEC / University of Minho)
How to Secure Application-Level Firewalls in IaaS Clouds. Anna Giannakou (INRIA/IRISA), Louis Rilling (DGA), Christine Morin (INRIA/IRISA) and Jean-Louis Pazat (INSA/IRISA)
Software Product Lines for Multi-Cloud Microservices-Based Applications. Gustavo Sousa, Walter Rudametkin and Laurence Duchien (Ecole Centrale de Lille / INRIA)
Closing remarks.
Yehia Elkhatib (Lancaster University, UK), Mohamed Faten Zhani (École de Technologie Supérieure, Canada)
A Semantic-Based Generic API Adapter Generation for Portable Cloud Applications. Eman Hossny, Sherif Khattab, Fatma Omara and Hesham Hassan (Cairo University)
PACOFed: Principled Access Control and Operations via Cloud Federation. Rizwan Panjwani, Sushil Bhojwani, Sudhakar Ganti (University of Victoria), Rick McGeer (University of Victoria & SAP) and Yvonne Coady (University of Victoria)
A Reference Architecture for Real-Time Microservice API Consumption. Cristian Gadea, Mircea Trifan, Dan Ionescu (University of Ottawa) and Bogdan Ionescu (Mgestyk Technologies Inc.)
Economics of a Supercloud. Ian Kash (Microsoft Research), Qin Jia, Zhiming Shen, Weijia Song, Robbert van Renesse and Hakim Weatherspoon (Cornell University)
Model-Driven Engineering for Multi-Tenant SaaS application development. Assylbek Jumagaliyev and Jon Whittle (Lancaster University)
Experiences from Building a Cross-Cloud Orchestration Tool. Daniel Baur and Jörg Domaschka (University of Ulm)
Smart Spot Instances for the Supercloud. Qin Jia, Zhiming Shen, Weijia Song, Robbert van Renesse and Hakim Weatherspoon (Cornell University)
Evaluation of SLA-based Decision Strategies for VM Scheduling in Cloud Data Centers. Andreas Kohne, Damian Pasternak (Materna GmbH), Lars Nagel (University of Mainz) and Olaf Spinczyk (TU Dortmund)
Haibo Chen (Shanghai Jiao Tong University, China), Mema Roussopoulos (University of Athens, Greece)
Towards a Secure Execution Environment for Applications in the IoT. Sven Akkermans (iMinds-Distrinet, KU Leuven)
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. Nathan Dautenhahn (University of Illinois at Urbana-Champaign)
Secure Key-value Storage using Intel SGX. Robert Krahn (Technische Universität Dresden)
Trustworthy Entangled Storage. Veronica Estrada Galinanes (University of Neuchatel)
Replication in Rack-scale Systems. Roni Häcki (System Group, Department of Computer Science, ETH Zürich)
Architectural Support for Bulk Atomic Read Operations in Rack-Scale In-Memory Systems. Dmitrii Ustiugov (EPFL)
Analysis and Optimization Across Interprocess Communication Boundaries. Will Dietz (University of Illinois at Urbana-Champaign)
Unleash the Power of Heterogeneity in Distributed Systems. Michael Kaufmann (IBM Research & Institute of Telematics at the Karlsruhe Institute of Technology)
Integrating Strong Consistency across Multiple Stageful Services. João Loff (INESC-ID Lisboa, Instituto Superior Técnico - Universidade de Lisboa, Portugal)
Panelists: Haibo Chen (Shanghai Jiao Tong University), Evangelia Kalyvianaki (City University London), Mema Roussopoulos (University of Athens), Hakim Weatherspoon (Cornell University) and John Wilkes (Google)
Learning Consistency in the Cloud. Michael Schaarschmidt (University of Cambridge)
Automagic Configuration Optimization for Big Data Processing Systems. Muhammad Bilal (Université catholique de Louvain)
Towards a Novel Concept for High Performance Graph Processing. Matthias Hauck (Ruprecht-Karls Universität Heidelberg/SAP SE)
Schedulers for Hybrid Data Center Networks. Neelakandan Manihatty Bojan (Computer Laboratory, University of Cambridge)
Adaptive Distributed Stream Mining. Nasreddine Fergani (Queen Mary University of London)
Monday April 18th, Alexandros Daglis (EPFL), Mario Drumond (EPFL), Javier Picorel (EPFL) and Dmitrii Ustiugov (EPFL)
Overview of CloudSuite 3.0.
Running CloudSuite on real hardware.
Introduction to Flexus and its interaction with the QEMU full-system simulator.