 | 2011 |
|---|
| 11 |       | Ajay Chander,
Dinakar Dhurjati,
Koushik Sen,
Dachuan Yu:
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.
ICST 2011: 140-149 |
| 2009 |
|---|
| 10 | | Musab AlTurki,
Dinakar Dhurjati,
Dachuan Yu,
Ajay Chander,
Hiroshi Inamura:
Formal Specification and Analysis of Timing Properties in Software Systems.
FASE 2009: 262-277 |
| 2008 |
|---|
| 9 | | Gary Wassermann,
Dachuan Yu,
Ajay Chander,
Dinakar Dhurjati,
Hiroshi Inamura,
Zhendong Su:
Dynamic test input generation for web applications.
ISSTA 2008: 249-260 |
| 2007 |
|---|
| 8 | | John Criswell,
Andrew Lenharth,
Dinakar Dhurjati,
Vikram S. Adve:
Secure virtual architecture: a safe execution environment for commodity operating systems.
SOSP 2007: 351-366 |
| 2006 |
|---|
| 7 | | Dinakar Dhurjati,
Vikram S. Adve:
Efficiently Detecting All Dangling Pointer Uses in Production Servers.
DSN 2006: 269-280 |
| 6 | | Dinakar Dhurjati,
Vikram S. Adve:
Backwards-compatible array bounds checking for C with very low overhead.
ICSE 2006: 162-171 |
| 5 | | Dinakar Dhurjati,
Sumant Kowshik,
Vikram S. Adve:
SAFECode: enforcing alias analysis for weakly typed languages.
PLDI 2006: 144-157 |
| 4 | | Dinakar Dhurjati,
Manuvir Das,
Yue Yang:
Path-Sensitive Dataflow Analysis with Iterative Refinement.
SAS 2006: 425-442 |
| 2005 |
|---|
| 3 | | Dinakar Dhurjati,
Sumant Kowshik,
Vikram S. Adve,
Chris Lattner:
Memory safety without garbage collection for embedded applications.
ACM Trans. Embedded Comput. Syst. 4(1): 73-111 (2005) |
| 2003 |
|---|
| 2 | | Dinakar Dhurjati,
Sumant Kowshik,
Vikram S. Adve,
Chris Lattner:
Memory safety without runtime checks or garbage collection.
LCTES 2003: 69-80 |
| 2002 |
|---|
| 1 | | Sumant Kowshik,
Dinakar Dhurjati,
Vikram S. Adve:
Ensuring code safety without runtime checks for real-time control systems.
CASES 2002: 288-297 |
Data released under the ODC-BY 1.0 license — See also our legal information page