Dan Grossman
Orcid: 0009-0005-2111-1900Affiliations:
- University of Washington, Seattle, Washington, USA
According to our database1,
Dan Grossman
authored at least 95 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Defending Language Models Against Image-Based Prompt Attacks via User-Provided Specifications.
Proceedings of the IEEE Security and Privacy, 2024
Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations.
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.
CoRR, 2023
2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
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.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
Proc. ACM Program. Lang., 2018
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact).
Dagstuhl Artifacts Ser., 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
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.
ACM Trans. Program. Lang. Syst., 2017
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017
2016
Dagstuhl Artifacts Ser., 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016
2015
Proceedings of the 1st Summit on Advances in Programming Languages, 2015
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
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?
SIGMOD Rec., 2014
Proc. VLDB Endow., 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
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.
Proceedings of the on Future of Software Engineering, 2014
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014
2013
IEEE Trans. Software Eng., 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013
2012
ACM SIGPLAN Notices, 2012
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012
Proceedings of the 8th Symposium on Dynamic Languages, 2012
2011
Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011
2010
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010
Proceedings of the 26th International Conference on Data Engineering, 2010
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010
2009
ACM SIGPLAN Notices, 2009
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009
Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009
2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
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.
Proceedings of the Compiler Construction, 17th International Conference, 2008
2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
2006
Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006
Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006
Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006
2005
Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005
Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005
2004
Proceedings of the 4th International Symposium on Memory Management, 2004
2003
Safe Programming at the C Level of Abstraction.
PhD thesis, 2003
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003
2002
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002
Proceedings of the Programming Languages and Systems, 2002
2000
Proceedings of the Types in Compilation, Third International Workshop, 2000
1999
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999
1995