Daniel Spoonhower

Research | Talks | Service | 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 for the ConCert Reading Group.

Research

My research interests include the design and implementation of programming languages and focus on the application of formal semantics and type theory to program compilation and execution. In particular, I am interested in extending high-level languages to support real-time applications. In recent work with members of the research staff at IBM, I explored an extension to the Java language that supports high-frequency, real-time tasks. This extension became the basis for Expedited Real-Time Threads. An implementation and a set of examples are available on IBM alphaworks.

• Eventrons: A Safe Programming Construct for High-Frequency Hard Real-Time Applications. Daniel Spoonhower, Joshua Auerbach, David F. Bacon, Perry Cheng, and David Grove. (Programming Language Design and Implementation '06)

My work on supporting high-frequency tasks is also 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)

As part of my work on run-time systems, I have also designed and built 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.

Talks

You can download the slides from my talk at PLDI'06. This is a presentation of joint work with my colleagues at IBM Research on implementing real-time systems in Java.

The slides from my talk at VEE'05 are also 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.

Service

I helped organize the 2006 ICFP Programming Contest where I played the role of "Robot Psychologist" and implemented several resource managers. Many people enjoyed the task, and even though the contest is over you can still download the contest materials and test your skills. You can also read about the results in our write-up or in the Post-Gazette.

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