Thomas VanDrunen

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Execution Model

Functional Programming

Quantifier Elimination

Top Venues

Publications

Thomas VanDrunen
Functional programming as a discrete mathematics topic. Inroads 8 (2) (2017)
Thomas VanDrunen
The case for teaching functional programming in discrete math. OOPSLA Companion (2011)
Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
Wake up and smell the coffee: evaluation methodology for the 21st century. Commun. ACM 51 (8) (2008)
Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
The DaCapo benchmarks: java benchmarking development and analysis. OOPSLA (2006)
Thomas VanDrunen
Java interfaces in CS 1 textbooks. OOPSLA Companion (2006)
Thomas VanDrunen, Antony L. Hosking
Anticipation-based partial redundancy elimination for static single assignment form. Softw. Pract. Exp. 34 (15) (2004)
Thomas VanDrunen, Antony L. Hosking
Value-Based Partial Redundancy Elimination. CC (2004)