Dan Grossman

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 31

Top Topics

Abstract Interpretation

Programming Language

Top Venues

Proc. ACM Program. Lang.

Publications

Reshabh K. Sharma, Vinayak Gupta, Dan Grossman
Defending Language Models Against Image-Based Prompt Attacks via User-Provided Specifications. SP (Workshops) (2024)
Reshabh K. Sharma, Vinayak Gupta, Dan Grossman
SPML: A DSL for Defending Language Models Against Prompt Attacks. CoRR (2024)
Michael Flanders, Reshabh K. Sharma, Alexandra E. Michael, Dan Grossman, David Kohlbrenner
Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations. ASPLOS (2) (2024)
Rock Yuren Pang, Dan Grossman, Tadayoshi Kohno, Katharina Reinecke
The Case for Anticipating Undesirable Consequences of Computing Innovations Early, Often, and Across Computer Science. CoRR (2023)
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze
Reticle: a virtual machine for programming modern FPGAs. PLDI (2021)
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Proof repair across type equivalences. PLDI (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite Rule Inference Using Equality Saturation. CoRR (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite rule inference using equality saturation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Proof Repair Across Type Equivalences. CoRR (2020)
Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner
REPLica: REPL instrumentation for Coq analysis. CPP (2020)
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Synthesizing structured CAD models with equality saturation and inverse transformations. PLDI (2020)
Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Using E-Graphs for CAD Parameter Inference. CoRR (2019)
John Toman, Dan Grossman
Concerto: a framework for combined concrete and abstract interpretation. Proc. ACM Program. Lang. 3 (POPL) (2019)
Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman
Ornaments for Proof Reuse in Coq. ITP (2019)
Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman
Adapting proof automation to adapt proofs. CPP (2018)
John Toman, Dan Grossman
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates. ECOOP (2018)
Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman
Œuf: minimizing the Coq extraction TCB. CPP (2018)
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock
Functional programming for compiling and decompiling computer-aided design. Proc. ACM Program. Lang. 2 (ICFP) (2018)
John Toman, Dan Grossman
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran
A solver-aided language for test input generation. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
John Toman, Dan Grossman
Taming the Static Analysis Beast. SNAPL (2017)
Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman
Instrumentation bias for dynamic data race detection. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley
Debugging probabilistic programs. MAPL@PLDI (2017)
Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock
Programming Language Tools and Techniques for 3D Printing. SNAPL (2017)
John Toman, Dan Grossman
Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze
Optimizing synthesis with metasketches. POPL (2016)
Talia Ringer, Dan Grossman, Franziska Roesner
AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems. CCS (2016)
Kristi Morton, Hannaneh Hajishirzi, Magdalena Balazinska, Dan Grossman
View-Driven Deduplication with Active Learning. CoRR (2016)
John Toman, Dan Grossman
Staccato: A Bug Finder for Dynamic Configuration Updates. ECOOP (2016)
Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman
Verified peephole optimizations for CompCert. PLDI (2016)
Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang
Toward a Dependability Case Language and Workflow for a Radiation Therapy System. SNAPL (2015)
Janet E. Burge, Armando Fox, Dan Grossman, Gerald Roth, Joe Warren
SPOCs: What, Why, and How. SIGCSE (2015)
Michael F. Ringenburg, Adrian Sampson, Isaac Ackerman, Luis Ceze, Dan Grossman
Monitoring and Debugging the Quality of Results in Approximate Programs. ASPLOS (2015)
Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze
Probability type inference for flexible approximate programming. OOPSLA (2015)
Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
Expressing and verifying probabilistic assertions. PLDI (2014)
Kristi Morton, Magdalena Balazinska, Dan Grossman, Jock D. Mackinlay
Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis Systems. Proc. VLDB Endow. 7 (6) (2014)
Tom Bergan, Dan Grossman, Luis Ceze
Symbolic execution of multithreaded programs from arbitrary program contexts. OOPSLA (2014)
Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
Test-driven synthesis. PLDI (2014)
Emerson R. Murphy-Hill, Dan Grossman
How programming languages will co-evolve with software engineering: a bright decade ahead. FOSE (2014)
Benjamin P. Wood, Luis Ceze, Dan Grossman
Low-level detection of language-level data races with LARD. ASPLOS (2014)
Kristi Morton, Magdalena Balazinska, Dan Grossman, Robert Kosara, Jock D. Mackinlay
Public Data and Visualizations: How are Many Eyes and Tableau Public Used for Collaborative Analytics? SIGMOD Rec. 43 (2) (2014)
Colin S. Gordon, Michael D. Ernst, Dan Grossman
Rely-guarantee references for refinement types over aliased mutable data. PLDI (2013)
Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
Java UI : Effects for Controlling UI Object Access. ECOOP (2013)
Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.
Identifying and Summarizing Systematic Code Changes via Rule Inference. IEEE Trans. Software Eng. 39 (1) (2013)
Tom Bergan, Luis Ceze, Dan Grossman
Input-covering schedules for multithreaded programs. OOPSLA (2013)
Dan Grossman
Report on the SIGPLAN education board and related activities. ACM SIGPLAN Notices 47 (4a) (2012)
Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm
IFRit: interference-free regions for dynamic data-race detection. OOPSLA (2012)
Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
RADISH: Always-on sound and complete race detection in software and hardware. ISCA (2012)
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
Type-directed completion of partial expressions. PLDI (2012)
Dan Grossman, Ruth E. Anderson
Introducing parallelism and concurrency in the data structures course. SIGCSE (2012)
Benjamin S. Lerner, Dan Grossman
Detecting conflicts among declarative UI extensions. DLS (2012)
Colin S. Gordon, Michael D. Ernst, Dan Grossman
Static lock capabilities for deadlock freedom. TLDI (2012)
Jacob Nelson, Brandon Myers, A. H. Hunter, Preston Briggs, Luis Ceze, Carl Ebeling, Dan Grossman, Simon Kahan, Mark Oskin
Crunching Large Graphs with Commodity Processors. HotPar (2011)
Benjamin P. Wood, Luis Ceze, Dan Grossman
Data-race exceptions have benefits beyond the memory model. MSPC (2011)
Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman
RCDC: a relaxed consistency deterministic computer. ASPLOS (2011)
Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman
EnerJ: approximate data types for safe and general low-power computation. PLDI (2011)
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman
Composable specifications for structured shared-memory communication. OOPSLA (2010)
Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman
ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory. MICRO (2010)
Benjamin S. Lerner, Herman Venter, Dan Grossman
Supporting dynamic, third-party code customizations in JavaScript using aspects. OOPSLA (2010)
Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman
CoreDet: a compiler and runtime system for deterministic multithreaded execution. ASPLOS (2010)
Kristi Morton, Magdalena Balazinska, Dan Grossman
ParaTimer: a progress indicator for MapReduce DAGs. SIGMOD Conference (2010)
Kristi Morton, Abram L. Friesen, Magdalena Balazinska, Dan Grossman
Estimating the progress of MapReduce pipelines. ICDE (2010)
Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic
An overview of the Oregon programming languages summer school. ACM SIGPLAN Notices 44 (11) (2009)
Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz, Dan Grossman
Programming Idioms for Transactional Events PLACES (2009)
Marie-José Montpetit, Herb Calhoun, Henry Holtzman, Dan Grossman
Adding the Community to Channel Surfing: A New Approach to IPTV Channel Change. CCNC (2009)
Katherine F. Moore, Dan Grossman
High-level small-step operational semantics for transactions. POPL (2008)
Marius Nita, Dan Grossman
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. CC (2008)
Marius Nita, Dan Grossman, Craig Chambers
A theory of platform-dependent low-level software. POPL (2008)
Laura Effinger-Dean, Matthew Kehrt, Dan Grossman
Transactional events for ML. ICFP (2008)
Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
Searching for type-error messages. PLDI (2007)
Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha
Enforcing isolation and ordering in STM. PLDI (2007)
Dan Grossman
The transactional memory / garbage collection analogy. OOPSLA (2007)
Miryung Kim, David Notkin, Dan Grossman
Automatic Inference of Structural Changes for Matching across Program Versions. ICSE (2007)
Dan Grossman
Quantified types in an imperative language. ACM Trans. Program. Lang. Syst. 28 (3) (2006)
Benjamin Hindman, Dan Grossman
Atomicity via source-to-source translation. Memory System Performance and Correctness (2006)
Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
Safe manual memory management in Cyclone. Sci. Comput. Program. 62 (2) (2006)
Dan Grossman, Jeremy Manson, William Pugh
What do high-level memory models mean for transactions? Memory System Performance and Correctness (2006)
Benjamin S. Lerner, Dan Grossman, Craig Chambers
Seminal: searching for ML type-error messages. ML (2006)
Michael F. Ringenburg, Dan Grossman
AtomCaml: first-class atomicity via rollback. ICFP (2005)
Michael F. Ringenburg, Dan Grossman
Types for describing coordinated data structures. TLDI (2005)
Michael F. Ringenburg, Dan Grossman
Preventing format-string attacks via automatic and efficient dynamic checking. CCS (2005)
Phil Karn, Carsten Bormann, Gorry Fairhurst, Dan Grossman, Reiner Ludwig, Jamshid Mahdavi, Gabriel Montenegro, Joe Touch, Lloyd Wood
Advice for Internet Subnetwork Designers. RFC 3819 (2004)
Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
Experience with safe manual memory-management in cyclone. ISMM (2004)
Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
Compiling for template-based run-time code generation. J. Funct. Program. 13 (3) (2003)
Dan Grossman
Type-safe multithreading in cyclone. TLDI (2003)
Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
Region-Based Memory Management in Cyclone. PLDI (2002)
Dan Grossman
Existential Types for Imperative Languages. ESOP (2002)
Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, General Track (2002)
Dan Grossman
New Terminology and Clarifications for Diffserv. RFC 3260 (2002)
Dan Grossman, J. Gregory Morrisett
Scalable Certification for Typed Assembly Language. Types in Compilation (2000)
Dan Grossman, J. Gregory Morrisett, Steve Zdancewic
Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22 (6) (2000)
Michael W. Godfrey, Dan Grossman
JDuck: building a software engineering tool in Java as a CS2 project. SIGCSE (1999)
Dan Grossman, Juha Heinänen
Multiprotocol Encapsulation over ATM Adaptation Layer 5. RFC 2684 (1999)
Steve Zdancewic, Dan Grossman, J. Gregory Morrisett
Principals in Programming Languages: A Syntactic Proof Technique. ICFP (1999)
Maryann P. Maher, FongChing Liaw, Allison Mankin, Eric Hoffman, Dan Grossman, Andrew G. Malis
ATM Signaling Support for IP over ATM. RFC 1755 (1995)