Dan Grossman

Associate Professor
Department of Computer Science & Engineering
University of Washington
AC101 Paul G. Allen Center, Box 352350
185 Stevens Way
Seattle, WA 98195-2350

picture of Dan's email address: username djg for UW CSE
206-616-1124
Paul G. Allen Center
Room 574

picture of Dan
I hold the J. Ray Bowen Professorship For Innovation In Engineering Education
See also:

Teaching

I have a free programming-languages course on Coursera

Materials I have packaged for others to use and adapt

Web pages for full courses:

  1. CSE332 Data Abstractions
    1. Sp12
    2. Sp10
  2. CSE341 Programming Languages
    1. Sp13
    2. Wi13
    3. Fa11
    4. Sp08
    5. Wi08
    6. Fa04
    7. Sp04
  3. CSE505 Concepts of Programming Languages
    1. Fa12
    2. Wi12
    3. Fa09
    4. Fa08
    5. Fa07
    6. Fa06
    7. Fa05
    8. Fa03
  4.  
  5. CSE142 Computer Programming I
    1. Sp09
  6. CSE303 Concepts and Tools for Software Development
    1. Sp07
    2. Wi06
    3. Sp05
  7. CSE331 Software Design and Implementation
    1. Fa14
    2. Wi14
  8. CSE373 Data Structures & Algorithms (for non-majors)
    1. Fa13
  9. CSE506 Advanced Topics in Programming Languages
    1. Wi07
  10. CSEP505 Programming Languages
    1. Wi09
    2. Sp06
  11. CSE590dg Language-Based Techniques for Improving C-Level Software Quality
    1. Wi04
  12. Harvard CS152 Programming Langauges
    1. Sp11

CSE590P, a graduate seminar on programming languages, meets each quarter

Students / Post-Docs

Ph.D. Students and Post-Docs

Current Advisees:

James Bornholt
coadvised with Luis Ceze and Emina Torlak
Kristi Morton
coadvised with Magdalena Balazinska
Eric Mullen
coadvised with Zach Tatlock
Daniel Perelman
coadvised with Sumit Gulwani (MSR)
Eric Reed
Adrian Sampson
coadvised with Luis Ceze
John Toman
James Wilcox
coadvised with Zach Tatlock
Bill Zorn
coadvised with Luis Ceze

Current Post-Doc:

Ben Ransford
coadvised with Luis Ceze and Josh Smith

Ph.D. Alumni and Dissertations:

Tom Bergan coadvised with Luis Ceze
Avoiding State-Space Explosion in Multithreaded Programs with Input-Covering Schedules and Symbolic Execution
Joe Devietti coadvised with Luis Ceze
Deterministic Execution for Arbitrary Multithreaded Programs
Laura Effinger-Dean
Interference-Free Regions and Their Application to Compiler Optimization and Dynamic Data-Race Detection
Colin Gordon coadvised with Michael Ernst
Verifying Concurrent Programs by Controlling Alias Interference
Benjamin Lerner
Designing for Extensibility and Planning for Conflict: Experiments in Web-Browser Design
Michael Ringenburg coadvised with Luis Ceze
Dynamic Analyses of Result Quality in Energy-Aware Approximate Programs
Benjamin Wood coadvised with Luis Ceze
Software and Hardware Support for Data-Race Exceptions

Research

My primary research area is programming languages, encompassing theory, implementation, and design. I actively collaborate with experts in computer architecture, software engineering, and large-scale data processing.

For specific work, see publications and presentations

For projects, see these pages, which unfortunately we often struggle to keep updated:

Professional Activities

ACM

  1. 2014–2017
    1. CRA Board
  2. 2013–0000
    1. ACM Education Board
  3. 2011–2013
    1. Computing Curriculum: Computer Science 2013 Steering Committee
  4. 2010–0000
    1. ACM Education Council
  5. 2009–2012
    1. SIGPLAN Executive Committee
  6. 2009–2012
    1. SIGPLAN Programming Langauges Education Board

(Co-)Chair

  1. 2013
    1. PLDI Tutorials
  2. 2009
    1. TRANSACT
  3. 2008
    1. UW/MSR Institute
  4. 2007
    1. PASTE
    2. Oregon Summer School
  5. 2006
    1. Oregon Summer School
  6. 2004
    1. ICFP Poster Session

Program Committee

  1. 2015
    1. ASPLOS
  2. 2014
    1. PLDI
    2. LWMOOC
    3. APPROX
    4. WACAS
  3. 2013
    1. SPLASH-E
  4. 2012
    1. ASPLOS
    2. PLDI
  5. 2011
    1. POPL
    2. VEE
  6. 2010
    1. TLDI
    2. TRANSACT
    3. SPAA
    4. PLDIFIT
  7. 2009
    1. ISMM
    2. OOPSLA
  8. 2008
    1. DAMP
    2. ISMM
    3. ML
  9. 2007
    1. POPL
    2. CC
    3. PEPM
    4. OOPSLA
  10. 2006
    1. TRANSACT
    2. MSPC
  11. 2005
    1. BUGS
  12. 2004
    1. PLDI
    2. PASTE

The Rest

My Facebook page and "personal" web page

I joined my department longer ago than 30 of 56 (54%) other current faculty members (as of Fall 2014)

My academic genealogy:

              me
              |
        Greg Morrisett
        /            \
   Robert Harper   Jeannette Wing
       |               |
  Robert Constable  John Guttag
       |               |
  Stephen Kleene    Jim Horning
       |               |
  Alonzo Church     Jerome Feldman
       |               |
        \            Alan Perlis
         \             |
          \         Philip Franklin
           \         /
         Oswald Veblen     
              |               
          E.H. Moore        
              |
          H.A. Newton
              |
       Michael Chasles
              |
       Simeon Poisson
          /        \
 Joseph Lagrange  Pierre-Simon Laplace
         |               |
  Leonhard Euler   Jean Le Rond d'Alembert
         |
  Johann Bernoulli
         |            
   Jacob Bernoulli  
         |
  Nicolas Malebranche
         |
 Gottfried Wilhelm Leibniz

Last updated: December 2014

Valid CSS! Valid XHTML 1.1