William R. Cook

2009
35	EE	Benjamin Delaware, William R. Cook, Don S. Batory: A machine-checked model of safe composition. FOAL 2009: 31-35
2008
34	EE	Ben Wiedermann, Ali Ibrahim, William R. Cook: Interprocedural query extraction for transparent persistence. OOPSLA 2008: 19-36
33	EE	William R. Cook: High-level problems in teaching undergraduate programming languages. SIGPLAN Notices 43(11): 55-58 (2008)
32	EE	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	EE	Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook: Safe composition of product lines. GPCE 2007: 95-104
30	EE	William R. Cook: AppleScript. HOPL 2007: 1-21
29	EE	Ben Wiedermann, William R. Cook: Extracting queries by static analysis of transparent persistence. POPL 2007: 199-210
28	EE	Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
27	EE	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	EE	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	EE	Sol Swords, William R. Cook: Soundness of the simply typed lambda calculus in ACL2. ACL2 2006: 35-39
22	EE	David Kitchin, William R. Cook, Jayadev Misra: A Language for Task Orchestration and Its Semantic Properties. CONCUR 2006: 477-491
21	EE	William R. Cook, Sourabh Patwardhan, Jayadev Misra: Workflow Patterns in Orc. COORDINATION 2006: 82-96
20	EE	William R. Cook: Peak Objects. ECOOP 2006: 180-185
19	EE	Ali Ibrahim, William R. Cook: Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. ECOOP 2006: 50-73
18	EE	William R. Cook, Janel Barfield: Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. ICWS 2006: 419-426
17	EE	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	EE	Erik Ernst, Klaus Ostermann, William R. Cook: A virtual class calculus. POPL 2006: 270-282
2005
15	EE	Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook: Evaluating Support for Features in Advanced Modularization Technologies. ECOOP 2005: 169-194
14	EE	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	EE	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	Janel Barfield	[18] [27]
2	Don S. Batory	[15] [31] [35]
3	Kent Beck	[10]
4	Albert Benveniste	[28]
5	Grady Booch	[10]
6	Gilad Bracha	[8]
7	Peter S. Canning	[2] [4] [7]
8	Thomas A. Cargill	[11]
9	Brad Cox	[11]
10	Benjamin Delaware	[35]
11	Erik Ernst	[16]
12	Richard P. Gabriel	[10]
13	Robert Greene	[17]
14	Stefan Haar	[28]
15	Walter L. Hill	[2] [4] [7]
16	Ali Ibrahim	[19] [34]
17	Claude Jard	[28]
18	Ralph E. Johnson	[10]
19	David Kitchin	[22] [28] [31] [32]
20	Patrick Linskey	[17]
21	Mary E. S. Loomis	[11]
22	Roberto E. Lopez-Herrejon	[15]
23	Erik Meijer	[17]
24	Jayadev Misra	[21] [22] [26] [32]
25	John C. Mitchell	[4]
26	Oscar Nierstrasz	[12]
27	Walter G. Olthoff	[2] [4]
28	Klaus Ostermann	[16]
29	Jens Palsberg	[3] [13]
30	Sourabh Patwardhan	[21]
31	Siddhartha Rai	[14]
32	Sidney Rosario	[28]
33	Ken Rugg	[17]
34	Craig Russell	[17]
35	Yen-Ping Shan	[11]
36	Alan Snyder	[11] [12]
37	Sol Swords	[23]
38	Peri L. Tarr	[24] [25]
39	Sahil Thaker	[31]
40	Bob Walker	[17]
41	Ian Wehrman	[32]
42	Ben Wiedermann	[29] [34]
43	Anthony S. Williams	[12]
44	Rebecca Wirfs-Brock	[10]
45	Christof Wittig	[17]

Colors in the list of coauthors