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 × China
2 × Sweden
5 × USA
Collaborated with:
P.Liu A.W.Appel S.Zhu X.Liu S.Qadeer S.W.0011 J.Ming Y.Jhi Q.Zeng A.Stump G.Tan K.N.Swadi J.Chen H.Fang L.Luo F.Zhang J.Wang G.Xiao X.Wang X.Jia
Talks about:
plagiar (3) detect (3) softwar (2) similar (2) program (2) analysi (2) semant (2) binari (2) applic (2) taint (2)

Person: Dinghao Wu

DBLP DBLP: Wu:Dinghao

Contributed to:

ASE 20142014
FSE 20142014
ISSTA 20122012
ICSE 20112011
PLDI 20112011
PLDI 20042004
VMCAI 20042004
PLDI 20032003
PPDP 20032003
ASE 20162016
ASE 20172017

Wrote 11 papers:

ASE-2014-LiuW #named #programming
PiE: programming in eliza (XL, DW), pp. 695–700.
FSE-2014-LuoMW0Z #comparison #detection #obfuscation #semantics #similarity
Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection (LL, JM, DW, PL, SZ), pp. 389–400.
ISSTA-2012-ZhangJWLZ #algorithm #detection #towards
A first step towards algorithm plagiarism detection (FZ, YcJ, DW, PL, SZ), pp. 111–121.
ICSE-2011-JhiWJZLW #detection
Value-based program characterization and its application to software plagiarism detection (YcJ, XW, XJ, SZ, PL, DW), pp. 756–765.
PLDI-2011-ZengWL #concurrent #data type #monitoring #named #using
Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures (QZ, DW, PL), pp. 367–377.
PLDI-2004-QadeerW #named
KISS: keep it simple and sequential (SQ, DW), pp. 14–24.
VMCAI-2004-TanASW #assembly #semantics
Construction of a Semantic Model for a Typed Assembly Language (GT, AWA, KNS, DW), pp. 30–43.
PLDI-2003-ChenWAF #optimisation
A provably sound TAL for back-end optimization (JC, DW, AWA, HF), pp. 208–219.
PPDP-2003-WuAS #proving
Foundational proof checkers with small witnesses (DW, AWA, AS), pp. 264–274.
ASE-2016-MingWWXL #analysis #named
StraightTaint: decoupled offline symbolic taint analysis (JM, DW, JW, GX, PL), pp. 308–319.
ASE-2017-WangW #analysis #fuzzing #in memory #similarity
In-memory fuzzing for binary code similarity analysis (SW0, DW), pp. 319–330.

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.