POSTER SESSION

Poster Session & Happy Hour

The following posters will be presented during a happy hour on Wednesday, June 17, 7:00 p.m.–8:00 p.m., Tiki Pavilion & Poolside.

SPROV: A Library for Secure Provenance
Ragib Hasan, University of Illinois at Urbana-Champaign; Radu Sion, Stony Brook University; Marianne Winslett, University of Illinois at Urbana-Champaign

Towards a Formally Verifiable Multiprocessor Microkernel  Poster
Michael von Tessin, NICTA, University of New South Wales

Sonar-Based Measurement of User Attention  Poster | Abstract
Stephen P. Tarzia, Northwestern University; Robert P. Dick, University of Michigan/Northwestern University; Peter A. Dinda and Gokhan Memik, Northwestern University

Including the Network View in Application Response Time Diagnostics using Netflow  Poster
Jochen Kögel, University of Stuttgart

Dynamic Resource Management Through Transparent Interaction Monitoring
Igor Crk, Mingsong Bi, and Chris Gniady, University of Arizona

Software Configuration by the Masses
Wei Zheng, Ricardo Bianchini, and Thu D. Nguyen, Rutgers University

FlexFS: A Flexible Flash File System for MLC NAND Flash Memory
Sungjin Lee, Keonsoo Ha, Kangwon Zhang, and Jihong Kim, Seoul National University; Junghwan Kim, Samsung Electronics

Zephyr: Efficient Incremental Reprogramming of Sensor Nodes using Function Call Indirections and Difference Computation
Rajesh Krishna Panta, Saurabh Bagchi, and Samuel P. Midkiff, Purdue University