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

Ph.D. Students

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

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:

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