Sumant Kowshik

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

Parth Sagdeo, Viraj Athavale, Sumant Kowshik, Shobha Vasudevan
PRECIS: Inferring invariants using program path guided clustering. ASE (2011)
Sumant Kowshik, Grigore Rosu, Lui Sha
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. DSN (2006)
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve
SAFECode: enforcing alias analysis for weakly typed languages. PLDI (2006)
Sumant Kowshik, Girish Baliga, Scott R. Graham, Lui Sha
Co-Design Based Approach to Improve Robustness in Networked Control Systems. DSN (2005)
Ajay Tirumala, Tanya L. Crenshaw, Lui Sha, Girish Baliga, Sumant Kowshik, Craig L. Robinson, Weerasak Witthawaskul
Prevention of failures due to assumptions made by software components in real-time systems. SIGBED Rev. 2 (3) (2005)
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner
Memory safety without garbage collection for embedded applications. ACM Trans. Embed. Comput. Syst. 4 (1) (2005)
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner
Memory safety without runtime checks or garbage collection. LCTES (2003)
Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve
Ensuring code safety without runtime checks for real-time control systems. CASES (2002)