Travelled to:1 × China
1 × India
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:R.C.Wilson G.Lüttgen ∅ J.T.Mühlberg M.Dodds F.Piessens
Talks about:structur (2) learn (2) graph (2) data (2) represent (1) spectral (1) identifi (1) program (1) pattern (1) identif (1)
Person: David H. White
DBLP: White:David_H=
Contributed to:
2015
2014
2013
20082006Wrote 5 papers:
- SEFM-2015-Muhlberg0DLP #learning #source code #verification
- Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.
- ICPC-2014-White #data type #identification #named
- dsOli: data structure operation location and identification (DHW), pp. 48–52.
- TACAS-2013-WhiteL #data type #evolution #identification #in memory #learning #memory management
- Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory (DHW, GL), pp. 354–369.
- ICPR-2008-WhiteW #generative #graph #modelling
- Parts based generative models for graphs (DHW, RCW), pp. 1–4.
- ICPR-v4-2006-WhiteW #graph
- Mixing spectral representations of graphs (DHW, RCW), pp. 140–144.