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: Wu:Dinghao
Contributed to:
2014
2014
2012
2011
20112004
20042003
200320162017Wrote 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.