Travelled to:1 × Japan
1 × The Netherlands
1 × United Kingdom
2 × Spain
3 × USA
Collaborated with:J.Hatcliff Robby M.B.Dwyer J.Belt M.Mizuno J.Lee V.P.Ranganath G.Jung P.Chalin D.Hardin A.Childs J.Greenwald P.Shanti G.Singh
Talks about:symbol (4) execut (4) base (4) system (3) verif (3) synthesi (2) synchron (2) properti (2) program (2) environ (2)
Person: Xianghua Deng
DBLP: Deng:Xianghua
Contributed to:
2011
2009
2007
2006
2004
2004
20032002Wrote 8 papers:
- SIGAda-2011-BeltHRCHD #contract #execution #symbolic computation #using
- Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
- ESEC-FSE-2009-BeltRD #analysis #lightweight #optimisation #symbolic computation
- Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
- SEFM-2007-DengRH #algorithm #execution #object-oriented #source code #symbolic computation #towards
- Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs (XD, R, JH), pp. 273–282.
- ASE-2006-DengLR #bound #execution #named #symbolic computation
- Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (XD, JL, R), pp. 157–166.
- FASE-2004-ChildsGRDDHJSS #analysis #component #development #ide #named #synthesis #verification
- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems (AC, JG, VPR, XD, MBD, JH, GJ, PS, GS), pp. 160–164.
- TACAS-2004-DengDHM #aspect-oriented #framework #named
- SyncGen: An Aspect-Oriented Framework for Synchronization (XD, MBD, JH, MM), pp. 158–162.
- ICSE-2003-HatcliffDDJR #analysis #component #development #named #verification
- Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems (JH, XD, MBD, GJ, VPR), pp. 160–173.
- ICSE-2002-DengDHM #concurrent #invariant #source code #specification #synthesis #verification
- Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (XD, MBD, JH, MM), pp. 442–452.