Provisional program posted below.
All talks are 15 minute presentations, followed by
10 minute Q+A.
Each session will conclude with a general discussion for 15 minutes.
We aim to make the workshop as interactive and participatory as possible -
this is a fun workshop, not a formal conference.
8:00 Registration opens
Improving Hardware Virtualization
Frank Bellosa (KIT)
The Case for Reconfigurable I/O Channels
Hardware/Software Techniques for Assisted Execution Runtime Systems (pdf)
CHERI: a research platform deconflating hardware virtualization and protection (pdf)
10:30 coffee break
Virtualization for Multi/Many-core
Simon Moore (U. Cambridge)
Resource management for task-based parallel programs over a multi-kernel. BIAS: Barrelfish Inter-core Adaptive Scheduling. (pdf)
Optimizing Power-Performance Trade-off for Parallel Applications through Dynamic Core and Frequency Scaling (pdf)
Light-Weighted Virtualization Layer for Multicore Processor-Based Embedded Systsems (pdf)
12:30 lunch break
Jeremy Singer (U. Glasgow)
Memory Reclamation in Garbage Collected Runtimes
KSM++: Using I/O-based hints to make memory-deduplication scanners more efficient (pdf)
Using Solid State Drives (SSDs) for Virtual Block Devices
3:00 coffee break
Finding and Fixing Bugs
Alex Garthwaite (VMWare)
Debugging through Time with the Tralfamadore Debugger
Feasibility of Mutable Replay for Automated Regression Testing
of Security Updates