Travelled to:
1 × Australia
1 × Austria
1 × Germany
1 × Spain
2 × USA
Collaborated with:
∅ A.Lumsdaine M.Aref B.t.Cate T.J.Green B.Kimelfeld D.Olteanu E.Pasalic G.Washburn
Talks about:
templat (2) metaprogram (1) metalanguag (1) parsimoni (1) implement (1) tradeoff (1) properti (1) principl (1) nullspac (1) guarante (1)
Person: Todd L. Veldhuizen
DBLP: Veldhuizen:Todd_L=
Facilitated 1 volumes:
Contributed to:
Wrote 6 papers:
- SIGMOD-2015-ArefCGKOPVW #design #implementation
- Design and Implementation of the LogicBlox System (MA, BtC, TJG, BK, DO, EP, TLV, GW), pp. 1371–1382.
- GPCE-2007-Veldhuizen #component #metalanguage
- Parsimony principles for software components and metalanguages (TLV), pp. 115–122.
- PEPM-2006-Veldhuizen #metaprogramming #trade-off
- Tradeoffs in metaprogramming (TLV), pp. 150–159.
- SAS-2002-VeldhuizenL #compilation #optimisation #proving
- Guaranteed Optimization: Proving Nullspace Properties of Compilers (TLV, AL), pp. 263–277.
- GCSE-2000-Veldhuizen #java
- Just When You Thought Your Little Language Was Safe: “Expression Templates” in Java (TLV), pp. 188–202.
- PEPM-1999-Veldhuizen #c++ #partial evaluation
- C++ Templates as Partial Evaluation (TLV), pp. 13–18.