Dan Grossman

According to our database, Dan Grossman authored at least 96 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SPML: A DSL for Defending Language Models Against Prompt Attacks.

Reshabh K. Sharma, Vinayak Gupta, Dan Grossman

CoRR, 2024

Defending Language Models Against Image-Based Prompt Attacks via User-Provided Specifications.

Reshabh K. Sharma, Vinayak Gupta, Dan Grossman

Proceedings of the IEEE Security and Privacy, 2024

Correctly Compiling Proofs About Programs Without Proving Compilers Correct.

Audrey Seo, Christopher Lam, Dan Grossman, Talia Ringer

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations.

Michael Flanders, Reshabh K. Sharma, Alexandra E. Michael, Dan Grossman, David Kohlbrenner

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

The Case for Anticipating Undesirable Consequences of Computing Innovations Early, Often, and Across Computer Science.

Rock Yuren Pang, Dan Grossman, Tadayoshi Kohno, Katharina Reinecke

CoRR, 2023

2021

Rewrite rule inference using equality saturation.

Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock

Proc. ACM Program. Lang., 2021

Reticle: a virtual machine for programming modern FPGAs.

Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Proof repair across type equivalences.

Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Synthesizing structured CAD models with equality saturation and inverse transformations.

Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

REPLica: REPL instrumentation for Coq analysis.

Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Concerto: a framework for combined concrete and abstract interpretation.

John Toman, Dan Grossman

Proc. ACM Program. Lang., 2019

Using E-Graphs for CAD Parameter Inference.

Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

CoRR, 2019

Ornaments for Proof Reuse in Coq.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Functional programming for compiling and decompiling computer-aided design.

Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock

Proc. ACM Program. Lang., 2018

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact).

John Toman, Dan Grossman

Dagstuhl Artifacts Ser., 2018

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates.

John Toman, Dan Grossman

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Adapting proof automation to adapt proofs.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

Œuf: minimizing the Coq extraction TCB.

Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types.

Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson

ACM Trans. Program. Lang. Syst., 2017

Instrumentation bias for dynamic data race detection.

Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman

Proc. ACM Program. Lang., 2017

A solver-aided language for test input generation.

Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran

Proc. ACM Program. Lang., 2017

Taming the Static Analysis Beast.

John Toman, Dan Grossman

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Programming Language Tools and Techniques for 3D Printing.

Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Debugging probabilistic programs.

Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

2016

Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact).

John Toman, Dan Grossman

Dagstuhl Artifacts Ser., 2016

View-Driven Deduplication with Active Learning.

Kristi Morton, Hannaneh Hajishirzi, Magdalena Balazinska, Dan Grossman

CoRR, 2016

Optimizing synthesis with metasketches.

James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Verified peephole optimizations for CompCert.

Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Staccato: A Bug Finder for Dynamic Configuration Updates.

John Toman, Dan Grossman

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems.

Talia Ringer, Dan Grossman, Franziska Roesner

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Toward a Dependability Case Language and Workflow for a Radiation Therapy System.

Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

SPOCs: What, Why, and How.

Janet E. Burge, Armando Fox, Dan Grossman, Gerald Roth, Joe Warren

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Probability type inference for flexible approximate programming.

Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Monitoring and Debugging the Quality of Results in Approximate Programs.

Michael F. Ringenburg, Adrian Sampson, Isaac Ackerman, Luis Ceze, Dan Grossman

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Public Data and Visualizations: How are Many Eyes and Tableau Public Used for Collaborative Analytics?

Kristi Morton, Magdalena Balazinska, Dan Grossman, Robert Kosara, Jock D. Mackinlay

SIGMOD Rec., 2014

Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis Systems.

Kristi Morton, Magdalena Balazinska, Dan Grossman, Jock D. Mackinlay

Proc. VLDB Endow., 2014

Expressing and verifying probabilistic assertions.

Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Test-driven synthesis.

Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Symbolic execution of multithreaded programs from arbitrary program contexts.

Tom Bergan, Dan Grossman, Luis Ceze

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

How programming languages will co-evolve with software engineering: a bright decade ahead.

Emerson R. Murphy-Hill, Dan Grossman

Proceedings of the on Future of Software Engineering, 2014

Low-level detection of language-level data races with LARD.

Benjamin P. Wood, Luis Ceze, Dan Grossman

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

Identifying and Summarizing Systematic Code Changes via Rule Inference.

Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.

IEEE Trans. Software Eng., 2013

Rely-guarantee references for refinement types over aliased mutable data.

Colin S. Gordon, Michael D. Ernst, Dan Grossman

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Input-covering schedules for multithreaded programs.

Tom Bergan, Luis Ceze, Dan Grossman

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Java UI : Effects for Controlling UI Object Access.

Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Report on the SIGPLAN education board and related activities.

Dan Grossman

ACM SIGPLAN Notices, 2012

Static lock capabilities for deadlock freedom.

Colin S. Gordon, Michael D. Ernst, Dan Grossman

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Introducing parallelism and concurrency in the data structures course.

Dan Grossman, Ruth E. Anderson

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Type-directed completion of partial expressions.

Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

IFRit: interference-free regions for dynamic data-race detection.

Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

RADISH: Always-on sound and complete race detection in software and hardware.

Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer

Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012

Detecting conflicts among declarative UI extensions.

Benjamin S. Lerner, Dan Grossman

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011

Data-race exceptions have benefits beyond the memory model.

Benjamin P. Wood, Luis Ceze, Dan Grossman

Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, 2011

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

Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Crunching Large Graphs with Commodity Processors.

Jacob Nelson, Brandon Myers, A. H. Hunter, Preston Briggs, Luis Ceze, Carl Ebeling, Dan Grossman, Simon Kahan, Mark Oskin

Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

RCDC: a relaxed consistency deterministic computer.

Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

ParaTimer: a progress indicator for MapReduce DAGs.

Kristi Morton, Magdalena Balazinska, Dan Grossman

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

Composable specifications for structured shared-memory communication.

Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Supporting dynamic, third-party code customizations in JavaScript using aspects.

Benjamin S. Lerner, Herman Venter, Dan Grossman

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.

Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman

Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

Estimating the progress of MapReduce pipelines.

Kristi Morton, Abram L. Friesen, Magdalena Balazinska, Dan Grossman

Proceedings of the 26th International Conference on Data Engineering, 2010

CoreDet: a compiler and runtime system for deterministic multithreaded execution.

Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

An overview of the Oregon programming languages summer school.

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

ACM SIGPLAN Notices, 2009

Programming Idioms for Transactional Events

Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz, Dan Grossman

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Adding the Community to Channel Surfing: A New Approach to IPTV Channel Change.

Marie-José Montpetit, Herb Calhoun, Henry Holtzman, Dan Grossman

Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009

2008

A theory of platform-dependent low-level software.

Marius Nita, Dan Grossman, Craig Chambers

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

High-level small-step operational semantics for transactions.

Katherine F. Moore, Dan Grossman

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Transactional events for ML.

Laura Effinger-Dean, Matthew Kehrt, Dan Grossman

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts.

Marius Nita, Dan Grossman

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Enforcing isolation and ordering in STM.

Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Searching for type-error messages.

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

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

The transactional memory / garbage collection analogy.

Dan Grossman

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Automatic Inference of Structural Changes for Matching across Program Versions.

Miryung Kim, David Notkin, Dan Grossman

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Quantified types in an imperative language.

Dan Grossman

ACM Trans. Program. Lang. Syst., 2006

Safe manual memory management in Cyclone.

Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim

Sci. Comput. Program., 2006

Seminal: searching for ML type-error messages.

Benjamin S. Lerner, Dan Grossman, Craig Chambers

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

Atomicity via source-to-source translation.

Benjamin Hindman, Dan Grossman

Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006

What do high-level memory models mean for transactions?

Dan Grossman, Jeremy Manson, William W. Pugh

Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006

2005

Types for describing coordinated data structures.

Michael F. Ringenburg, Dan Grossman

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

AtomCaml: first-class atomicity via rollback.

Michael F. Ringenburg, Dan Grossman

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Preventing format-string attacks via automatic and efficient dynamic checking.

Michael F. Ringenburg, Dan Grossman

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Advice for Internet Subnetwork Designers.

Phil Karn, Carsten Bormann, Gorry Fairhurst, Dan Grossman, Reiner Ludwig, Jamshid Mahdavi, Gabriel Montenegro, Joe Touch, Lloyd Wood

RFC, July, 2004

Experience with safe manual memory-management in cyclone.

Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim

Proceedings of the 4th International Symposium on Memory Management, 2004

2003

Safe Programming at the C Level of Abstraction.

Dan Grossman

PhD thesis, 2003

Compiling for template-based run-time code generation.

Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim

J. Funct. Program., 2003

Type-safe multithreading in cyclone.

Dan Grossman

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

2002

New Terminology and Clarifications for Diffserv.

Dan Grossman

RFC, April, 2002

Cyclone: A Safe Dialect of C.

Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Region-Based Memory Management in Cyclone.

Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Existential Types for Imperative Languages.

Dan Grossman

Proceedings of the Programming Languages and Systems, 2002

2000

Syntactic type abstraction.

Dan Grossman, J. Gregory Morrisett, Steve Zdancewic

ACM Trans. Program. Lang. Syst., 2000

Scalable Certification for Typed Assembly Language.

Dan Grossman, J. Gregory Morrisett

Proceedings of the Types in Compilation, Third International Workshop, 2000

1999

Multiprotocol Encapsulation over ATM Adaptation Layer 5.

Dan Grossman, Juha Heinänen

RFC, September, 1999

JDuck: building a software engineering tool in Java as a CS2 project.

Michael W. Godfrey, Dan Grossman

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

Principals in Programming Languages: A Syntactic Proof Technique.

Steve Zdancewic, Dan Grossman, J. Gregory Morrisett

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1995

ATM Signaling Support for IP over ATM.

Maryann P. Maher, FongChing Liaw, Allison Mankin, Eric Hoffman, Dan Grossman, Andrew G. Malis

RFC, February, 1995