William R. Cook

other persons with the same name:

• William R. Cook 0002

	2012
j8		Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook: MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. 22(6): 797-852 (2012)
c52		Bruno C. d. S. Oliveira, William R. Cook: Extensibility for the Masses - Practical Extensibility with Object Algebras. ECOOP 2012: 2-27
c51		Srinivas Nedunuri, Douglas R. Smith, William R. Cook: Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. FM 2012: 308-325
c50		Bruno C. d. S. Oliveira, William R. Cook: Functional programming with structured graphs. ICFP 2012: 77-88
c49		Tijs van der Storm, William R. Cook, Alex Loh: Object Grammars. SLE 2012: 4-23
c48		Srinivas Nedunuri, William R. Cook, Douglas R. Smith: Theory and Techniques for Synthesizing a Family of Graph Algorithms. SYNT 2012: 33-46
	2011
j7		Young-Woo Kwon, Eli Tilevich, William R. Cook: Which middleware platform should you choose for your next remote service? Service Oriented Computing and Applications 5(2): 61-70 (2011)
c47		Amin Shali, William R. Cook: Hybrid partial evaluation. OOPSLA 2011: 375-390
c46		Benjamin Delaware, William R. Cook, Don S. Batory: Product lines of theorems. OOPSLA 2011: 595-608
c45		William R. Cook, Ralf Lämmel: Tutorial on Online Partial Evaluation. DSL 2011: 168-180
i1		Sven Apel, William R. Cook, Krzysztof Czarnecki, Oscar Nierstrasz: Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021). Dagstuhl Reports 1(1): 27-41 (2011)
	2010
c44		Young-Woo Kwon, Eli Tilevich, William R. Cook: An Assessment of Middleware Platforms for Accessing Remote Services. IEEE SCC 2010: 482-489
c43		Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook: EffectiveAdvice: disciplined advice with explicit effects. AOSD 2010: 109-120
c42		William R. Cook: Unifying Remote Data, Remote Procedures, and Web Services. ICOODB 2010: 8
c41		Srinivas Nedunuri, Douglas R. Smith, William R. Cook: A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC 2010: 352-366
c40		William R. Cook: Breaking through to remote data and services. ISEC 2010: 161-162
c39		Srinivas Nedunuri, Douglas R. Smith, William R. Cook: Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods 2010: 97-108
c38		Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook: Semistructured Merge in Revision Control Systems. VaMoS 2010: 13-19
e5		William R. Cook, Siobhán Clarke, Martin C. Rinard (Eds.): Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. ACM 2010, isbn 978-1-4503-0203-6
e4		William R. Cook, Siobhán Clarke, Martin C. Rinard (Eds.): Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. ACM 2010, isbn 978-1-4503-0240-1
	2009
c37		Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett: Implementing Reflective Access Control in SQL. DBSec 2009: 17-32
c36		Jose Falcon, William R. Cook: Gel: A Generic Extensible Language. DSL 2009: 58-77
c35		Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook: Remote Batch Invocation for Compositional Object Services. ECOOP 2009: 595-617
c34		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
c33		Benjamin Delaware, William R. Cook, Don S. Batory: A machine-checked model of safe composition. FOAL 2009: 31-35
c32		David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra: The Orc Programming Language. FMOODS/FORTE 2009: 1-25
c31		Srinivas Nedunuri, William R. Cook: Synthesis of fast programs for maximum segment sum problems. GPCE 2009: 117-126
c30		Eli Tilevich, William R. Cook, Yang Jiao: Explicit Batching for Distributed Objects. ICDCS 2009: 543-552
c29		Srinivas Nedunuri, William R. Cook, Douglas R. Smith: Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods 2009: 171-175
c28		William R. Cook: On understanding data abstraction, revisited. OOPSLA 2009: 557-572
c27		Jorn Bettin, William R. Cook, Tony Clark, Steven Kelly: Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages. OOPSLA Companion 2009: 709-710
c26		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
e3		Sven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran, Oscar Nierstrasz (Eds.): Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009. ACM International Conference Proceeding Series, ACM 2009, isbn 978-1-60558-567-3
	2008
j6		William R. Cook: High-level problems in teaching undergraduate programming languages. SIGPLAN Notices 43(11): 55-58 (2008)
j5		Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra: A timed semantics of Orc. Theor. Comput. Sci. 402(2-3): 234-248 (2008)
c25		Ben Wiedermann, Ali Ibrahim, William R. Cook: Interprocedural query extraction for transparent persistence. OOPSLA 2008: 19-36
p1		William R. Cook, Jayadev Misra: Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms 2008: 139-145
	2007
j4		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)
j3		Jayadev Misra, William R. Cook: Computation Orchestration. Software and System Modeling 6(1): 83-110 (2007)
c24		Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook: Safe composition of product lines. GPCE 2007: 95-104
c23		William R. Cook: AppleScript. HOPL 2007: 1-21
c22		Ben Wiedermann, William R. Cook: Extracting queries by static analysis of transparent persistence. POPL 2007: 199-210
c21		Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
	2006
c20		Sol Swords, William R. Cook: Soundness of the simply typed lambda calculus in ACL2. ACL2 2006: 35-39
c19		David Kitchin, William R. Cook, Jayadev Misra: A Language for Task Orchestration and Its Semantic Properties. CONCUR 2006: 477-491
c18		William R. Cook, Sourabh Patwardhan, Jayadev Misra: Workflow Patterns in Orc. COORDINATION 2006: 82-96
c17		Ali Ibrahim, William R. Cook: Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. ECOOP 2006: 50-73
c16		William R. Cook: Peak Objects. ECOOP 2006: 180-185
c15		William R. Cook, Janel Barfield: Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. ICWS 2006: 419-426
c14		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
c13		Erik Ernst, Klaus Ostermann, William R. Cook: A virtual class calculus. POPL 2006: 270-282
e2		Peri L. Tarr, William R. Cook (Eds.): 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, isbn 1-59593-348-4
e1		Peri L. Tarr, William R. Cook (Eds.): 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, isbn 1-59593-491-X
	2005
c12		Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook: Evaluating Support for Features in Advanced Modularization Technologies. ECOOP 2005: 169-194
c11		William R. Cook, Siddhartha Rai: Safe query objects: statically typed objects as remotely executable queries. ICSE 2005: 97-106
	1994
j2		William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and Its Correctness. Inf. Comput. 114(2): 329-350 (1994)
j1		Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook: Open distributed processing (panel). OOPS Messenger 5(2): 67-71 (1994)
	1993
c10		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
c9		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
c8		William R. Cook: Interfaces and Specifications for the Smalltalk-80 Collection Classes. OOPSLA 1992: 1-15
	1990
c7		Gilad Bracha, William R. Cook: Mixin-based Inheritance. OOPSLA/ECOOP 1990: 303-311
c6		William R. Cook, Walter L. Hill, Peter S. Canning: Inheritance Is Not Subtyping. POPL 1990: 125-135
c5		William R. Cook: Object-Oriented Programming Versus Abstract Data Types. REX Workshop 1990: 151-178
	1989
c4		William R. Cook: A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70
c3		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
c2		William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and its Correctness. OOPSLA 1989: 433-443
c1		Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff: Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA 1989: 457-467

Coauthor Index

Colors in the list of coauthors

Last update Sun May 19 08:04:55 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page