David I. August
Associate Professor of the Department of Computer Science, Princeton University
Associate Chair of the Department of Computer Science, Princeton University
Affiliated with the Department of Electrical Engineering, Princeton University
Ph.D. May 2000, Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign

Office: Computer Science Building Room 209
Email: august@cs.princeton.edu
Phone: (609) 258-2085
Fax: (609) 258-2085
Assistant: Donna O'Leary, (609) 258-1746

Front Page Publication List (with stats) Curriculum Vitae (PDF) The Liberty Research Group
Research
My primary research interests are in synergistic compiler and microarchitecture design.
I lead the Liberty Research Group.
STUDENTS: Before contacting me about joining my group read this.

Selected Recent Publications (See Publication List or Curriculum Vitae (PDF) for full list.)
  • Revisiting the Sequential Programming Model for Multi-Core (IEEE Micro’s "Top Picks" 2008, original work at MICRO 2007)
  • Automatic Instruction-Level Software-Only Recovery Methods (IEEE Micro’s "Top Picks" 2007, original work at DSN 2006)
  • Shape Analysis with Inductive Recursion Synthesis (PLDI 2007)
  • Fault-tolerant Typed Assembly Language (PLDI 2007)
  • Support for High-Frequency Streaming in CMPs (MICRO 2006)
  • Automatic Instruction Scheduler Retargeting by Reverse-Engineering (PLDI 2006)
  • A Framework for Unrestricted Whole-Program Optimization (PLDI 2006)
  • Exploiting Parallelism and Structure to Accelerate the Simulation of Chip Multi-processors (HPCA 2006, related work at DAC 2003)
  • The Liberty Simulation Environment: A Deliberate Approach to High-Level System Modeling (TOCS 2006, related work at MICRO 2002)
  • Automatic Thread Extraction with Decoupled Software Pipelining (MICRO 2005, related work at PACT 2006)
  • Design and Evaluation of Hybrid Fault-Detection Systems (ISCA 2005, related work at CGO 2005 and TACO 2005)
  • Compiler Optimization-Space Exploration (JILP 2005, related work at CGO 2003)

    • Selected Recent Professional Activities (See Curriculum Vitae (PDF) for full list.)
  • Program Committee: PLDI 2008
  • Panel: "Are New Programming Languages Needed to Exploit Manycore Architectures?" at the Microsoft Faculty Summit, July 2007.
  • Panel: "Programming Languages/Models and Compiler Technologies" at the Manycore Computing Workshop, June 2007.
  • Program Committee: IEEE/ACM ISCA 2007
  • Program Chair: IEEE/ACM CGO 2007 (Record submission rate!)
  • General Chair: IEEE/ACM CGO 2006 (Record attendance!)
  • Program Committee: IEEE/ACM MICRO 2006
  • Associate Editor: ACM Transactions on Architecture and Code Optimization

    • Selected Recent Recognition (See Curriculum Vitae (PDF) for full list.)
  • Selection of Revisiting the Sequential Programming Model for Multi-Core for IEEE Micro’s "Top Picks" special issue for papers "most relevant to industry and significant in contribution to the field of computer architecture" in 2007.
  • Best Paper Award for Fault-tolerant Type Assembly Language at the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2007.
  • Selection of Automatic Instruction-Level Software-Only Recovery Methods for IEEE Micro’s "Top Picks" special issue for papers "most relevant to industry and significant in contribution to the field of computer architecture" in 2006.

    • Current Ph.D. Students
  • Bolei Guo
  • Matthew J. Bridges
  • Neil Vachharajani
  • Easwaran Raman
  • Guilherme Ottoni
  • George A. Reis
  • Raman Arun
  • Thomas Jablin
  • Yun Zhang
  • Prakash Prabhu
  • Jialu Huang
  • Hanjun Kim
  • Jack Tzu-Han Hung

    • Alumni
  • Ram Rangan, Ph.D. Thesis: Pipelined Multithreading Transformations and Support Mechanisms, June 2007.
    First Position: Post-Doctoral Researcher at IBM Austin Research Laboratory.
  • David Penry, Ph.D. Thesis: The Acceleration of Structural Microarchitecture Simulation via Scheduling, November 2006.
    First Position: Assistant Professor at Brigham Young University.
  • Spyridon Triantafyllis, Ph.D. Thesis: Eliminating Scope and Selection Restrictions on Compiler Optimization, September 2006.
    First Position: D. E. Shaw.
  • Manish Vachharajani, Ph.D. Thesis: Microarchitecture Modeling for Design-space Exploration, November 2004.
    First Position: Assistant Professor at University of Colorado, Boulder.
  • Jason A. Blome, Master of Engineering Degree, May 2004.
    First Position: Ph.D. candidate at University of Michigan.

    • Teaching
  • Computer Architecture: COS-471A, COS-471B/ELE-375 (Fall 2003, 2004, 2005)
  • Compiling Techniques: COS-320 (Spring 2000, 2001, 2002, 2007)
  • Introduction to Programming Systems: COS-217 (Fall 2006, 2007)
  • General Computer Science: COS-126 (Fall 2002, Spring 2003)
  • Topics in Compilation for Multiprocessors (Spring 2006)
  • Topics in Compiler Construction: COS-598 (Spring 2004)
  • Feedback-Directed Optimization: COS-597 (Fall 2001)
  • Computer Architecture Research Infrastructure: COS-597 (Fall 2000)
  • Synergistic Hardware-Compiler Architecture Design: COS-597 (Fall 1999)