David R. Musser

Publication Activity (10 Years)

Years Active: 1973-2013
Publications (10 Years): 0

Top Topics

Intelligent Systems

Building Blocks

Top Venues

Publications

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