David R. Musser

2008
45	EE	Aytekin Vargun, David R. Musser: Code-carrying theory. SAC 2008: 376-383
44	EE	David R. Musser, Gor V. Nishanov: A Fast Generic Sequence Matching Algorithm CoRR abs/0810.0264: (2008)
2006
43	EE	Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek: LCSD: library-centric software design. OOPSLA Companion 2006: 618
2005
42	EE	Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp: Generic Programming and High-Performance Libraries. International Journal of Parallel Programming 33(2-3): 145-164 (2005)
2004
41	EE	Jaakko Järvi, Andrew Lumsdaine, D. P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp: Generic Programming and High-Performance Libraries. IPDPS Next Generation Software Program - NSFNGS - PI Workshop 2004
2003
40		Douglas Gregor, Sibylle Schupp, David R. Musser: Design patterns for library optimization. Scientific Programming 11(4): 309-320 (2003)
2002
39		William Klostermeyer, David R. Musser, Arturo J. Sánchez-Ruíz: Complete Traversals as General Iteration Patterns. Generic Programming 2002: 187-206
38	EE	David R. Musser, Zhiqing Shao: Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. ICFEM 2002: 132-143
37	EE	Sibylle Schupp, D. P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine: Concept-Based Component Libraries and Optimizing Compilers. IPDPS 2002
36		Sibylle Schupp, Douglas Gregor, David R. Musser, Shin-Ming Liu: Semantic and behavioral library transformations. Information & Software Technology 44(13): 797-810 (2002)
2001
35	EE	Sibylle Schupp, Douglas Gregor, David R. Musser, Shin-Ming Liu: User-Extensible Simplification–Type-Based Optimizer Generators. CC 2001: 86-101
34	EE	Douglas Gregor, Sibylle Schupp, David R. Musser: Base Class Injection. GCSE 2001: 106-117
33	EE	Sibylle Schupp, Douglas Gregor, David R. Musser: Library Transformations. SCAM 2001: 111-123
2000
32		Mehdi Jazayeri, Rüdiger Loos, David R. Musser: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers Springer 2000
1998
31	EE	David R. Musser, Sibylle Schupp, Rüdiger Loos: Requirement Oriented Programming. Generic Programming 1998: 12-24
30	EE	David R. Musser, Arturo J. Sánchez-Ruíz: Theory and Generality of Complete Traversals. Generic Programming 1998: 91-101
29	EE	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)
1997
28	EE	Changqing Wang, David R. Musser: Dynamic Verification of C++ Generic Algorithms. IEEE Trans. Software Eng. 23(5): 314-323 (1997)
27		David R. Musser: Introspective Sorting and Selection Algorithms. Softw., Pract. Exper. 27(8): 983-993 (1997)
1996
26	EE	Úlfar Erlingsson, Erich Kaltofen, David R. Musser: Generic Gram-Schmidt Orthogonalization by Exact Division. ISSAC 1996: 275-282
1994
25		David R. Musser, Alexander A. Stepanov: Algorithm-oriented Generic Libraries. Softw., Pract. Exper. 24(7): 623-642 (1994)
24		Deepak Kapur, Xumin Nie, David R. Musser: An Overview of the Tecton Proof System. Theor. Comput. Sci. 133(2): 307-339 (1994)
1992
23		Deepak Kapur, David R. Musser, Xumin Nie: The Tecton Proof System. Formal Methods in Databases and Software Engineering 1992: 54-79
1991
22		Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie: The Tecton Proof System. RTA 1991: 442-444
21		Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman: Semi-Unification. Theor. Comput. Sci. 81(2): 169-187 (1991)
1988
20		Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman: Semi-Unification. FSTTCS 1988: 435-454
19		David R. Musser, Alexander A. Stepanov: Generic Programming. ISSAC 1988: 13-25
18		Deepak Kapur, David R. Musser, Paliath Narendran: Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure. J. Symb. Comput. 6(1): 19-36 (1988)
1987
17		Deepak Kapur, David R. Musser: Proof by Consistency. Artif. Intell. 31(2): 125-157 (1987)
1986
16		Deepak Kapur, David R. Musser: Inductive Reasoning with Incomplete Specifications (Preliminary Report) LICS 1986: 367-377
1983
15		John V. Guttag, Deepak Kapur, David R. Musser: On Proving Uniform Termination and Restricted Termination of Rewriting Systems. SIAM J. Comput. 12(1): 189-214 (1983)
14		Erich Kaltofen, David R. Musser, B. David Saunders: A Generalized Class of Polynomials that are Hard to Factor. SIAM J. Comput. 12(3): 473-483 (1983)
1982
13		David R. Musser, Deepak Kapur: Rewrite Rule Theory and Abstract Data Type Analysis. EUROCAM 1982: 77-90
12		John V. Guttag, Deepak Kapur, David R. Musser: Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. ICALP 1982: 300-312
1981
11		Deepak Kapur, David R. Musser, Alexander A. Stepanov: Tecton: A Language for Manipulating Generic Objects. Program Specification 1981: 402-414
1980
10		Roddy W. Erickson, David R. Musser: The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. CADE 1980: 220-231
9		Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile: An Overview of AFFIRM: A Specification and Verification System. IFIP Congress 1980: 343-347
8		David R. Musser: On Proving Inductive Properties of Abstract Data Types. POPL 1980: 154-162
7		David R. Musser: Abstract Data Type Specification in the AFFIRM System. IEEE Trans. Software Eng. 6(1): 24-32 (1980)
1978
6		John V. Guttag, Ellis Horowitz, David R. Musser: Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064 (1978)
5	EE	David R. Musser: On the Efficiency of a Polynomial Irreducibility Test. J. ACM 25(2): 271-282 (1978)
1977
4		John V. Guttag, Ellis Horowitz, David R. Musser: Some Extensions to Algebraic Specifications. Language Design for Reliable Software 1977: 63-67
3		George E. Collins, David R. Musser: Analysis of the Pope-Stein Division Algorithm. Inf. Process. Lett. 6(5): 151-155 (1977)
1976
2		John V. Guttag, Ellis Horowitz, David R. Musser: The Design of Data Type Specifications. ICSE 1976: 414-420
1975
1	EE	David R. Musser: Multivariate Polynomial Factorization. J. ACM 22(2): 291-308 (1975)

Coauthor Index

1	Raj Agarwal	[22]
2	D. A. Baker	[9]
3	R. L. Bates	[9]
4	Josh Bloch	[43]
5	George E. Collins	[3]
6	Roddy W. Erickson	[9] [10]
7	Úlfar Erlingsson	[26]
8	Eric Gamess	[29]
9	Susan L. Gerhart	[9]
10	D. P. Gregor	[37] [41]
11	Douglas Gregor	[33] [34] [35] [36] [40] [42]
12	John V. Guttag	[2] [4] [6] [12] [15]
13	Ellis Horowitz	[2] [4] [6]
14	Jaakko Järvi	[41] [42] [43]
15	Mehdi Jazayeri	[32]
16	Erich Kaltofen	[14] [26]
17	Deepak Kapur	[11] [12] [13] [15] [16] [17] [18] [20] [21] [22] [23] [24]
18	William Klostermeyer	[39]
19	Mayuresh Kulkarni	[41] [42]
20	Lie-Quan Lee	[37]
21	Shin-Ming Liu	[35] [36]
22	R. L. London	[9]
23	Rüdiger Loos	[31] [32]
24	Andrew Lumsdaine	[37] [41] [42]
25	Paliath Narendran	[18] [20] [21]
26	Xumin Nie	[22] [23] [24]
27	Gor V. Nishanov	[44]
28	B. Osman	[37]
29	Arturo J. Sánchez-Ruíz	[29] [30] [39]
30	B. David Saunders	[14]
31	Sibylle Schupp	[31] [33] [34] [35] [36] [37] [40] [41] [42] [43]
32	Zhiqing Shao	[38]
33	Jeremy G. Siek	[37] [43]
34	Alexander A. Stepanov	[11] [19] [25]
35	Jonathan Stillman	[20] [21]
36	D. G. Taylor	[9]
37	David H. Thompson	[9]
38	Aytekin Vargun	[45]
39	Changqing Wang	[28]
40	David S. Wile	[9]

Colors in the list of coauthors