Travelled to:1 × Canada
1 × Spain
3 × USA
Collaborated with:C.Myers R.Borgo M.Wallace C.Runciman M.D.Harrison R.Duke P.M.Wortmann D.A.Carrington I.J.Hayes J.Welsh
Talks about:design (3) visual (2) data (2) structur (1) function (1) abstract (1) program (1) present (1) pipelin (1) multipl (1)
Person: David J. Duke
DBLP: Duke:David_J=
Contributed to:
2010
2009
2008
1994
1993
1990
2013Wrote 7 papers:
- SOFTVIS-2010-MyersD #abstraction #design #runtime
- A map of the heap: revealing design abstractions in runtime structures (CM, DJD), pp. 63–72.
- PADL-2009-DukeBWR #design #domain-specific language #embedded #multi #source code #visualisation
- Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs (DJD, RB, MW, CR), pp. 31–45.
- ICFP-2008-DukeBRW #case study #experience #functional #pipes and filters #visualisation
- Experience report: visualizing data through functional pipelines (DJD, RB, CR, MW), pp. 379–382.
- FME-1994-DukeH #formal method
- A Theory of Presentations (DJD, MDH), pp. 271–290.
- FSE-1993-CarringtonDHW #composition #design #specification
- Deriving Modular Designs from Formal Specifications (DAC, DJD, IJH, JW), pp. 89–98.
- VDME-1990-DukeD #semantics #towards
- Towards a Semantics for Object-Z (DJD, RD), pp. 244–261.
- Haskell-2013-WortmannD #haskell #question #what
- Causality of optimized Haskell: what is burning our cycles? (PMW, DJD), pp. 141–152.