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 customized computing solutions for genomics, concurrency, security,
machine learning assisted program analysis, and tools for teaching at scale.
Selected Publications:
Graduate Students and Their Projects
|
Shaizeen Aga Subarno Banerjee Gaurav Chadha Hossein Golestani Chun-Hung Hsiao Dongyoon Lee Abhayendra Singh Hanyun Tao Jie Yu |
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 Multiprocessor Replay 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. Graduated. Google. Graduated. 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