Satish Narayanasamy



I am an Associate Professor in the EECS department at the University of Michigan .

For prospective students: If you are interested in my research, please send me an email with your CV.


Software and Downloads


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.

[Full publication list]

Selected Publications:

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]

Graduate Students and Their Projects

Shaizeen Aga
Gaurav Chadha
Lan Gao
Chun-Hung Hsiao
Essam Khan
Dongyoon Lee
Irving Olmedo
Abhayendra Singh
Jie Yu
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
Multiprocessor Replay
Memory Consistency Models for Concurrent Languages
Testing and Tolerating Concurrency Bugs

Graduated. Joined Virginia Tech. as Assistant Professor. ProQuest Dissertation Award.

Graduated. Joined Twitter.