Interests: I work at the intersection of computer architecture, software systems and program analysis. My current interests include concurrent systems, specialized accelerator architectures and systems for mobile and web applications, Big Data for program analysis and MOOC tools, and system reliability.
The Silently Shifting Semicolon
Accelerating Asynchronous Programs
Using Web Corpus for Program Analysis
Race Detection for Event-Driven Mobile Systems
Catnap: Energy Proportional Multiple Network-on-Chip
Parallelizing Data Race Detection
Maple: A Coverage-Driven Testing Tool for Multithreaded Programs
End-to-end Sequential Consistency
Chimera: Hybrid Program Analysis for Determinism
Surviving and detecting data races using complementary schedules
A Case for SC-Preserving Compiler
Efficient Processor Support for a Memory Model with Exceptions
DoublePlay: Parallelizing Sequential Logging and Replay
Offline Symbolic Analysis to Infer Total Store Order
MLP-aware Heterogeneous Main Memory
Tolerating Concurrency Bugs Using Transactions as Lifeguards
DRFx: A Simple and Efficient Memory Model for Concurrent Languages
Efficient Online Multi-Processor Replay on Commodity System
Offline Symbolic Analysis for Multi-Processor Replay.
Interleaving Constrained Shared-Memory Multi-Processor.
Effective Sampling for Lightweight Data Race Detection.
Benign Race Classification
Strata for recording shared memory dependencies.
Shadow Pages for TM Version Management
PinSEL -a tool for architectural simulation based on BugNet.
BugNet - a low cost system-independent program execution recorder.
Patching processor design errors
[ISCA'12, IEEE Top Picks Award]
[ASPLOS'11, Best Paper Award]
[DATE'11, Best Paper Candidate]
[ISCA'05, IEEE Micro Top Picks Award]
[ICCD'06, IEEE Micro Top Picks Award]
Near Memory Computing; Optimistic Concurrency in Cilk
Accelerators for Event-Driven Web Applications
Abstractions for Heterogeneous Accelerators
BigCode; Tools for Event-Driven Mobile Systems
Concurrency tools for Event-Driven Mobile Systems
Memory Consistency Models for Concurrent Languages
Testing and Tolerating Concurrency Bugs
Graduated. Joined Virginia Tech. as Assistant Professor. ProQuest Dissertation Award.
Graduated. Joined Twitter.