Accelerated BWA-MEM2 - an efficient version of commonly used bioinformatics software for whole genome sequencing. For details refer to our upcoming ISCA 2021 paper.
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.
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.
Research
Interests:
I work at the intersection of computer architecture, software systems
and program analysis. My current focus is systems for genomics and security.
[OOPSLA'12]
[ISCA'12, IEEE Top Picks Award]
[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 Graduate Students and Their Projects
Subarno Banerjee
Tim Dunn
Hariharan Sadasivan
Jonah Rosenblum
Jaya Kotni
Optimistic Hybrid Analysis for Secure Systems
Systems for Long Read Sequencing
Systems for Long Read Sequencing
Hardware Enclaves for Federated Genomic Analysis
Near Data Processing for Efficient and Trusted Systems
Accelerators for Event-Driven Web Applications.
Tools for Event-Driven Mobile Systems
Multiprocessor Replay
Memory Consistency Models for Concurrent Languages
Testing and Tolerating Concurrency Bugs