Static Analysis to Enforce Safe Value Flow in Embedded Control Systems by Sumant Kowshik, Rosu, G., Sha, L.

Request full text

Co-design based approach to improve robustness in networked control systems by Sumant Kowshik, Girish Baliga, Graham, S., Sha, L.

Request full text

PRECIS: Inferring invariants using program path guided clustering by Sagdeo, Parth, Athavale, Viraj, Kowshik, Sumant, Vasudevan, Shobha

Request full text

Memory safety without garbage collection for embedded applications by Dhurjati, Dinakar, Kowshik, Sumant, Adve, Vikram, Lattner, Chris

Get full text

Prevention of failures due to assumptions made by software components in real-time systems by Tirumala, Ajay, Crenshaw, Tanya, Sha, Lui, Baliga, Girish, Kowshik, Sumant, Robinson, Craig, Witthawaskul, Weerasak

Get full text

SAFECode : Enforcing alias analysis for weakly typed languages by DHURJATI, Dinakar, KOWSHIK, Sumant, ADVE, Vikram

Get full text

Memory safety without runtime checks or garbage collection by DHURJATI, Dinakar, KOWSHIK, Sumant, ADVE, Vikram, LATTNER, Chris

Get full text

Co-Design of Real-Time Communication and Control in a Wireless Networked Control System by Graham, Scott R, Kowshik, Sumant, Baliga, Girish, Sha, Lui, Caccamo, Marco

Request full text