William R. Cook Vis

*	2009
44		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
43	EE	Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett: Implementing Reflective Access Control in SQL. DBSec 2009: 17-32
42	EE	Jose Falcon, William R. Cook: Gel: A Generic Extensible Language. DSL 2009: 58-77
41	EE	Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook: Remote Batch Invocation for Compositional Object Services. ECOOP 2009: 595-617
40	EE	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
39	EE	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra: The Orc Programming Language. FMOODS/FORTE 2009: 1-25
38	EE	Benjamin Delaware, William R. Cook, Don S. Batory: A machine-checked model of safe composition. FOAL 2009: 31-35
37	EE	Eli Tilevich, William R. Cook, Yang Jiao: Explicit Batching for Distributed Objects. ICDCS 2009: 543-552
36	EE	William R. Cook: On understanding data abstraction, revisited. OOPSLA 2009: 557-572
	2008
35	EE	Ben Wiedermann, Ali Ibrahim, William R. Cook: Interprocedural query extraction for transparent persistence. OOPSLA 2008: 19-36
34	EE	William R. Cook, Jayadev Misra: Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms 2008: 139-145
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	EE	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	Sven Apel	[44]
2	Janel Barfield	[18] [27]
3	Don S. Batory	[15] [31] [38] [40]
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	[44]
12	Benjamin Delaware	[38] [40]
13	Erik Ernst	[16]
14	Jose Falcon	[42]
15	Richard P. Gabriel	[10]
16	Robert Greene	[17]
17	Carl A. Gunter	[43]
18	Stefan Haar	[28]
19	Walter L. Hill	[2] [4] [7]
20	Ali Ibrahim	[19] [35] [41]
21	Claude Jard	[28]
22	Yang Jiao	[37] [41]
23	Ralph E. Johnson	[10]
24	Christian Kästner	[44]
25	David Kitchin	[22] [28] [31] [32] [39]
26	Patrick Linskey	[17]
27	Mary E. S. Loomis	[11]
28	Roberto E. Lopez-Herrejon	[15]
29	Neil Loughran	[44]
30	Erik Meijer	[17]
31	Jayadev Misra	[21] [22] [26] [32] [34] [39]
32	John C. Mitchell	[4]
33	Oscar Nierstrasz	[12] [44]
34	Lars E. Olson	[43]
35	Walter G. Olthoff	[2] [4]
36	Klaus Ostermann	[16]
37	Jens Palsberg	[3] [13]
38	Sourabh Patwardhan	[21]
39	Adrian Quark	[39]
40	Siddhartha Rai	[14]
41	Sidney Rosario	[28]
42	Ken Rugg	[17]
43	Craig Russell	[17]
44	Yen-Ping Shan	[11]
45	Alan Snyder	[11] [12]
46	Sol Swords	[23]
47	Peri L. Tarr	[24] [25]
48	Sahil Thaker	[31]
49	Eli Tilevich	[37] [41]
50	Bob Walker	[17]
51	Ian Wehrman	[32]
52	Ben Wiedermann	[29] [35]
53	Anthony S. Williams	[12]
54	Marianne Winslett	[43]
55	Rebecca Wirfs-Brock	[10]
56	Christof Wittig	[17]

Colors in the list of coauthors