2006 |
6 | EE | Sumant Kowshik,
Grigore Rosu,
Lui Sha:
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.
DSN 2006: 23-34 |
5 | EE | Dinakar Dhurjati,
Sumant Kowshik,
Vikram S. Adve:
SAFECode: enforcing alias analysis for weakly typed languages.
PLDI 2006: 144-157 |
2005 |
4 | EE | Sumant Kowshik,
Girish Baliga,
Scott Graham,
Lui Sha:
Co-Design Based Approach to Improve Robustness in Networked Control Systems.
DSN 2005: 454-463 |
3 | EE | 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 | EE | Dinakar Dhurjati,
Sumant Kowshik,
Vikram S. Adve,
Chris Lattner:
Memory safety without runtime checks or garbage collection.
LCTES 2003: 69-80 |
2002 |
1 | EE | Sumant Kowshik,
Dinakar Dhurjati,
Vikram S. Adve:
Ensuring code safety without runtime checks for real-time control systems.
CASES 2002: 288-297 |