Daniel Spoonhower

Research | Talks | Teaching | Course Work | Contact | Personal

I am a graduate student in the School of Computer Science at Carnegie Mellon University. My advisors are Bob Harper and Guy Blelloch.

Curriculum Vitae

I help maintain a website and a mailing list for the ConCert Reading Group.

Research

My research interests include the design and implementation of programming languages and focus on the application of type theory to program compilation and execution. In particular, I am interested in extending high-level languages to support real-time applications. As part of this work, I have helped to design and build an incremental garbage collector that provides low latency and supports object pinning. This work has led to some interesting observations on the nature of tracing garbage collectors.

• Using Page Residency to Balance Tradeoffs in Tracing Garbage Collection. Daniel Spoonhower, Guy Blelloch, and Robert Harper (Virtual Execution Environments '05)

I've made an initial release of our collector implementation for Rotor. The benchmarks used in this work are also available online.

My work on supporting high-frequency tasks in a high-level language is discussed in the following paper.

• High-level Real-time Programming in Java. David F. Bacon, Perry Cheng, David Grove, Michael Hind, V.T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph Kirsch, Daniel Spoonhower, and Martin T. Vechev (Embedded Software '05)

Talks

The slides from my talk at VEE'05 are available online. This is a presentation of my work on using page residency to improve collector throughput.

I presented a progress report on my memory management work at SPACE 2004. The goal of this work was to understand the impact of language semantics (e.g. object pinning) on the design and implementation of a real-time collector.

Teaching

During the fall of 2004, I was the teaching assistant for 15-814 Type Systems for Programming Languages.

I was the teaching assistant for the fall 2003 instance of 15-312 Foundations of Programming Languages.

Course work

15-721 Database Management Systems (Project: An Implementation of View Updates)
15-745 Optimizing Compilers
15-781 Machine Learning
15-814 Introduction to Type Systems
15-819A3 Specification, Verification and Refinement of Software
15-819A4 Separation Logic
15-819F Type Refinements
15-855 Computational Complexity Theory
80-713 Category Theory
80-820 Categorical Logic

Contact

Office:	5119 Wean Hall
Phone:	(412) 268-3043
Postal:	Department of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891
Email:
Public key:	GPG