David R. Musser

57 papers A* 5A 3B 3C 3Misc 1Journal 21Unranked 19
YearRankTypeTitle / Venue / Authors
2013 — conf
Structured reasoning about actor systems.
AGERE!@SPLASH
David R. Musser, Carlos A. Varela
2008 J jnl
A Fast Generic Sequence Matching Algorithm
CoRR
David R. Musser, Gor V. Nishanov
2008 Misc conf
Code-carrying theory.
SAC
Aytekin Vargun, David R. Musser
2006 C conf
A Secure Programming Paradigm for Network Virtualization.
BROADNETS
Ana L. Milanova, Sonia Fahmy, David R. Musser, Bülent Yener
2006 — conf
LCSD: library-centric software design.
OOPSLA Companion
Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek
2005 J jnl
Generic Programming and High-Performance Libraries.
Int. J. Parallel Program.
Douglas P. Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp
2004 — conf
Generic Programming and High-Performance Libraries.
IPDPS Next Generation Software Program - NSFNGS - PI Workshop
Jaakko Järvi, Andrew Lumsdaine, Douglas P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp
2003 J jnl
Design patterns for library optimization.
Sci. Program.
Douglas P. Gregor, Sibylle Schupp, David R. Musser
2002 — conf
Complete Traversals as General Iteration Patterns.
Generic Programming
William Klostermeyer, David R. Musser, Arturo J. Sánchez-Ruíz
2002 C conf
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.
ICFEM
David R. Musser, Zhiqing Shao
2002 A conf
Concept-Based Component Libraries and Optimizing Compilers.
IPDPS
Sibylle Schupp, Douglas P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine
2002 J jnl
Semantic and behavioral library transformations.
Inf. Softw. Technol.
Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu
2001 — conf
Base Class Injection.
GCSE
Douglas P. Gregor, Sibylle Schupp, David R. Musser
2001 C conf
Library Transformations.
SCAM
Sibylle Schupp, Douglas P. Gregor, David R. Musser
2001 B conf
User-Extensible Simplification - Type-Based Optimizer Generators.
CC
Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu
2000 — ed.
Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers
Generic Programming
Mehdi Jazayeri, Rüdiger Loos, David R. Musser
1998 J jnl
Complete Traversals and their Implementation Using the Standard Template Library.
CLEI Electron. J.
Eric Gamess, David R. Musser, Arturo J. Sánchez-Ruíz
1998 — conf
Requirement Oriented Programming.
Generic Programming
David R. Musser, Sibylle Schupp, Rüdiger Loos
1998 — conf
Theory and Generality of Complete Traversals.
Generic Programming
David R. Musser, Arturo J. Sánchez-Ruíz
1997 J jnl
Dynamic Verification of C++ Generic Algorithms.
IEEE Trans. Software Eng.
Changqing Wang, David R. Musser
1997 J jnl
Introspective Sorting and Selection Algorithms.
Softw. Pract. Exp.
David R. Musser
1996 B conf
Generic Gram-Schmidt Orthogonalization by Exact Division.
ISSAC
Úlfar Erlingsson, Erich L. Kaltofen, David R. Musser
1996 — book
STL tutorial and reference guide - C++ programming with the standard template library.
David R. Musser, Atul Saini
1994 J jnl
Algorithm-oriented Generic Libraries.
Softw. Pract. Exp.
David R. Musser, Alexander A. Stepanov
1994 J jnl
An Overview of the Tecton Proof System.
Theor. Comput. Sci.
Deepak Kapur, Xumin Nie, David R. Musser
1992 — conf
The Tecton Proof System.
Formal Methods in Databases and Software Engineering
Deepak Kapur, David R. Musser, Xumin Nie
1991 J jnl
Semi-Unification.
Theor. Comput. Sci.
Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman
1991 — conf
The Tecton Proof System.
RTA
Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie
1988 B conf
Generic Programming.
ISSAC
David R. Musser, Alexander A. Stepanov
1988 J jnl
Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure.
J. Symb. Comput.
Deepak Kapur, David R. Musser, Paliath Narendran
1988 — conf
Semi-Unification.
FSTTCS
Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman
1987 — conf
A library of generic algorithms in Ada.
SIGAda
David R. Musser, Alexander A. Stepanov
1987 J jnl
Proof by Consistency.
Artif. Intell.
Deepak Kapur, David R. Musser
1986 A* conf
Inductive Reasoning with Incomplete Specifications (Preliminary Report)
LICS
Deepak Kapur, David R. Musser
1985 J jnl
AIDS to hierarchical specification structuring and reusing theorems in AFFIRM-85.
ACM SIGSOFT Softw. Eng. Notes
David R. Musser
1985 A* conf
Reasoning about three dimensional space.
ICRA
Deepak Kapur, Joseph L. Mundy, David R. Musser, Paliath Narendran
1983 J jnl
A Generalized Class of Polynomials that are Hard to Factor.
SIAM J. Comput.
Erich L. Kaltofen, David R. Musser, B. David Saunders
1983 J jnl
On Proving Uniform Termination and Restricted Termination of Rewriting Systems.
SIAM J. Comput.
John V. Guttag, Deepak Kapur, David R. Musser
1982 A* conf
Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems.
ICALP
John V. Guttag, Deepak Kapur, David R. Musser
1982 — conf
Rewrite Rule Theory and Abstract Data Type Analysis.
EUROCAM
David R. Musser, Deepak Kapur
1981 — conf
A generalized class of polynomials that are hard to factor.
SYMSACC
Erich L. Kaltofen, David R. Musser, B. David Saunders
1981 — conf
Operators and algebraic structures.
FPCA
Deepak Kapur, David R. Musser, Alexander A. Stepanov
1981 — conf
Tecton: A Language for Manipulating Generic Objects.
Program Specification
Deepak Kapur, David R. Musser, Alexander A. Stepanov
1980 J jnl
Abstract Data Type Specification in the AFFIRM System.
IEEE Trans. Software Eng.
David R. Musser
1980 — conf
An Overview of AFFIRM: A Specification and Verification System.
IFIP Congress
Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile
1980 A* conf
On Proving Inductive Properties of Abstract Data Types.
POPL
David R. Musser
1980 A conf
The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.
CADE
Roddy W. Erickson, David R. Musser
1978 J jnl
Abstract Data Types and Software Validation.
Commun. ACM
John V. Guttag, Ellis Horowitz, David R. Musser
1978 J jnl
On the Efficiency of a Polynomial Irreducibility Test.
J. ACM
David R. Musser
1977 J jnl
Analysis of the Pope-Stein Division Algorithm.
Inf. Process. Lett.
George E. Collins, David R. Musser
1977 — conf
Some Extensions to Algebraic Specifications.
Language Design for Reliable Software
John V. Guttag, Ellis Horowitz, David R. Musser
1976 — conf
SIGSAM (Tutorial Session).
ACM Annual Conference
John D. Lipson, Ellis Horowitz, David R. Musser
1976 A* conf
The Design of Data Type Specifications.
ICSE
John V. Guttag, Ellis Horowitz, David R. Musser
1975 J jnl
Multivariate Polynomial Factorization.
J. ACM
David R. Musser
1974 J jnl
SAC-1 solution of problem #7.
SIGSAM Bull.
George E. Collins, David R. Musser, Michael Rothstein
1974 — conf
The application of a symbolic mathematical system to program verification.
ACM Annual Conference (1)
Ralph L. London, David R. Musser
1973 A conf
New directions in teaching the fundamentals of computer science - discrete structures and computational analysis.
SIGCSE
Raymond T. Yeh, Donald I. Good, David R. Musser