Interests: I work at the intersection of computer architecture, software systems and program analysis. My current interests include customized computing solutions for genomics, concurrency, security, machine learning assisted program analysis, and tools for teaching at scale.
GenAx: A Genome Sequencing Accelerator
Persistency for Synchronization-Free Regions
Optimistic Hybrid Analysis
InvisiMem: Smart Memory Defenses for Memory Bus Side Channel
AsyncClock: Scalable Inference of Asynchronous Event Causality
SC for GPUs
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]
Secure Cloud. Efficient and Programmable Data Parallel Systems.
Optimistic Hybrid Program Analysis for Information Flow.
Accelerators for Event-Driven Web Applications.
Performance models for interactive applications.
BigCode. Tools for Event-Driven Mobile Systems
Memory Consistency Models for Concurrent Languages
Architectures for interactive applications.
Testing and Tolerating Concurrency Bugs
Graduated. Oracle Labs.
Graduated. Mesosphere start-up.
Graduated. Virginia Tech. ProQuest Dissertation Award.