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