Travelled to:1 × Canada
2 × USA
Collaborated with:D.Dhurjati V.S.Adve P.Sagdeo V.Athavale S.Vasudevan C.Lattner
Talks about:without (1) program (1) languag (1) collect (1) cluster (1) analysi (1) safeti (1) runtim (1) memori (1) invari (1)
Person: Sumant Kowshik
DBLP: Kowshik:Sumant
Contributed to:
2011
2006
2003Wrote 3 papers:
- ASE-2011-SagdeoAKV #clustering #invariant #named #using
- PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.
- PLDI-2006-DhurjatiKA #alias #analysis #named
- SAFECode: enforcing alias analysis for weakly typed languages (DD, SK, VSA), pp. 144–157.
- LCTES-2003-DhurjatiKAL #garbage collection #memory management #runtime #safety
- Memory safety without runtime checks or garbage collection (DD, SK, VSA, CL), pp. 69–80.