Travelled to:1 × Canada
4 × USA
Collaborated with:M.S.Lam C.Manovit A.Nagpal R.R.Joyee N.Chandra S.Narayanan S.Chakravorty
Talks about:automat (3) program (2) infer (2) use (2) countrymen (1) softwar (1) hardwar (1) consist (1) complet (1) chatter (1)
Person: Sudheendra Hangal
DBLP: Hangal:Sudheendra
Contributed to:
2012
2009
2006
20052002Wrote 5 papers:
- CSCW-2012-NagpalHJL #personalisation #social #using #web
- Friends, romans, countrymen: lend me your URLs. using social chatter to personalize web search (AN, SH, RRJ, MSL), pp. 461–470.
- ICSE-2009-HangalL #automation #object-oriented #source code
- Automatic dimension inference and checking for object-oriented programs (SH, MSL), pp. 155–165.
- HPCA-2006-ManovitH #consistency #memory management #verification
- Completely verifying memory consistency of test program executions (CM, SH), pp. 166–175.
- DAC-2005-HangalCNC #automation #design #hardware #invariant #named
- IODINE: a tool to automatically infer dynamic invariants for hardware designs (SH, NC, SN, SC), pp. 775–778.
- ICSE-2002-HangalL #automation #debugging #detection #using
- Tracking down software bugs using automatic anomaly detection (SH, MSL), pp. 291–301.