Dan Grossman
University of Washington
H-index: 44
North America-United States
Top articles of Dan Grossman
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Avoiding instruction-centric microarchitectural timing channels via binary-code transformations | ASPLOS. To appear | Michael Flanders Reshabh K Sharma Alexandra E Michael Dan Grossman David Kohlbrenner | 2024 |
SPML: A DSL for Defending Language Models Against Prompt Attacks | arXiv preprint arXiv:2402.11755 | Reshabh K Sharma Vinayak Gupta Dan Grossman | 2024/2/19 |
A roadmap towards parallel printing for desktop 3d printers | Molly Aubrey Carton Chandrakana Nandi Adam Anderson Haisen Zhao Eva Darulova | 2021 | |
Rewrite rule inference using equality saturation | Proceedings of the ACM on Programming Languages | Chandrakana Nandi Max Willsey Amy Zhu Yisu Remy Wang Brett Saiki | 2021/10/15 |
Reticle: A virtual machine for programming modern FPGAs | Luis Vega Joseph McMahan Adrian Sampson Dan Grossman Luis Ceze | 2021/6/19 | |
Proof repair across type equivalences | Talia Ringer RanDair Porter Nathaniel Yazdani John Leo Dan Grossman | 2021/6/19 | |
A Picture is Worth a Billion Bits: Adaptive Visualization of Big Data | Rastislav Bodik Luis Ceze Alvin Cheung Michael Ernst Dan Grossman | 2020/7/1 | |
Synthesizing structured CAD models with equality saturation and inverse transformations | Chandrakana Nandi Max Willsey Adam Anderson James R Wilcox Eva Darulova | 2020/6/11 | |
REPLica: REPL instrumentation for Coq analysis | Talia Ringer Alex Sanchez-Stern Dan Grossman Sorin Lerner | 2020/1/20 |