Dan Grossman

University of Washington — United States

Computer Science · Physical Sciences

40h-index7.0kcitations190works1.82yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Parallel Computing and Optimization Techniques(79), Logic, programming, and type systems(45), Distributed systems and fault tolerance(42), Security and Verification in Computing(37), Software Engineering Research(36)

Publications190 total

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
Proceedings of the Microarchitecture Security Conference·2026Open Access
SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
arXiv (Cornell University)·2026Open Access
SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
ArXiv.org·2026Open Access
Defending Language Models Against Image-Based Prompt Attacks via User-Provided Specifications
2024· 6 cited
Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations
2024· 3 citedOpen Access
SPML: A DSL for Defending Language Models Against Prompt Attacks
arXiv (Cornell University)·2024· 2 citedOpen Access
The Case for Anticipating Undesirable Consequences of Computing Innovations Early, Often, and Across Computer Science
arXiv (Cornell University)·2023· 1 citedOpen Access
Psychedelic Commercialization: A Wide-Spanning Overview of the Emerging Psychedelic Industry
Psychedelic Medicine·2023· 47 citedOpen Access
Rewrite rule inference using equality saturation
Proceedings of the ACM on Programming Languages·2021Open Access
Reticle: A Virtual Machine for Programming Modern FPGAs
2021Open Access
Reticle: a virtual machine for programming modern FPGAs
2021· 6 citedOpen Access
A Picture is Worth a Billion Bits: Adaptive Visualization of Big Data
2020
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Artifact Digital Object Group·2020
REPLica: REPL instrumentation for Coq analysis
2020· 10 citedOpen Access
Using E-Graphs for CAD Parameter Inference.
arXiv (Cornell University)·2019· 2 citedOpen Access
Ornaments for Proof Reuse in Coq
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2019· 10 citedOpen Access
Sinking Point
2019· 1 cited
Concerto: a framework for combined concrete and abstract interpretation
Proceedings of the ACM on Programming Languages·2019· 12 citedOpen Access
Artifact for Concerto
Artifact Digital Object Group·2018
Functional programming for compiling and decompiling computer-aided design
Proceedings of the ACM on Programming Languages·2018· 44 citedOpen Access
page 1 of 10Next →

Frequent Co-authors

Luís Ceze(13), Adrian Sampson(6), Greg Morrisett(6), Trevor Jim(5), Michael Hicks(5), Joseph Devietti(5), Tom Bergan(4), James Cheney(3), Owen T. Anderson(3), Kristi Morton(3), Magdalena Bałazińska(3), Michael F. Ringenburg(3), Pavel Panchekha(3), Zachary Tatlock(3), Werner Dietl(2), Emily Fortuna(2), Danushen Gnanapragasam(2), Katherine F. Moore(2), Steve Zdancewic(2), Miryung Kim(2)