Satish Narayanasamy




Contact

CV

I am an Assistant 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.

Teaching

Research


Interests:
Computer Architecture; Software Systems; Parallel Computing; Program Analysis; Software and Hardware Reliability; Domain Specific Computing


[Full publication list]


Selected Publications:

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]
[PLDI'12]
[SOSP'11]
[PLDI'11]
[ASPLOS'11]
[ASPLOS'11, Best Paper Award]
[HPCA'11]
[DATE'11, Best Paper Candidate]

[MICRO'10]
[PLDI'10]
[ASPLOS'10]

[MICRO'09]
[ISCA'09]
[PLDI'09]

[PLDI'07]
[ASPLOS'06]
[ASPLOS'06]
[SIGMETRICS'06]
[ISCA'05, IEEE Micro Top Picks Award]
[ICCD'06, IEEE Micro Top Picks Award]

Current Students and Their Projects

Shaizeen Aga
Gaurav Chadha
Chun-Hung Hsiao
Dongyoon Lee
Sujay Phadke
Abhayendra Singh
Jie Yu
Exascale Systems
Runtime for Dynamic Languages
Optimizing and Exploiting Parallelism in Cloud
Multiprocessor Replay
Heterogeneous Memory
Memory Consistency Models for Concurrent Languages
Testing and Tolerating Concurrency Bugs

Software

Service

Random

nsatish@umich.edu