 | 2012 |
|---|
| 6 |       | Jianzhou Zhao,
Santosh Nagarakatte,
Milo M. K. Martin,
Steve Zdancewic:
Formalizing the LLVM intermediate representation for verified program transformations.
POPL 2012: 427-440 |
| 2010 |
|---|
| 5 | | Sebastian Burckhardt,
Pravesh Kothari,
Madanlal Musuvathi,
Santosh Nagarakatte:
A randomized scheduler with probabilistic guarantees of finding bugs.
ASPLOS 2010: 167-178 |
| 4 | | Santosh Nagarakatte,
Jianzhou Zhao,
Milo M. K. Martin,
Steve Zdancewic:
CETS: compiler enforced temporal safety for C.
ISMM 2010: 31-40 |
| 3 | | Andrew D. Hilton,
Santosh Nagarakatte,
Amir Roth:
iCFP: Tolerating All-Level Cache Misses in In-Order Processors.
IEEE Micro 30(1): 12-19 (2010) |
| 2009 |
|---|
| 2 | | Andrew D. Hilton,
Santosh Nagarakatte,
Amir Roth:
iCFP: Tolerating all-level cache misses in in-order processors.
HPCA 2009: 431-442 |
| 1 | | Santosh Nagarakatte,
Jianzhou Zhao,
Milo M. K. Martin,
Steve Zdancewic:
SoftBound: highly compatible and complete spatial memory safety for c.
PLDI 2009: 245-258 |
Data released under the ODC-BY 1.0 license — See also our legal information page