Registered user since Sun 12 Jun 2016
Name: Dan Grossman
Bio:
Country: United States
Affiliation: University of Washington
Personal website: http://homes.cs.washington.edu/~djg/
Contributions
Using general profile
- Attending
- Tracks
- PLDI 2020
- PLDI Research Papers
- PLDI Research Artifacts
- PLDI Workshops and Tutorials
- Student Research Competition
- Student Volunteering
- Tutorials
- - Declarative Language Definition with Spoofax
- - Design Space Exploration
- - Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises
- - Programming for Autonomy
- Co-hosted Conferences
- ISMM
- LCTES
- Co-hosted Events
- Ally Skills@PLDI (Cancelled)
- Workshops
- ARRAY (Cancelled)
- BAPL (Cancelled)
- Infer Practitioners
- MAPL
- PLMW@PLDI
- REMS-DeepSpec
- SOAP
- Organization
- Co-hosted Conferences
- ISMM
- LCTES
- Co-hosted Events
- Ally Skills@PLDI
- Workshops
- ARRAY
- BAPL
- Infer Practitioners
- MAPL
- PLMW@PLDI
- REMS-DeepSpec
- SOAP
- Search
- Series