Dan Grossman

Teaching

I have a free programming-languages course on Coursera

Materials I have packaged for others to use and adapt

Current course: CSE 341: Programming Languages

Web pages for full courses:

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

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

Students

Ph.D. Students

Current Advisees:

James Bornholt: coadvised with Luis Ceze and Emina Torlak
Chandrakana Nandi: coadvised with Zach Tatlock
Talia Ringer
John Toman
Bill Zorn: coadvised with Zach Tatlock

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
Kristi Morton coadvised with Magdalena Balazinska and Hannaneh Hajishirzi: Interactive Data Integration and Entity Resolution for Exploratory Visual Data Analytics
Eric Mullen coadvised with Zach Tatlock: Pushing the Limits of Compiler Verification
Daniel Perelman coadvised with Sumit Gulwani (MSR): Program Synthesis Without Full Specifications for Novel Applications
Michael Ringenburg coadvised with Luis Ceze: Dynamic Analyses of Result Quality in Energy-Aware Approximate Programs
Adrian Sampson coadvised with Luis Ceze: Hardware and Software for Approximate Computing
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 and news, 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. To see older projects, see here or the even older WASP page depending how far back you dare to tread.

Professional Activities

Boards and Such

2014–2020
1. CRA Board
2013–2017
1. ACM Education Board
2011–2013
1. Computing Curriculum: Computer Science 2013 Steering Committee
2010–2017
1. ACM Education Council
2009–2012
1. SIGPLAN Executive Committee
2009–2012
1. SIGPLAN Programming Langauges Education Board

Chair

2018
1. PLDI Program Chair
2016
1. CRA Career Mentoring Workshop Co-Chair
2013
1. PLDI Tutorials Chair
2009
1. TRANSACT Program Chair
2008
1. UW/MSR Institute
2007
1. PASTE Co-Chair
2. Oregon Summer School Co-Chair
2006
1. Oregon Summer School Co-Chair
2004
1. ICFP Poster Session Chair

Program Committee

2017
1. PLDI
2016
1. ICFP
2015
1. ASPLOS
2014
1. PLDI
2. LWMOOC
3. APPROX
4. WACAS
2013
1. SPLASH-E
2012
1. ASPLOS
2. PLDI
2011
1. POPL
2. VEE
2010
1. TLDI
2. TRANSACT
3. SPAA
4. PLDIFIT
2009
1. ISMM
2. OOPSLA
2008
1. DAMP
2. ISMM
3. ML
2007
1. POPL
2. CC
3. PEPM
4. OOPSLA
2006
1. TRANSACT
2. MSPC
2005
1. BUGS
2004
1. PLDI
2. PASTE

The Rest

I use my Facebook page regularly — if I have met you (including students, colleagues, etc.), please feel free to send me a friend request. I have this “personal” page that is many years out of date presently.

I joined UW CSE longer ago than 55 of 78 (70.5%) other current faculty members (as of Fall 2018, including faculty starting January 2019)

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