Sumant Kowshik

According to our database, Sumant Kowshik authored at least 8 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

PRECIS: Inferring invariants using program path guided clustering.

Parth Sagdeo, Viraj Athavale, Sumant Kowshik, Shobha Vasudevan

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2006

SAFECode: enforcing alias analysis for weakly typed languages.

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.

Sumant Kowshik, Grigore Rosu, Lui Sha

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005

Memory safety without garbage collection for embedded applications.

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner

ACM Trans. Embed. Comput. Syst., 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

Co-Design Based Approach to Improve Robustness in Networked Control Systems.

Sumant Kowshik, Girish Baliga, Scott R. Graham, Lui Sha

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2003

Memory safety without runtime checks or garbage collection.

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner

Proceedings of the 2003 Conference on Languages, 2003

2002

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

Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve

Proceedings of the International Conference on Compilers, 2002