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
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 DBLP: White:David_H=

Contributed to:

SEFM 20152015
ICPC 20142014
TACAS 20132013
ICPR 20082008
ICPR v4 20062006

Wrote 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.

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.