 | 2011 |
|---|
| 7 |       | Parth Sagdeo,
Viraj Athavale,
Sumant Kowshik,
Shobha Vasudevan:
PRECIS: Inferring invariants using program path guided clustering.
ASE 2011: 532-535 |
| 2006 |
|---|
| 6 | | Sumant Kowshik,
Grigore Rosu,
Lui Sha:
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.
DSN 2006: 23-34 |
| 5 | | Dinakar Dhurjati,
Sumant Kowshik,
Vikram S. Adve:
SAFECode: enforcing alias analysis for weakly typed languages.
PLDI 2006: 144-157 |
| 2005 |
|---|
| 4 | | Sumant Kowshik,
Girish Baliga,
Scott R. Graham,
Lui Sha:
Co-Design Based Approach to Improve Robustness in Networked Control Systems.
DSN 2005: 454-463 |
| 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