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
1 × China
1 × Germany
1 × Korea
1 × United Kingdom
3 × USA
Collaborated with:
V.S.Adve A.Chander D.Yu S.Kowshik P.M.Phothilimthana A.T.0001 R.Bodík H.Inamura M.Das Y.Yang K.Sen J.Criswell A.Lenharth C.Lattner M.AlTurki G.Wassermann Z.Su
Talks about:
analysi (3) system (3) superoptim (2) generat (2) input (2) check (2) test (2) safe (2) architectur (1) framework (1)

Person: Dinakar Dhurjati

DBLP DBLP: Dhurjati:Dinakar

Contributed to:

ICST 20112011
FASE 20092009
ISSTA 20082008
SOSP 20072007
ICSE 20062006
PLDI 20062006
SAS 20062006
LCTES 20032003
CC 20162016
ASPLOS 20162016

Wrote 10 papers:

ICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
FASE-2009-AlTurkiDYCI #analysis #specification
Formal Specification and Analysis of Timing Properties in Software Systems (MA, DD, DY, AC, HI), pp. 262–277.
ISSTA-2008-WassermannYCDIS #generative #web
Dynamic test input generation for web applications (GW, DY, AC, DD, HI, ZS), pp. 249–260.
SOSP-2007-CriswellLDA #architecture #execution #operating system
Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
ICSE-2006-DhurjatiA #array #bound #c
Backwards-compatible array bounds checking for C with very low overhead (DD, VSA), pp. 162–171.
PLDI-2006-DhurjatiKA #alias #analysis #named
SAFECode: enforcing alias analysis for weakly typed languages (DD, SK, VSA), pp. 144–157.
SAS-2006-DhurjatiDY #analysis #data flow #refinement
Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.
LCTES-2003-DhurjatiKAL #garbage collection #memory management #runtime #safety
Memory safety without runtime checks or garbage collection (DD, SK, VSA, CL), pp. 69–80.
CC-2016-PhothilimthanaT #framework #named
GreenThumb: superoptimizer construction framework (PMP, AT0, RB, DD), pp. 261–262.
ASPLOS-2016-PhothilimthanaT #scalability
Scaling up Superoptimization (PMP, AT0, RB, DD), pp. 297–310.

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.