S. Kowshik

Static analysis for architecture-implementation conformance in robust embedded systems

Lui Sha, Sumant Kowshik, L. Sha, 2006 .

Memory safety without runtime checks or garbage collection

Dinakar Dhurjati, Vikram S. Adve, Chris Lattner, 2003, LCTES '03.

Memory safety without garbage collection for embedded applications

Dinakar Dhurjati, Vikram S. Adve, Chris Lattner, 2005, TECS.

Ensuring code safety without runtime checks for real-time control systems

Dinakar Dhurjati, Vikram S. Adve, Sumant Kowshik, 2002, CASES '02.

PRECIS: Inferring invariants using program path guided clustering

Shobha Vasudevan, Parth Sagdeo, Viraj Athavale, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

SAFECode: enforcing alias analysis for weakly typed languages

Dinakar Dhurjati, Vikram S. Adve, Sumant Kowshik, 2005, PLDI '06.