2026 Dan Grossman: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	40	9213	8946	3921	3758	126	7865

Overview

Dan Grossman is affiliated with the University of Washington in the United States. Their research primarily focuses on the field of Computer Science, with contributions spanning subfields such as Information Systems and Management, Artificial Intelligence, Clinical Psychology, Organic Chemistry, and Management Information Systems.

Their work covers a diverse set of main topics, including:

Psychedelics and Drug Studies
Chemical synthesis and alkaloids
Diverse academic research themes
Security and Verification in Computing
Big Data and Business Intelligence
Scientific Computing and Data Management
Ethics and Social Impacts of AI

Dan Grossman has coauthored frequently with several researchers, including:

Chandrakana Nandi
Max Willsey
Adam Anderson
Zachary Tatlock
Jacob S. Aday

The venues in which Dan Grossman has published multiple works include:

arXiv (Cornell University)
Psychedelic Medicine
Artifact Digital Object Group
Proceedings of the ACM on Programming Languages
Zenodo (CERN European Organization for Nuclear Research)

Some of the recent papers authored or coauthored by Dan Grossman include:

Psychedelic Commercialization: A Wide-Spanning Overview of the Emerging Psychedelic Industry, 2023, Psychedelic Medicine
SPML: A DSL for Defending Language Models Against Prompt Attacks, 2024, arXiv (Cornell University)
The Case for Anticipating Undesirable Consequences of Computing Innovations Early, Often, and Across Computer Science, 2023, arXiv (Cornell University)
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations, 2020, Artifact Digital Object Group
Rewrite rule inference using equality saturation, 2021, Proceedings of the ACM on Programming Languages

Best Publications

Cyclone: A Safe Dialect of C

Trevor Jim;J. Greg Morrisett;Dan Grossman;Michael W. Hicks

1024
Citations
EnerJ: approximate data types for safe and general low-power computation

Adrian Sampson;Werner Dietl;Emily Fortuna;Danushen Gnanapragasam

929
Citations
Region-based memory management in cyclone

Dan Grossman;Greg Morrisett;Trevor Jim;Michael Hicks

528
Citations
Learning Bayesian network classifiers by maximizing conditional likelihood

Daniel Grossman;Pedro Domingos

428
Citations
CoreDet: a compiler and runtime system for deterministic multithreaded execution

Tom Bergan;Owen Anderson;Joseph Devietti;Luis Ceze

375
Citations
TALx86: A Realistic Typed Assembly Language∗

Greg Morrisett;Karl Crary;Neal Glew;Dan Grossman

318
Citations
Enforcing isolation and ordering in STM

Tatiana Shpeisman;Vijay Menon;Ali-Reza Adl-Tabatabai;Steven Balensiefer

239
Citations
ParaTimer: a progress indicator for MapReduce DAGs

Kristi Morton;Magdalena Balazinska;Dan Grossman

238
Citations
Type-safe multithreading in cyclone

Dan Grossman

193
Citations
Automatic Inference of Structural Changes for Matching across Program Versions

Miryung Kim;David Notkin;Dan Grossman

189
Citations
Estimating the progress of MapReduce pipelines

Kristi Morton;Abram Friesen;Magdalena Balazinska;Dan Grossman

189
Citations
High-level small-step operational semantics for transactions

Katherine F. Moore;Dan Grossman

150
Citations
AtomCaml: first-class atomicity via rollback

Michael F. Ringenburg;Dan Grossman

134
Citations
Type-directed completion of partial expressions

Daniel Perelman;Sumit Gulwani;Thomas Ball;Dan Grossman

125
Citations
Expressing and verifying probabilistic assertions

Adrian Sampson;Pavel Panchekha;Todd Mytkowicz;Kathryn S. McKinley

125
Citations
IFRit: interference-free regions for dynamic data-race detection

Laura Effinger-Dean;Brandon Lucia;Luis Ceze;Dan Grossman

117
Citations
RCDC: a relaxed consistency deterministic computer

Joseph Devietti;Jacob Nelson;Tom Bergan;Luis Ceze

116
Citations
Searching for type-error messages

Benjamin S. Lerner;Matthew Flower;Dan Grossman;Craig Chambers

114
Citations
Synthesizing structured CAD models with equality saturation and inverse transformations

Chandrakana Nandi;Max Willsey;Adam Anderson;James R. Wilcox

110
Citations
Test-driven synthesis

Daniel Perelman;Sumit Gulwani;Dan Grossman;Peter Provost

106
Citations
Experience with safe manual memory-management in cyclone

Michael Hicks;Greg Morrisett;Dan Grossman;Trevor Jim

96
Citations

Frequent Co-Authors

Luis Ceze University of Washington

Greg Morrisett Cornell University

Michael Hicks University of Maryland, College Park

Michael D. Ernst University of Washington

Magdalena Balazinska University of Washington

James Cheney University of Edinburgh

Steve Zdancewic University of Pennsylvania

Craig Chambers Google (United States)

Jock D. Mackinlay Tableau Software (United States)

Sumit Gulwani Microsoft (United States)

External Links

Personal website of Dan Grossman Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring a degree in Computer Science opens up flexible options for students with different backgrounds. Many learners begin with associates degrees online, which provide foundational skills and a stepping stone to further study or entry-level tech careers.

Students mindful of cost can consider the most affordable online colleges. These institutions deliver quality education at lower tuition, making computer science degrees more accessible without overwhelming debt.

Academic history does not have to be a barrier. There are online colleges that accept low gpa, offering chances for those looking to improve their credentials or restart their educational journey in technology.

Computer Science knowledge also connects to diverse fields. For example, students can combine tech skills with environmental interests by pursuing an environmental science degree, leading to roles that address environmental challenges using data and computational tools.