Dan Grossman - RankMe

102 papers A* 26A 17B 6C 2Journal 29Unranked 20

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