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: Dhurjati:Dinakar
Contributed to:
2011
2009
2008
2007
2006
2006
2006
2003
2016
2016Wrote 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.