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.
Teaching
Software and Downloads
-
Maple tool for testing concurrent programs. For details refer to our OOPSLA 2012 paper. The release also includes concurrency API for Intel's Pin dynamic instrumentation tool, a Pin based implementation of CHESS, and a happens-before data-race detector.
- A collection of concurrency bugs that we used in OOPSLA'12 paper.
- Click here to download SC-preserving version of the LLVM compiler. For details refer to our PLDI 2011 paper.
- PinSEL -- a record-and-replay tool. It implements the BugNet checkpointing/logging scheme using the Pin dynamic instrumentation framework. PinSEL can record and replay any multi-threaded program across different system environments. Currently, it is used as a front-end for application level architectural simulators to avoid emulating the system effects. For more details refer to our SIGMETRICS'06 paper.
- A collection of concurrency bugs that we used in OOPSLA'12 paper.
Research
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.
Selected Publications:
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 Accelerators Memory Consistency Models for Concurrent Languages Testing and Tolerating Concurrency Bugs |
Graduated. Joined Virginia Tech. as Assistant Professor. ProQuest Dissertation Award. Graduated. Joined Twitter. |
Service
-
Program Chair: WODA 2013
- Program Committee: HPCA'15, PLDI'15 (ERC), ASPLOS'14, OSDI'14 (ERC), IEEE Top Picks'14, MICRO '13, PLDI '13, ISCA '12, HPCA '12, '13 and '14, CGO '10, '13 & '14, PACT '11 & '12, PLDI '12 ERC, ASPLOS '11 & '13 ERC, MICRO '12 ERC, HiPEAC '12 & 13, ISPASS '11, ICCD '09, '10, '11 & '12, WoDET'13, MSPC '11 & '12, NPC'11, VLSI '10 & '11, CACS'10, CATARS '09
- Publications Chair: PPoPP 2010
- Program Committee: HPCA'15, PLDI'15 (ERC), ASPLOS'14, OSDI'14 (ERC), IEEE Top Picks'14, MICRO '13, PLDI '13, ISCA '12, HPCA '12, '13 and '14, CGO '10, '13 & '14, PACT '11 & '12, PLDI '12 ERC, ASPLOS '11 & '13 ERC, MICRO '12 ERC, HiPEAC '12 & 13, ISPASS '11, ICCD '09, '10, '11 & '12, WoDET'13, MSPC '11 & '12, NPC'11, VLSI '10 & '11, CACS'10, CATARS '09