Travelled to:
1 × United Kingdom
5 × USA
Collaborated with:
∅ J.Palsberg D.Clifford H.Payer M.Stanton M.Starzinger J.S.Auerbach D.F.Bacon
Talks about:
virgil (2) alloc (2) base (2) microcontrol (1) instrument (1) nonintrus (1) function (1) softwar (1) paramet (1) memento (1)
Person: Ben Titzer
DBLP: Titzer:Ben
Contributed to:
Wrote 6 papers:
- ISMM-2015-CliffordPST #optimisation
- Memento mori: dynamic allocation-site-based optimizations (DC, HP, MS, BT), pp. 105–117.
- ISMM-2014-CliffordPST
- Allocation folding based on dominance (DC, HP, MS, BT), pp. 15–24.
- PLDI-2013-Titzer #parametricity #tuple
- Harmonizing classes, functions, tuples, and type parameters in virgil iii (BT), pp. 85–94.
- PLDI-2007-TitzerABP #automation #reduction #virtual machine
- The ExoVM system for automatic VM and application reduction (BT, JSA, DFB, JP), pp. 352–362.
- OOPSLA-2006-Titzer #named
- Virgil: objects on the head of a pin (BT), pp. 191–208.
- LCTES-2005-TitzerP #precise
- Nonintrusive precision instrumentation of microcontroller software (BT, JP), pp. 59–68.