| 2008 | SAC | Code-carrying theory. | Aytekin Vargun, David R. Musser |
| 2006 | Broadnets | A Secure Programming Paradigm for Network Virtualization. | Ana L. Milanova, Sonia Fahmy, David R. Musser, Blent Yener |
| 2006 | OOPSLA | LCSD: library-centric software design. | Josh Bloch, Jaakko Jrvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek |
| 2002 | ICFEM | Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. | David R. Musser, Zhiqing Shao |
| 2001 | CC | User-Extensible Simplification - Type-Based Optimizer Generators. | Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu |
| 2001 | SCAM | Library Transformations. | Sibylle Schupp, Douglas P. Gregor, David R. Musser |
| 1996 | ISSAC | Generic Gram-Schmidt Orthogonalization by Exact Division. | lfar Erlingsson, Erich L. Kaltofen, David R. Musser |
| 1988 | ISSAC | Generic Programming. | David R. Musser, Alexander A. Stepanov |
| 1986 | LICS | Inductive Reasoning with Incomplete Specifications (Preliminary Report) | Deepak Kapur, David R. Musser |
| 1985 | ICRA | Reasoning about three dimensional space. | Deepak Kapur, Joseph L. Mundy, David R. Musser, Paliath Narendran |
| 1982 | ICALP | Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. | John V. Guttag, Deepak Kapur, David R. Musser |
| 1981 | FM | Tecton: A Language for Manipulating Generic Objects. | Deepak Kapur, David R. Musser, Alexander A. Stepanov |
| 1981 | ISSAC | A generalized class of polynomials that are hard to factor. | Erich L. Kaltofen, David R. Musser, B. David Saunders |
| 1980 | CADE | The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. | Roddy W. Erickson, David R. Musser |
| 1980 | POPL | On Proving Inductive Properties of Abstract Data Types. | David R. Musser |
| 1976 | ICSE | The Design of Data Type Specifications. | John V. Guttag, Ellis Horowitz, David R. Musser |
| 1973 | SIGCSE | New directions in teaching the fundamentals of computer science - discrete structures and computational analysis. | Raymond T. Yeh, Donald I. Good, David R. Musser |