William R. Cook

	2009
46		Sven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran, Oscar Nierstrasz: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009 ACM 2009
45		Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett: Implementing Reflective Access Control in SQL. DBSec 2009: 17-32
44		Jose Falcon, William R. Cook: Gel: A Generic Extensible Language. DSL 2009: 58-77
43		Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook: Remote Batch Invocation for Compositional Object Services. ECOOP 2009: 595-617
42		Ali Ibrahim, Marc Fisher II, William R. Cook, Eli Tilevich: Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces. ECOWS 2009: 190-199
41		Benjamin Delaware, William R. Cook, Don S. Batory: Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE 2009: 243-252
40		David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra: The Orc Programming Language. FMOODS/FORTE 2009: 1-25
39		Benjamin Delaware, William R. Cook, Don S. Batory: A machine-checked model of safe composition. FOAL 2009: 31-35
38		Srinivas Nedunuri, William R. Cook: Synthesis of fast programs for maximum segment sum problems. GPCE 2009: 117-126
37		Eli Tilevich, William R. Cook, Yang Jiao: Explicit Batching for Distributed Objects. ICDCS 2009: 543-552
36		William R. Cook: On understanding data abstraction, revisited. OOPSLA 2009: 557-572
	2008
35		Ben Wiedermann, Ali Ibrahim, William R. Cook: Interprocedural query extraction for transparent persistence. OOPSLA 2008: 19-36
34		William R. Cook, Jayadev Misra: Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms 2008: 139-145
33		William R. Cook: High-level problems in teaching undergraduate programming languages. SIGPLAN Notices 43(11): 55-58 (2008)
32		Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra: A timed semantics of Orc. Theor. Comput. Sci. 402(2-3): 234-248 (2008)
	2007
31		Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook: Safe composition of product lines. GPCE 2007: 95-104
30		William R. Cook: AppleScript. HOPL 2007: 1-21
29		Ben Wiedermann, William R. Cook: Extracting queries by static analysis of transparent persistence. POPL 2007: 199-210
28		Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
27		William R. Cook, Janel Barfield: Web Service versus Distributed Objects: A Case Study of Performance and Interface Design. Int. J. Web Service Res. 4(3): 49-64 (2007)
26		Jayadev Misra, William R. Cook: Computation Orchestration. Software and System Modeling 6(1): 83-110 (2007)
	2006
25		Peri L. Tarr, William R. Cook: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA ACM 2006
24		Peri L. Tarr, William R. Cook: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA ACM 2006
23		Sol Swords, William R. Cook: Soundness of the simply typed lambda calculus in ACL2. ACL2 2006: 35-39
22		David Kitchin, William R. Cook, Jayadev Misra: A Language for Task Orchestration and Its Semantic Properties. CONCUR 2006: 477-491
21		William R. Cook, Sourabh Patwardhan, Jayadev Misra: Workflow Patterns in Orc. COORDINATION 2006: 82-96
20		William R. Cook: Peak Objects. ECOOP 2006: 180-185
19		Ali Ibrahim, William R. Cook: Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. ECOOP 2006: 50-73
18		William R. Cook, Janel Barfield: Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. ICWS 2006: 419-426
17		William R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig: Objects and databases: state of the union in 2006. OOPSLA Companion 2006: 926-928
16		Erik Ernst, Klaus Ostermann, William R. Cook: A virtual class calculus. POPL 2006: 270-282
	2005
15		Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook: Evaluating Support for Features in Advanced Modularization Technologies. ECOOP 2005: 169-194
14		William R. Cook, Siddhartha Rai: Safe query objects: statically typed objects as remotely executable queries. ICSE 2005: 97-106
	1994
13		William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and Its Correctness Inf. Comput. 114(2): 329-350 (1994)
12		Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook: Open distributed processing (panel). OOPS Messenger 5(2): 67-71 (1994)
	1993
11		Yen-Ping Shan, Thomas A. Cargill, Brad Cox, William R. Cook, Mary E. S. Loomis, Alan Snyder: Panel - Is Multiple Inheritance Essential to OOP? OOPSLA 1993: 360-363
10		Ralph E. Johnson, Kent Beck, Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca Wirfs-Brock: How to Get a Paper Accepted at OOPSLA (Panel). OOPSLA 1993: 429-436
	1992
9		William R. Cook: Interfaces and Specifications for the Smalltalk-80 Collection Classes. OOPSLA 1992: 1-15
	1990
8		Gilad Bracha, William R. Cook: Mixin-based Inheritance. OOPSLA/ECOOP 1990: 303-311
7		William R. Cook, Walter L. Hill, Peter S. Canning: Inheritance Is Not Subtyping. POPL 1990: 125-135
6		William R. Cook: Object-Oriented Programming Versus Abstract Data Types. REX Workshop 1990: 151-178
	1989
5		William R. Cook: A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70
4		Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell: F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280
3		William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and its Correctness. OOPSLA 1989: 433-443
2		Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff: Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA 1989: 457-467
	1981
1		William R. Cook: Internal Diagnostics for Tektronix Graphics Terminals. ITC 1981: 221-225

Coauthor Index

1	Sven Apel	[46]
2	Janel Barfield	[18] [27]
3	Don S. Batory	[15] [31] [39] [41]
4	Kent Beck	[10]
5	Albert Benveniste	[28]
6	Grady Booch	[10]
7	Gilad Bracha	[8]
8	Peter S. Canning	[2] [4] [7]
9	Thomas A. Cargill	[11]
10	Brad Cox	[11]
11	Krzysztof Czarnecki	[46]
12	Benjamin Delaware	[39] [41]
13	Erik Ernst	[16]
14	Jose Falcon	[44]
15	Marc Fisher II	[42]
16	Richard P. Gabriel	[10]
17	Robert Greene	[17]
18	Carl A. Gunter	[45]
19	Stefan Haar	[28]
20	Walter L. Hill	[2] [4] [7]
21	Ali Ibrahim	[19] [35] [42] [43]
22	Claude Jard	[28]
23	Yang Jiao	[37] [43]
24	Ralph E. Johnson	[10]
25	Christian Kästner	[46]
26	David Kitchin	[22] [28] [31] [32] [40]
27	Patrick Linskey	[17]
28	Mary E. S. Loomis	[11]
29	Roberto E. Lopez-Herrejon	[15]
30	Neil Loughran	[46]
31	Erik Meijer	[17]
32	Jayadev Misra	[21] [22] [26] [32] [34] [40]
33	John C. Mitchell	[4]
34	Srinivas Nedunuri	[38]
35	Oscar Nierstrasz	[12] [46]
36	Lars E. Olson	[45]
37	Walter G. Olthoff	[2] [4]
38	Klaus Ostermann	[16]
39	Jens Palsberg	[3] [13]
40	Sourabh Patwardhan	[21]
41	Adrian Quark	[40]
42	Siddhartha Rai	[14]
43	Sidney Rosario	[28]
44	Ken Rugg	[17]
45	Craig Russell	[17]
46	Yen-Ping Shan	[11]
47	Alan Snyder	[11] [12]
48	Sol Swords	[23]
49	Peri L. Tarr	[24] [25]
50	Sahil Thaker	[31]
51	Eli Tilevich	[37] [42] [43]
52	Bob Walker	[17]
53	Ian Wehrman	[32]
54	Ben Wiedermann	[29] [35]
55	Anthony S. Williams	[12]
56	Marianne Winslett	[45]
57	Rebecca Wirfs-Brock	[10]
58	Christof Wittig	[17]

Colors in the list of coauthors