BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hangal:Sudheendra

Contributed to:

CSCW 20122012
ICSE 20092009
HPCA 20062006
DAC 20052005
ICSE 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.