David W. Stemple Vis

*	1998
48	EE	Graham N. C. Kirby, Ronald Morrison, David W. Stemple: Linguistic Reflection in Java CoRR cs.PL/9810027: (1998)
47		Graham N. C. Kirby, Ronald Morrison, David W. Stemple: Linguistic Reflection in Java. Softw., Pract. Exper. 28(10): 1045-1077 (1998)
	1996
46	EE	Neil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. Theor. Comput. Sci. 155(1): 111-140 (1996)
	1994
45		Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim: Higher-Level Genericity in Object-Oriented Databases. COMAD 1994: 0-
44	EE	David S. Munro, Richard C. H. Connor, Ronald Morrison, S. Scheuerl, David W. Stemple: Concurrent Shadow Paging in the Flask Architecture. POS 1994: 16-42
43	EE	Subhasish Mazumdar, David W. Stemple: Helping the Database Designer Maintain Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 28-32 (1994)
	1993
42		Janice E. Cuny, George Forman, Alfred Hough, Joydip Kundu, Calvin Lin, Lawrence Snyder, David W. Stemple: The Ariadne Debugger: Scalable Application of Event-Based Abstraction. Workshop on Parallel and Distributed Debugging 1993: 85-95
	1992
41	EE	Leonidas Fegaras, Tim Sheard, David W. Stemple: Uniform Traversal Combinators: Definition, Use and Properties. CADE 1992: 148-162
40		Tim Sheard, David W. Stemple: Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17(3): 157-167 (1992)
39	EE	Krithi Ramamritham, J. Eliot B. Moss, John A. Stankovic, David W. Stemple, W. Bruce Croft, Donald F. Towsley: Summary of Database Research Activities at The University of Massachusetts, Amherst. SIGMOD Record 21(1): 139-143 (1992)
	1991
38	EE	Leonidas Fegaras, David W. Stemple: Using Type Transformation in Database Implementation. DBPL 1991: 337-353
37	EE	David W. Stemple, Ronald Morrison, Malcolm P. Atkinson: Type-safe Linguistic Reflection. DBPL 1991: 357-360
36	EE	Neil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. PODS 1991: 37-52
	1990
35		Richard Hull, Ronald Morrison, David W. Stemple: Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon Morgan Kaufmann 1990
34	EE	David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro: Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT 1990: 269-285
33	EE	David W. Stemple, Tim Sheard: A Recursive Base for Database Programming Primitives. East/West Database Workshop 1990: 311-332
32	EE	David W. Stemple: Transactions - Introduction. POS 1990: 291-292
	1989
31	EE	Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris D. Marlin, Ronald Morrison, Renzo Orsini, David W. Stemple: A Framework for Comparing Type Systems for Database Programming Languages. DBPL 1989: 170-178
30	EE	Leonidas Fegaras, Tim Sheard, David W. Stemple: The ADABTPL Type System. DBPL 1989: 207-218
29		Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing: Panel on Transactions in Object-Oriented Systems. OOPSLA 1989: 473-476
28		J. Eliot B. Moss, Ralf Johnson, Alan Snyder, David W. Stemple, David Ungar: Panel: Inheritance: Can We Have Our Cake and Eat it, Too? OOPSLA 1989: 486-490
27	EE	David W. Stemple: Exploiting the Potential of Persistent Object Stores. POS 1989: 45-55
26	EE	Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368 (1989)
25	EE	Richard Hull, Ronald Morrison, David W. Stemple: Current Directions in Database Programming Languages. IEEE Data Eng. Bull. 12(3): 3-4 (1989)
	1988
24	EE	Tim Sheard, David W. Stemple: The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL 1988: 194-201
23		David W. Stemple, Adolfo Socorro, Tim Sheard: Formalizing Objects for Databases using ADABTPL. OODBS 1988: 110-128
22	EE	Subhasish Mazumdar, David W. Stemple, Tim Sheard: Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988: 233-242
	1987
21	EE	David W. Stemple, Tim Sheard: Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22
20	EE	David W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386
19	EE	W. Bruce Croft, David W. Stemple: Supporting Offics Document Architectures with Constrained Types. SIGMOD Conference 1987: 504-509
	1986
18		Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter: The Gutenberg Operating System Kernel. FJCC 1986: 1159-1167
17		Stephen Vinter, Krithi Ramamritham, David W. Stemple: Recoverable Actions in Gutenberg. ICDCS 1986: 242-249
16	EE	David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597
15		David W. Stemple, Stephen Vinter, Krithi Ramamritham: Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers. IEEE Trans. Software Eng. 12(11): 1056-1066 (1986)
14		Krithi Ramamritham, David W. Stemple, David A. Briggs, Stephen Vinter: Privilege Transfer and Revocation in a Port-Based System. IEEE Trans. Software Eng. 12(5): 635-648 (1986)
13	EE	David W. Stemple, Tim Sheard, Ralph E. Bunker: Incorporating theory into database system development. Inf. Process. Manage. 22(4): 317-330 (1986)
	1985
12		Krithi Ramamritham, David W. Stemple, Stephen Vinter: Decentralized Access Control in a Distributed System. ICDCS 1985: 524-531
11		David W. Stemple, Tim Sheard: Database Theory for Supporting Specification-Based Database Systems Development. ICSE 1985: 43-49
10	EE	Tim Sheard, David W. Stemple: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435
9		Elliot B. Koffman, David W. Stemple, Caroline E. Wardle: Recommended Curriculum For CS2, 1984. Commun. ACM 28(8): 815-818 (1985)
	1984
8	EE	David W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257
	1983
7		David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard: Operating System Support for Abstract Data(base) Types. ICOD 1983: 179-195
6		Krithi Ramamritham, David W. Stemple, Stephen Vinter: Primitives for Accessing Protected Objects. Symposium on Reliability in Distributed Software and Database Systems 1983: 114-122
	1982
5	EE	Charles Welty, David W. Stemple: Reply. ACM Trans. Database Syst. 7(2): 317-318 (1982)
	1981
4	EE	Charles Welty, David W. Stemple: Human Factors Comparison of a Procedural and a Nonprocedural Query Language. ACM Trans. Database Syst. 6(4): 626-649 (1981)
	1976
3	EE	David W. Stemple: A Data Base Management Facility for Automatic Generation of Data Base Managers. ACM Trans. Database Syst. 1(1): 79-94 (1976)
	1975
2	EE	David W. Stemple: A Data Base Management Facility for Automatic Generation of Data Base Managers. VLDB 1975: 254
	1974
1		Robert W. Taylor, David W. Stemple: On the Development of Data Base Editions. IFIP Working Conference Data Base Management 1974: 295-304

Coauthor Index

1	Antonio Albano	[31]
2	Malcolm P. Atkinson	[37]
3	Toby Bloom	[29]
4	David A. Briggs	[14]
5	Ralph E. Bunker	[13] [16]
6	Panos K. Chrysanthis	[18]
7	Richard C. H. Connor	[44]
8	W. Bruce Croft	[19] [39]
9	Janice E. Cuny	[42]
10	Alan Dearle	[31]
11	Leonidas Fegaras	[30] [34] [38] [41]
12	George Forman	[42]
13	Giorgio Ghelli	[31]
14	Alfred Hough	[42]
15	Richard Hull	[25] [35]
16	Neil Immerman	[36] [46]
17	Ralf Johnson	[28]
18	Graham N. C. Kirby	[47] [48]
19	Elliot B. Koffman	[9]
20	Joydip Kundu	[42]
21	Calvin Lin	[42]
22	Chris D. Marlin	[31]
23	Subhasish Mazumdar	[20] [22] [43]
24	Ronald Morrison	[25] [31] [35] [37] [44] [47] [48]
25	J. Eliot B. Moss	[28] [39]
26	David S. Munro	[44]
27	Renzo Orsini	[31]
28	Sushant Patnaik	[36] [46]
29	Krithi Ramamritham	[6] [7] [12] [14] [15] [17] [18] [39]
30	S. Scheuerl	[44]
31	Klaus-Dieter Schewe	[45]
32	Tim Sheard	[7] [8] [10] [11] [13] [16] [20] [21] [22] [23] [24] [26] [30] [33] [34] [40] [41]
33	Alan Snyder	[28]
34	Lawrence Snyder (Larry Snyder)	[42]
35	Adolfo Socorro	[23] [34]
36	John A. Stankovic	[39]
37	Robert W. Taylor	[1]
38	Bernhard Thalheim	[45]
39	Donald F. Towsley	[39]
40	David Ungar	[28]
41	Stephen Vinter	[6] [7] [12] [14] [15] [17] [18]
42	Caroline E. Wardle	[9]
43	Charles Welty	[4] [5]
44	Jeannette M. Wing	[29]
45	Stanley B. Zdonik	[29]

Colors in the list of coauthors