Ensuring code safety without runtime checks for real-time control systems. - Sumant Kowshik; Dinakar Dhurjati; Vikram S. Adve (CASES, 2002)

Memory safety without runtime checks or garbage collection. - Dinakar Dhurjati; Sumant Kowshik; Vikram S. Adve; Chris Lattner (LCTES, 2003)

Co-Design Based Approach to Improve Robustness in Networked Control Systems. - Sumant Kowshik; Girish Baliga; Scott R. Graham; Lui Sha (DSN, 2005)

Prevention of failures due to assumptions made by software components in real-time systems. - Ajay Tirumala; Tanya L. Crenshaw; Lui Sha; Girish Baliga; Sumant Kowshik; Craig L. Robinson; Weerasak Witthawaskul (SIGBED Rev., 2005)

Memory safety without garbage collection for embedded applications. - Dinakar Dhurjati; Sumant Kowshik; Vikram S. Adve; Chris Lattner (ACM Trans. Embed. Comput. Syst., 2005)

Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. - Sumant Kowshik; Grigore Rosu; Lui Sha (DSN, 2006)

SAFECode: enforcing alias analysis for weakly typed languages. - Dinakar Dhurjati; Sumant Kowshik; Vikram S. Adve (PLDI, 2006)

PRECIS: Inferring invariants using program path guided clustering. - Parth Sagdeo; Viraj Athavale; Sumant Kowshik; Shobha Vasudevan (ASE, 2011)