|
|
I am an Assistant Professor in the EECS department at the University of Michigan .
For prospective students: I am looking for motivated students to
work with. If you are interested in my research, please send me an
email with your CV.
Teaching
Research
Interests: Computer
Architecture;
Program Analysis; Dependable Systems; Programmer Productivity
[research
summary] [publication
list]
Selected Recent Publications:
|
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. Replay-based automated data race analysis. Strata for recording shared memory dependencies. PinSEL -a tool for architectural simulation based on BugNet. BugNet - a low cost system-independent program execution recorder. |
[ASPLOS'10] [MICRO'09] [ISCA'09] [PLDI'09] [PLDI'07] [ASPLOS'06] [SIGMETRICS'06] [ISCA'05, IEEE Micro Top Picks Award] |
| Architectural
and OS support for unbounded transactions. |
[ASPLOS'06] |
| Patching
processor
design errors.
Predicting faults based on anomalies in speculative execution. |
[ICCD'06, IEEE Micro
Top Picks Award] [DATE'07] |
Software
-
PinSEL
-- a record 'N' replay tool that
we have developed.
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.
More details
can be found
here.
Random