CSE6439: Reading Group on System Research and
Software Quality Assurance (Schedule)
Autumn, 2014 (Mondays 10:10-11:30 am, DL395)
|
Date |
Paper |
Coordinator(s) |
|
09/15 |
Muppet: MapReduceStyle Processing of Fast Data, VLDB'12 (pdf) | Dachuan |
|
09/22 |
Scaling Distributed Machine Learning with the Parameter Server, OSDI'14 (pdf) | Dachuan |
|
09/29 |
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications, OSDI'14 (pdf) | Haicheng |
|
10/06 |
No Reading Group | |
|
10/13 |
ShuffleWatcher: Shuffle-aware Scheduling in Multi-tenant MapReduce Clusters, USENIX ATC'14 (pdf) | Kiran |
|
10/20 |
Log-structured Memory for DRAM-based Storage, FAST'14 (pdf) | David |
|
10/27 |
The Power of Choice in Data-Aware Cluster Scheduling, OSDI'14(pdf) | Dachuan |
|
11/03 |
Parrot: a practical runtime for deterministic, stable, and reliable threads?, SOSP'13 (pdf) | Kiran |
|
11/10 |
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems, OSDI'14 (pdf) | Mai |
|
11/17 |
Finding a needle in Haystack: Facebook’s photo storage, OSDI'10 (pdf) | Xiaochi |
|
11/24 |
f4: Facebook's Warm BLOB Storage System, OSDI'14 (pdf) | Kiran |
Spring, 2014 (Wednesdays 10-11:30 am, DL263)
|
Date |
Paper |
Coordinator(s) |
|
01/22 |
From ARIES to MARS: Transaction Support for Next-Generation, Solid-State Drives, SOSP'13 (pdf) | Mai |
|
01/29 |
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors, SOSP'13 (pdf) | Wensheng |
|
02/05 |
VirtuOS: an operating system with kernel virtualization, SOSP'13 (pdf) | Dachuan |
|
02/12 |
EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors, OSDI'06 (pdf) | Mai |
|
02/26 |
Log-structured Memory for DRAM-based Storage, FAST'14 (pdf) | Dachuan |
|
03/05 |
Be Conservative: Enhancing Failure Diagnosis with Proactive Logging, OSDI'12 (pdf) | Shashank |
|
03/19 |
Execution synthesis: a technique for automated software debugging, EuroSys'10 (pdf) | Wensheng |
|
03/26 |
Journaling of Journal Is (Almost) Free, FAST'14 (pdf) | Mai |
|
04/09 |
Copysets: Reducing the Frequency of Data Loss in Cloud Storage, FAST'13(pdf) | Dachuan |
|
04/23 |
Performance Regression Testing Target Prioritization via Performance Risk Analysis, ICSE'14 (pdf) | Shashank |
Fall, 2013 (Tuesdays 2-4pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
09/10 |
Performance Profiling of Virtual Machines, VEE'11 (pdf) | Dachuan |
|
09/17 |
Understanding and Detecting Real-World Performance Bugs, PLDI'12 (pdf) | Shashank |
|
09/24 |
Failure-Atomic msync(): A Simple and Efficient Mechanism for Preserving the Integrity of Durable Data, EuroSys'13 (pdf) | Mai |
|
10/01 |
Toddler: Detecting Performance Problems via Similar Memory-Access Patterns, ICSE'13 (pdf) | Dachuan |
|
10/08 |
Discovering, reporting, and fixing performance bugs, MSR'13 (pdf) | Shashank |
|
10/15 |
Using One-Sided RDMA Reads to Build a Fast, CPU-Ef?cient Key-Value Store, USENIX'13 (pdf) | Mai |
|
10/22 |
Sparrow: Distributed, Low Latency Scheduling, SOSP'13 (pdf) | Dachuan |
|
10/29 |
Do Not Blame Users for Misconfigurations (pdf) | Shashank |
|
11/05 |
TABLEFS: Enhancing Metadata Efficiency in the Local File System, USENIX'13 (pdf) | Mai |
|
11/12 |
Discretized Streams: Fault-Tolerant Streaming Computation at Scale, SOSP'13 (pdf) | Dachuan |
Spring, 2013 (Tuesdays 10-11am, DL698)
|
Date |
Paper |
Coordinator(s) |
|
01/22 |
DroidScope: Seamlessly Reconstructing the OS and Dalvik Semantic Views for Dynamic Android Malware Analysis, USENIX Security'12 (pdf) | Zhezhe |
|
01/29 |
Understanding the Robustness of SSDs under Power Fault, FAST'13 (pdf) | Mai |
|
02/05 |
Fast App Launching for Mobile Devices using Predictive User Context, MobiSys'12 (pdf) | Jau-Yuan |
|
02/19 |
A Study of Linux File System Evolution, FAST'12 (pdf) | Dachuan |
|
02/26 |
ConAir: Featherweight Concurrency Bug Recovery Via Single-Threaded Idempotent Execution, ASPLOS'13 (pdf) | Jau-Yuan |
|
03/05 |
An Evaluation of the Google Chrome Extension Security Architecture (pdf) | Zhezhe |
|
03/19 |
An Update-aware Storage System for Low-locality Update-intensive Workloads, ASPLOS'12 (pdf) | Jau-Yuan |
|
03/26 |
Gecko: Connection-Oblivious Disk Arrays for Cloud Storage, FAST'13 (pdf) | Dachuan |
|
04/02 |
Understanding modern device drivers, ASPLOS'12 (pdf) | Mai |
|
04/09 |
Safe and Automatic Hot Updates for Operating Systems, ASPLOS'13 (pdf) | Mai |
|
04/16 |
PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs, OSDI'12 (pdf) | Dachuan |
|
04/23 |
MemC3: Compact and Concurrent MemCache with Dumber Caching and Smarter Hashing, NSDI'13 (pdf) | Zhezhe |
Autumn, 2012 (Fridays 10-11am, DL698)
|
Date |
Paper |
Coordinator(s) |
|
09/07 |
FIOS: a fair efficient flash io scheduler, FAST'12 (pdf) | Dachuan |
|
09/14 |
Caching less for better performance: Balancing cache size and update cost of ?ash memory cache in hybrid storage systems, FAST'12 (pdf) | Mai |
|
09/21 |
(1) Delta FTL: Improving SSD Lifetime via Exploiting Content Locality, EuroSys'12 (pdf) (2) CAFTL: A content-aware flash translation layer enhancing the lifespan of flash memory based solid state drives, FAST'11 |
Wei |
|
09/28 |
X-Ray: Automating Root-cause Diagnosis of Performance Anomalies in Production Software, OSDI'12(pdf) | Zhezhe |
|
10/05 |
AppInsight: Mobile App Performance Monitoring in the Wild, OSDI'12 (pdf) | Jau-Yuan |
|
10/12 |
SymDrive : Who needs a Device to Test a Driver?, OSDI'12 (pdf) | Dhinesh |
|
10/19 |
Be Conservative : A Little Effort Now Can Save a Big Time Later in Failure Diagnosis, OSDI'12 (pdf) | Dhinesh |
|
10/26 |
What is keeping my phone awake? Characterizing and Detecting No-sleep Energy Bugs in Smartphone Apps, MobiSys'12 (pdf) | Jau-Yuan |
|
11/02 |
Automated Concurrency-Bug Fixing, OSDI'12 (pdf) | Zhezhe |
|
11/09 |
Flat Datacenter Storage, OSDI'12 (pdf) | Mai |
|
11/16 |
Dune: Safe User-level Access to Privileged CPU Features, OSDI'12(pdf) | Dachuan |
Spring, 2012 (Wednesdays 4-5pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
04/11 |
EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors, OSDI'06 (pdf) | Mai Zheng |
|
04/18 |
Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor, SOSP'11 (pdf) | Dachuan Huang |
|
04/25 |
Cells: A Virtual Mobile Smartphone Architecture, SOSP'11 (pdf) | Jau-Yuan Chen |
|
05/02 |
Availability in Globally Distributed Storage Systems, OSDI'10 (pdf) | Mai Zheng |
|
05/09 |
Detecting and surviving data races using complementary schedules, SOSP'11 (pdf) | Zhezhe Chen |
|
05/16 |
Piccolo: Building Fast, Distributed Programs with Partitioned Tables, OSDI'10 (pdf) | Dachuan Huang |
|
05/23 |
Pervasive Detection of Process Races in Deployed Systems, SOSP'11 (pdf) | Jau-Yuan Chen |
|
05/30 |
SPORC: Group Collaboration using Untrusted Cloud Resources, OSDI'10 (pdf) | David Maung |
Winter, 2012 (Fridays 2:30-3:30pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
01/20 |
Fine-Grained Power Modeling for Smartphones Using System Call Tracing, EuroSys'11 (pdf) | Jau-Yuan Chen |
|
01/27 |
mClock: Handling Throughput Variability for Hypervisor IO Scheduling, OSDI'10 (pdf) | Dachuan Huang |
|
02/03 |
Unifying UPC and MPI Runtimes: Experience with MVAPICH, PGAS'10 (pdf) | Xi Qiu |
|
02/10 |
There's an app for that, but it doesn't work. Diagnosing Mobile Applications in the Wild, HotNet'10 (pdf) | |
|
02/17 |
In-situ MapReduce for Log Processing, USENIX'11 (pdf) | Yi Wang |
|
02/24 |
Effective Data-Race Detection for the Kernel, OSDI'10. (pdf) | Shweta Kulkarni |
|
03/02 |
Recon: Verifying File System Consistency at Runtime, FAST'12. (pdf) | Zhezhe Chen |
|
03/09 |
PTask: Operating System Abstractions To Manage GPUs as Computer Devices, SOSP'11. (pdf) | Mai Zheng |
Autumn, 2011 (Fridays 1:30-2:30pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
09/30 |
TaintDroid: An Information Flow Tracking System for Realtime Privacy Monitoring on Smartphones, OSDI'10 (pdf) | Xinyu & |
|
10/07 |
Accountable Virtual Machines, OSDI'10 (pdf) | Abhishek & |
|
10/14 |
PHP Aspis: Using Partial Taint Tracking to Protect Against Injection Attacks, WebApp'11 (pdf) | Tony & Ananth |
|
10/21 |
Fast Crash Recovery in RAMCloud, SOSP'11 (pdf) | Zhezhe & |
|
10/28 |
An Analysis of Linux Scalability to Many Cores, OSDI'10 (pdf) | Dachuan & Ruolin |
|
11/04 |
CloneCloud: Elastic Execution between Mobile Device and Cloud, EuroSys'11 (pdf) | Mai & |
|
11/18 |
Platform-wide Deadlock Immunity for Mobile Phones, HotDep'11 (pdf) | Jau-Yuan & Shuai |
Spring, 2011 (Wednesdays 3:30-5pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
04/06 |
ConSeq: Detecting Concurrency Bugs through Sequential Errors, ASPLOS'11 (pdf) | Mai |
| 04/13 | Dynamo: Amazon's Highly Available Key-value Store, SOSP'07 (pdf) | Xiaonan |
| 04/20 | Understanding Customer Problem Troubleshooting from Storage System Logs, FAST'09 (pdf) | Zhezhe |
| 04/27 | MapReduce Online, NSDI'10 (pdf) | Xinfeng |
| 05/04 |
Fine-Grained Power Modeling for Smartphones Using System Call Tracing, EuroSys'11 (pdf) |
Kaibo |
| 05/11 | FATE and DESTINI: A Framework for Cloud Recovery Testing, NSDI'11 (pdf) | Jau-Yuan |
| 05/18 | Energy Management in Mobile Devices with the Cinder Operating System, EuroSys'11 (pdf) | Jiaqi |
| 05/25 | The Hadoop Distributed File System, MSST'10 (pdf) | Xinyu |
| 06/01 | HeapMD: Identifying Heap-based Bugs using Anomaly Detection, ASPLOS'06 (pdf) | Tony |
Winter, 2011 (Wednesdays 3:30-5pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
01/12 |
PACER: Proportional Detection of Data Races, PLDI'10. (pdf) | Zhezhe |
| 01/19 | Ad Hoc Synchronization Considered Harmful, OSDI'10. (pdf) | Wenbin |
| 01/28 | GRace: A Low-Overhead Mechanism for Detecting Data Races in GPU Programs, PPoPP'11. (pdf) | Mai |
| 02/02 | Effective Data-Race Detection for the Kernel, OSDI'10. (pdf) | Jau-Yuan |
| 02/09 | Efficient System-Enforced Deterministic Parallelism, OSDI'10 (pdf) | Meshal |
| 02/16 | Improving Software Diagnosability via Log Enhancement, ASPLOS'11 (pdf) | Zhe |
| 02/23 | Bypassing Races in Live Applications with Execution Filters, OSDI'10. (pdf) | Xinyu |
| 03/02 | Specifying and Checking Semantic Atomicity for Multithreaded Programs, ASPLOS'11 (pdf) | Tony |
Autumn, 2010 (Fridays 3:30-5:00pm, DL298)
|
Date |
Paper |
Coordinator(s) |
|
10/01 |
Dreadlocks: Efficient Deadlock Detection, SPAA'08. (pdf) | Zhezhe |
| 10/08 | BuBBle: A javascript Engine Level Countermeasure against Heap-Spraying Attacks. (pdf) |
Wenbin Venmugil Sungmin |
| 10/15 | Streamlining GPU Applications On the Fly, ICS'10. (pdf) | Mai |
| 10/22 | A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, SC'10 (pdf) |
Matt Xingyu |
| 10/29 | FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking. (pdf) | Zhezhe |
| 11/05 | VEX: Vetting Browser Extensions For Security Vulnerabilities, USENIX Security'10. (pdf) |
Boxuan Zhizhou |
| 11/12 | Can Software Reliability Outperform Hardware Reliability on High Performance Interconnects? : A Case Study with MPI over InfiniBand, ICS'08. (pdf) |
Jauyuan Anuj Jipeng |
| 11/19 |
OpenMPC: Extended OpenMP Programming and Tuning for GPUs, SC'10. (pdf) |
Mohanish |
| 12/03 | Capsicum: Practical Capabilities for UNIX, USENIX Security'10 (pdf) | Shriram |
Spring, 2010 (Wednesdays 3:00-5:00pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
03/31 |
Respec: Efficient online multiprocessor replay via speculation and external determinism, ASPLOS'10. (pdf) |
Feng Qin |
| 04/07 | SherLog: Error Diagnosis by Connecting Clues from Run-time Logs, ASPLOS'10. (pdf) | Dacong Yan |
| 04/14 | Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction, ASPLOS'10. (pdf) | Yong Wook Kim |
| 04/21 | Shoestring: Probabilistic Soft-error Resilience on the Cheap, ASPLOS'10. (pdf) | Michael Herold |
| 04/28 | Virtualized and Flexible ECC for Main Memory, ASPLOS'10. (pdf) | Nan Deng |
| 05/05 | Execution Synthesis: A Technique for Automated Software Debugging, EuroSys'10. (pdf) | Wenbin Zhang |
| 05/12 | Fingerprinting the Datacenter: Automated Classification of Performance Crises, EuroSys'10. (pdf) | Meshal Almashan |
| 05/19 | Transactional Memory Support for Scalable and Transparent Parallelization of Multiplayer Games, EuroSys'10. (pdf) | Mai Zheng |
| 05/26 | Kivati: Fast Detection and Prevention of Atomicity Violations, EuroSys'10. (pdf) | Zhezhe Chen |
| 06/02 | Defeating Return-Oriented Rootkits With "Return-less" Kernels, EuroSys'10. (pdf) | Adam Champion |
Winter, 2010 (Wednesdays 1:30-3:30pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
01/13 |
SoftBound: Highly Compatible and Complete Spatial Memory Safety for C, PLDI'09. (pdf) |
Guoqing Xu |
|
01/20 |
Difference Engine: Harnessing Memory Redundancy in Virtual Machines, OSDI'08. (pdf) |
YESHWANT SAI MADANAGOPAL |
|
01/27 |
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging, ASPLOS'09. (pdf) |
Dacong Yan |
|
02/03 |
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs, ASPLOS'10. (pdf) |
Wenbin Zhang |
|
02/10 |
Feng Chen's practice talk |
Feng Qin |
|
02/17 |
A Graph Based Approach for MPI Deadlock Detection, ICS'09. (pdf) | Zhezhe Chen |
| 02/24 |
Xiaoning's practice talk |
Feng Qin |
| 03/03 | Return-Oriented Rootkits:Bypassing Kernel Code Integrity Protection Mechanisms, USENIX Security'09. (pdf) | Boxuan Gu |
|
03/10 |
ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach, ASPLOS'10. (pdf) |
Mai Zheng |
Autumn, 2009 (Wednesdays 4-6pm, DL698)
|
Date |
Paper |
Coordinator(s) |
|
09/30 |
PRES: Probabilistic Replay with Execution Sketching on Multiprocessors, SOSP'09. (pdf) |
Feng Qin |
|
10/07 |
Automatically Patching Errors in Deployed Software, SOSP'09. (pdf) |
Qi Gao |
|
10/14 |
Leak Pruning, ASPLOS'09. (pdf) |
Wenbin Zhang |
|
10/21 |
Better I/O Through Byte-Addressable, Persistent Memory, SOSP'09. (pdf) |
Feng Chen |
|
10/28 |
Ksplice: Automatic Rebootless Kernel Updates, EuroSys'09 (pdf) |
Yeshwant Sai Madanagopal |
|
11/04 |
The Multkernel: A New OS Architecture for Scalable Multicore Systems, SOSP'09. (pdf) |
Xiaoning Ding |
|
11/18 |
Detecting Large-Scale System Problem Detection by Mining Console Logs, SOSP'09. (pdf) |
Feng Qin |
|
11/25 |
Cancelled |