82
Publications
6.2K
Citations
36
H-Index
1996
Active since
Dan Grossman is an author at University of Washington specializing in computer science, engineering, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationComputer EngineeringSoftware EngineeringComputer ArchitectureSystem Software
Publications per year
1996–2020
82
82
Trevor Jim, J. Greg Morrisett, Dan Grossman et al. · 2002 · 617 citations
Adrian Sampson, Werner Dietl, Emily Fortuna et al. · ACM SIGPLAN Notices · 2011 · 589 citations
Region-based memory management in cyclone
Dan Grossman, Greg Morrisett, Trevor Jim et al. · 2002 · 404 citations
Adrian Sampson, Werner Dietl, Emily Fortuna et al. · 2011 · 382 citations
Mathematical Programming, Power-aware Computing, Engineering +15
Rows per page
1–5 of 82