Computer Laboratory

Systems Research Group – NetOS

EuroSys 2015 TPC Meeting Workshop

Tuesday, January 20th 2015

Contact Richard Mortier and Anil Madhavapeddy with enquiries.


We will start at 09.00 with coffee, and expect to finish by 17.00.

The venue is Microsoft Research Cambridge (21 Station Road, Cambridge CB1 2FB), next to Cambridge Railway Station. Note that this is the same venue as the Shadow TPC meeting but a different venue to the full TPC meeting.


We have scheduled 15 mins talk plus 5 min question/answer per presentation.

  • 09.00-09.30: coffee

  • 09.30-11.00
  1. Don Porter, Stony Brook University. BetrFS: Towards a General-Purpose, Write-Optimized File System.
  2. Rong Chen, Shanghai Jiao Tong University. NUMA-aware Graph-Structured Analytics.
  3. Florin Dinu, EPFL. Taking Advantage of Memory Elasticity in Data-Parallel Task Scheduling.
  4. Maurice Herlihy, Brown University. State Teleportation: How Hardware Transactional Memory can Improve Legacy Data Structures.
  • 11.00-11.15: break

  • 11.15-12.30
  1. Marios Fragkoulis, Athens University of Economics and Business. OS Kernel Monitoring using Relational Queries.
  2. Francisco Hernandez, Umeå University, Sweden. Performance Based Provisioning.
  3. James Snee, Cambridge University Computer Laboratory. Resourceful: Fine-Grained, Kernel Resource Accounting.
  • 12.30-13.30: lunch

  • 13.30-15.00
  1. Frans Kaashoek, MIT. Towards Certified Storage Systems
  2. Pierre-Evariste Dagand, LIP6, France. System Programming in Coq.
  3. Serdar Tasiran, Koç University, Turkey. Verifiable Concurrent Systems Programming: A Garbage Collector Case Study.
  4. Ricardo Dias, NOVA LINCS, Lisbon. Towards a Consistent Understanding of Consistency Levels.
  • 15.00-15.15: break

  • 15.15-16.30
  1. Christos Gkantsidis, Microsoft Research Cambridge. Securing MapReduce with SGX: Data Analytics in the Untrusted Cloud.
  2. David Wolinsky, Yale. PriFi -- Private WiFi.
  3. Harsha V. Madhyastha, University of Michigan. Internet Path Monitoring as a Shared Cloud Service.
  • 16.30-17.00: discussion and wrapup

  • 17.30: pub!