Dan Grossman

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. 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

Ph.D. Students and Post-Docs

Current Advisees:

Colin Gordon

coadvised with Michael Ernst

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

James Wilcox

coadvised with Zach Tatlock

Benjamin Wood

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

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

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:

• The PLSE group: programming languages and software engineering
• The Sampa group: hardware and software for improving parallel and concurrent programming
• Older projects in programming languages at UW have not all been moved to the new PLSE webpage. See the older WASP page.

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

The Rest

My Facebook page and "personal" web page

I joined my department longer ago than 26 of 55 (47%) other current faculty members (as of Fall 2013)

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