Poster Sessions and Receptions

The OSDI '12 poster sessions and receptions will take place over two days on Monday, October 8 and Tuesday, October 9. See the lists of Monday's accepted posters and Tuesday's accepted posters.

Monday, October 8

The following posters will be presented during a reception from 6:00 p.m.–7:30 p.m. in the Ray Dolby Ballroom 456.

Who is Going to Program This?
Marcus Völp, Michael Roitzsch, and Hermann Härtig, Technische Universität Dresden

Toward Emulating Large-Scale Software Defined Networks
Arjun Roy, Danny Yuxing Huang, Kenneth Yocum, and Alex Snoeren, University of California, San Diego

GraphChi: Large-Scale Graph Computation on Just a PC
Aapo Kyrola, Guy Blelloch, and Carlos Guestrin, University of Washington

Optimizing Shared Resource Contention in HPC Clusters
Sergey Blagodurov and Alexandra Fedorova, Simon Fraser University

Towards a Data Analysis Recommendation System
Sara Alspaugh, University of California, Berkeley; Archana Ganapathi, Splunk, Inc.; Randy Katz, University of California, Berkeley

PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
Joseph E. Gonzalez, Yucheng Low, Haijie Gu, Danny Bickson, and Carlos Guestrin, University of Washington

Closing the Gap Between Driver Synthesis and Verification
Alexander Legg and Leonid Ryzhyk, NICTA; Adam Walker, NICTA and University of New South Wales

MiniStack: Operating System Support for Fast User-space Network Protocols
Michio Honda and Felipe Huici, NEC Europe Ltd.; Luigi Rizzo, Universita di Pisa

Mercurial Caches: OS Support for Energy-Proportional DRAM
Asim Kadav, Rathijit Sen, and Michael M. Swift, University of Wisconsin—Madison

GReplay: A Programming Model for Kernel-Space GPU Applications
Xinya Zhang, Jin Zhao, and Xin Wang, Fudan University

Rearchitecting System Software for the Cloud
Muli Ben-Yehuda and Dan Tsafrir, Technion — Israel Institute of Technology

Rebasable File Systems for Enhanced Virtual Machine Management
Jinglei Ren, Bo Wang, Weichao Guo, Yongwei Wu, Kang Chen, and Weimin Zheng, Tsinghua University

Diagnosis-Friendly Cloud Management Stack
Xiaoen Ju and Kang G. Shin, University of Michigan; Livio Soares, Kyung Dong Ryu, and Dilma Da Silva, IBM T.J. Watson Research Center

User-mode Storage Systems for Storage-Class Memory
Haris Volos, Sankaralingam Panneerselvam, and Michael M. Swift, University of Wisconsin—Madison

ContextJob: Runtime System for Elastic Cloud Applications
Wei-Chiu Chuang, Bo Sang, Sunghwan Yoo, Charles Killian, and Milind KulKarni, Purdue University

The Ethos Project: Security Through Simplification
W. Michael Petullo and Jon A. Solworth, University of Illinois at Chicago

POD: Performance-Oriented I/O Deduplication for Primary Storage Systems
Bo Mao and Hong Jiang, University of Nebraska—Lincoln; Suzhen Wu, Xiamen University

Processing Widely-Distributed Data with JetStream
Matvey Arye, Ariel Rabkin, Siddhartha Sen, Michael J. Freedman, and Vivek Pai, Princeton University

Experiences with Hardware Prototyping Solid-State Cache
Mohit Saxena and Michael M. Swift, University of Wisconsin—Madison

Devirtualization: I/O Virtualization Based on Device Files
Ardalan Amiri Sani, Rice University; Sreekumar Nair, Nokia Research Center; Kevin A. Boos and Lin Zhong, Rice University; Quinn Jacobson, Nokia Research Center

Herding the Masses — Improving Data/Task Locality in Hadoop
Bingyi Cao and Daniel Abadi, Yale University

Jana: Platform Protection for User Privacy
Sangmin Lee, Edmund Wong, Deepak Goel, Mike Dahlin, and Vitaly Shmatikov, The University of Texas at Austin

Nested Virtual Machines and Proxies for Easily Implementable Rollback of Secure Communication
Kuniyasu Suzaki, Kengo Iijima, Akira Tanaka, and Yutaka Oiwa, AIST: National Institute of Advanced Industrial Science and Technology; Etsuya Shibayama, The University of Tokyo

Collaborative Verification with Privacy Guarantees
Mingchen Zhao, University of Pennsylvania; Wenchao Zhou, Georgetown University; Alexander Gurney and Andreas Haeberlen, University of Pennsylvania; Micah Sherr, Georgetown University; Boon Thau Loo, University of Pennsylvania

A Verified Kernel and Commodity Hardware
Yanyan Shen and Kevin Elphinstone, University of New South Wales, NICTA

SymDrive: Testing Drivers without Devices
Matthew J. Renzelmann, Asim Kadav, and Michael M. Swift, University of Wisconsin—Madison

Malleable Flow for Time-Bounded Replica Consistency Control
Yuqing Zhu and Jianmin Wang, Tsinghua University; Philip S. Yu, University of Illinois at Chicago

What Does Distributed Computing Look Like on a Multicore Machine?
Stefan Kaestle and Timothy Roscoe, ETH Zürich

C3A: Client/Server Co-Verification of Cloud Applications
Stefan Bucur, Johannes Kinder, George Candea, EPFL

Be Conservative: Enhancing Failure Diagnosis with Proactive Logging
Ding Yuan, University of Illinois at Urbana-Champaign and University of California, San Diego, Soyeon Park, Peng Huang, Yang Liu, Michael M. Lee, Xiaoming Tang, Yuanyuan Zhou, Stefan Savage, University of California, San Diego

Performance Isolation and Fairness for Multi-Tenant Cloud Storage
David Shue and Michael J. Freedman, Princeton University; Anees Shaikh, IBM T.J. Watson Research Center

X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software
Mona Attariyan, University of Michigan and Google, Inc.; Michael Chow and Jason Flinn, University of Michigan

Hails: Protecting Data Privacy in Untrusted Web Applications
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, and John C. Mitchell, Stanford University; Alejandro Russo, Chalmers University

Dune: Safe User-level Access to Privileged CPU Features
Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazières, and Christos Kozyrakis, Stanford University

CleanOS: Limiting Mobile Data Exposure with Idle Eviction
Yang Tang, Phillip Ames, Sravan Bhamidipati, Ashish Bijlani, Roxana Geambasu, and Nikhil Sarda, Columbia University

Tuesday, October 9

The following posters will be presented during a reception from 6:00 p.m.–7:30 p.m. in the Ray Dolby Ballroom 456.

Dissent in Numbers: Making Strong Anonymity Scale
David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford, Yale University; Aaron Johnson, U.S. Naval Research Laboratory

Automated Concurrency-Bug Fixing
Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu, University of Wisconsin—Madison

Efficient Patch-based Auditing for Web Application Vulnerabilities
Taesoo Kim, Ramesh Chandra, and Nickolai Zeldovich, MIT CSAIL

Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary
Cheng Li, Max Planck Institute for Software Systems; Daniel Porto, CITI/Universidade Nova de Lisboa and Max Planck Institute for Software Systems; Allen Clement, Max Planck Institute for Software Systems; Johannes Gehrke,Cornell University; Nuno Preguiça and Rodrigo Rodrigues, CITI/Universidade Nova de Lisboa

Improving Integer Security for Systems with KINT
Xi Wang and Haogang Chen, MIT CSAIL; Zhihao Jia, Tsinghua IIIS; Nickolai Zeldovich and M. Frans Kaashoek, MIT CSAIL

Towards Bare-metal Network Performance via Para-virtualized Socket Library and Exitless I/O
Dongwoo Lee, Sungkyunkwan University; Changwoo Min, Sungkyunkwan University and Samsung Electronics; Junghan Kim and Young Ik Eom, Sungkyunkwan University

DANBI: Dynamic and Scalable Stream Parallelism for Many-core Systems
Changwoo Min, Sungkyunkwan University and Samsung Electronics; Young Ik Eom, Sungkyunkwan University

NUMA-aware Scheduler: Taking Both Data Locality and Caching Effectiveness into Account on NUMA Platforms
Junghoon Kim, Sungkyunkwan University; Changwoo Min, Sungkyunkwan University and Samsung Electronics; Young Ik Eom, Sungkyunkwan University

Towards Decentralized Memory Management in a Multikernel
Simon Gerber and Timothy Roscoe, ETH Zürich

Moscilloscope: High-Rate Power Data Acquisition on Mobile Systems
Jun Zhou and Tao Peng, Texas A&M University; Mian Dong and Gary Xu, Samsung Telecommunications America

PacketFlow: Managing Network Energy in Smartphones
Arun Bharadwaj, Evgeny Vinnik, Arrvindh Shriraman, and Alexandra Fedorova, Simon Fraser University

Application-aware Stateful Data Routing for Cluster Deduplication in Big Data Protection
Yinjin Fu, National University of Defense Technology and University of Nebraska-Lincoln; Hong Jiang, University of Nebraska-Lincoln; Nong Xiao, National University of Defense Technology

Serval: An End-Host Stack for Service-Centric Networking
Erik Nördstrom, David Shue, Robert Kiefer, Prem Gopalan, Matvey Arye, Jennifer Rexford, and Michael J. Freedman, Princeton University

DJoin: Differentially Private Join Queries over Distributed Databases
Arjun Narayan and Andreas Haeberlen, University of Pennsylvania

Towards User-Centric Response Time Analysis and Optimization for Smart Devices
Nosub Sung, Yeseong Kim, Jehun Lim, and Jihong Kim, Seoul National University

Improving MapReduce Performance in Highly Distributed Environments using End-to-End Optimization
Benjamin Heintz and Abhishek Chandra, University of Minnesota; Ramesh K. Sitaraman, University of Massachusetts, Amherst

All about Eve: Execute-Verify Replication for Multi-Core Servers
Manos Kapritsos and Yang Wang, University of Texas at Austin; Vivien Quema, Grenoble INP; Allen Clement, MPI-SWS; Lorenzo Alvisi and Mike Dahlin, University of Texas at Austin

High Performance Modular Packet Processing with Click and GPU
Weibin Sun and Robert Ricci, University of Utah

Model Checking Mobile User Interface Constraints
Kyungmin Lee and Jason Flinn, University of Michigan; T.J. Giuli, Ford Motor Company; Brian Noble, University of Michigan; Christopher Peplin, Ford Motor Company

Granary: Comprehensive Kernel Module Instrumentation
Peter Goodman, Angela Demke Brown, Akshay Kumar, and Ashvin Goel, University of Toronto

Evaluating Software Managed Memory with MapReduce
Craig Mustard, Alexandra Fedorova, and Arrvindh Shriraman, Simon Fraser University

Building a Hypervisor on a Formally Verified Protection Layer
Michael McCoyd, University of Texas at Austin and University of California, Berkeley; Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, and William Young, University of Texas at Austin

My Precious Bandwidth! Opportunistic Socket-Level Compression
Michael F. Nowlan and Bryan Ford, Yale University

Blender: Mixing Data Center Network Isolation Models
Kevin C. Webb, Kenneth Yocum, and Alex C. Snoeren, University of California, San Diego

Variability-Aware Algorithmic Choice
Lucas Wanner, Puneet Gupta, and Mani Srivastava, University of California, Los Angeles

Decentralized Low-latency Incremental and Iterative Computation
Frank McSherry, Derek G. Murray, Rebecca Isaacs, Michael Isard, and Martin Abadi, Microsoft Research Silicon Valley

A Platform for Finding Attacks in Unmodified Implementations of Intrusion Tolerant Systems
Hyojeong Lee, Charles Killian, and Cristina Nita-Rotaru, Purdue University; Jeff Seibert, MIT Lincoln Laboratory

Formalisation of a Component Platform
Matthew Fernandez, Ihor Kuz, and Gerwin Klein, NICTA and University of New South Wales

Variability-Aware Scheduling for Duty Cycled Tasks
Paul Martin, Lucas Wanner, and Mani Srivastava, University of California, Los Angeles

System-level Integration and Exploitation of Machine Learning
Katherine Zhao and Jonathan Appavoo, Boston University; Amos Waterland, Elaine Angelino, and Margo Seltzer, Harvard University

Salt: Combining ACID and BASE in a Distributed Database
Prince Mahajan, Chao Xie, Navid Yaghmazadeh, Chunzhi Su, Lorenzo Alvisi, and Mike Dahlin, University of Texas at Austin

Timing Information Flow Control
Weiyi Wu, Jose M. Faleiro, and Bryan Ford, Yale University

Scalable Lineage Capture for Debugging DISC Analytics
Soumya De, University of California, San Diego; Dionysios Logothetis, Telefonica Research; Ken Yocum, University of California, San Diego