BOF on inheritance. - William R. Cook (OOPSLA Addendum, 1987)

A Proposal for Making Eiffel Type-Safe. - William R. Cook (ECOOP, 1989)

F-Bounded Polymorphism for Object-Oriented Programming. - Peter S. Canning; William R. Cook; Walter L. Hill; Walter G. Olthoff; John C. Mitchell (FPCA, 1989)

Interfaces for Strongly-Typed Object-Oriented Programming. - Peter S. Canning; William R. Cook; Walter L. Hill; Walter G. Olthoff (OOPSLA, 1989)

A denotational semantics of inheritance. - William R. Cook (1989)

Mixin-based Inheritance. - Gilad Bracha; William R. Cook (OOPSLA/ECOOP, 1990)

Inheritance Is Not Subtyping. - William R. Cook; Walter L. Hill; Peter S. Canning (POPL, 1990)

Object-Oriented Programming Versus Abstract Data Types. - William R. Cook (REX Workshop, 1990)

Interfaces and Specifications for the Smalltalk-80 Collection Classes. - William R. Cook (OOPSLA, 1992)

How to Get a Paper Accepted at OOPSLA (Panel). - Ralph E. Johnson; Kent L. Beck; Grady Booch; William R. Cook; Richard P. Gabriel; Rebecca Wirfs-Brock (OOPSLA, 1993)

Panel - Is Multiple Inheritance Essential to OOP? - Yen-Ping Shan; Thomas A. Cargill; Brad Cox; William R. Cook; Mary E. S. Loomis; Alan Snyder (OOPSLA, 1993)

Open distributed processing (panel). - Oscar Nierstrasz; Alan Snyder; Anthony S. Williams; William R. Cook (OOPSLA Addendum, 1993)

A Denotational Semantics of Inheritance and Its Correctness - William R. Cook; Jens Palsberg (Inf. Comput., 1994)

Evaluating Support for Features in Advanced Modularization Technologies. - Roberto E. Lopez-Herrejon; Don S. Batory; William R. Cook (ECOOP, 2005)

Safe query objects: statically typed objects as remotely executable queries. - William R. Cook; Siddhartha Rai (ICSE, 2005)

Soundness of the simply typed lambda calculus in ACL2. - Sol Swords; William R. Cook (ACL2, 2006)

A Language for Task Orchestration and Its Semantic Properties. - David Kitchin; William R. Cook; Jayadev Misra (CONCUR, 2006)

Workflow Patterns in Orc. - William R. Cook; Sourabh Patwardhan; Jayadev Misra (COORDINATION, 2006)

Peak Objects. - William R. Cook (ECOOP, 2006)

Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. - Ali Ibrahim; William R. Cook (ECOOP, 2006)

Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. - William R. Cook; Janel Barfield (ICWS, 2006)

Objects and databases: state of the union in 2006. - William R. Cook; Robert Greene; Patrick Linskey; Erik Meijer 001; Ken Rugg; Craig Russell; Bob Walker; Christof Wittig (OOPSLA Companion, 2006)

A virtual class calculus. - Erik Ernst; Klaus Ostermann; William R. Cook (POPL, 2006)

Safe composition of product lines. - Sahil Thaker; Don S. Batory; David Kitchin; William R. Cook (GPCE, 2007)

AppleScript. - William R. Cook (HOPL, 2007)

Extracting queries by static analysis of transparent persistence. - Ben Wiedermann; William R. Cook (POPL, 2007)

Event Structure Semantics of Orc. - Sidney Rosario; David Kitchin; Albert Benveniste; William R. Cook; Stefan Haar; Claude Jard (WS-FM, 2007)

Web Service versus Distributed Objects: A Case Study of Performance and Interface Design. - William R. Cook; Janel Barfield (Int. J. Web Serv. Res., 2007)

Computation Orchestration. - Jayadev Misra; William R. Cook (Softw. Syst. Model., 2007)

Interprocedural query extraction for transparent persistence. - Ben Wiedermann; Ali Ibrahim; William R. Cook (OOPSLA, 2008)

High-level problems in teaching undergraduate programming languages. - William R. Cook (ACM SIGPLAN Notices, 2008)

A timed semantics of Orc. - Ian Wehrman; David Kitchin; William R. Cook; Jayadev Misra (Theor. Comput. Sci., 2008)

Structured Interacting Computations. - William R. Cook; Jayadev Misra (Software-Intensive Systems and New Computing Paradigms, 2008)

Implementing Reflective Access Control in SQL. - Lars E. Olson 001; Carl A. Gunter; William R. Cook; Marianne Winslett (DBSec, 2009)

Gel: A Generic Extensible Language. - Jose Falcon; William R. Cook (DSL, 2009)

Remote Batch Invocation for Compositional Object Services. - Ali Ibrahim; Yang Jiao; Eli Tilevich; William R. Cook (ECOOP, 2009)

Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces. - Ali Ibrahim; Marc Fisher II; William R. Cook; Eli Tilevich (ECOWS, 2009)

A machine-checked model of safe composition. - Benjamin Delaware; William R. Cook; Don S. Batory (FOAL, 2009)

The Orc Programming Language. - David Kitchin; Adrian Quark; William R. Cook; Jayadev Misra (FMOODS/FORTE, 2009)

Synthesis of fast programs for maximum segment sum problems. - Srinivas Nedunuri; William R. Cook (GPCE, 2009)

Explicit Batching for Distributed Objects. - Eli Tilevich; William R. Cook; Yang Jiao (ICDCS, 2009)

Tactical Synthesis of Efficient Global Search Algorithms. - Srinivas Nedunuri; William R. Cook; Douglas R. Smith (NASA Formal Methods, 2009)

Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages. - Jorn Bettin; William R. Cook; Tony Clark 001; Steven Kelly 001 (OOPSLA Companion, 2009)

On understanding data abstraction, revisited. - William R. Cook (OOPSLA, 2009)

Fitting the pieces together: a machine-checked model of safe composition. - Benjamin Delaware; William R. Cook; Don S. Batory (ESEC/SIGSOFT FSE, 2009)

An Assessment of Middleware Platforms for Accessing Remote Services. - Young-Woo Kwon 001; Eli Tilevich; William R. Cook (IEEE SCC, 2010)

EffectiveAdvice: disciplined advice with explicit effects. - Bruno C. d. S. Oliveira; Tom Schrijvers; William R. Cook (AOSD, 2010)

Unifying Remote Data, Remote Procedures, and Web Services. - William R. Cook (ICOODB, 2010)

A Class of Greedy Algorithms and Its Relation to Greedoids. - Srinivas Nedunuri; Douglas R. Smith; William R. Cook (ICTAC, 2010)

Breaking through to remote data and services. - William R. Cook (ISEC, 2010)

Synthesis of Greedy Algorithms Using Dominance Relations. - Srinivas Nedunuri; Douglas R. Smith; William R. Cook (NASA Formal Methods, 2010)

Semistructured Merge in Revision Control Systems. - Sven Apel; Jörg Liebig; Christian Lengauer; Christian Kästner; William R. Cook (VaMoS, 2010)

Remote Batch Invocation for SQL Databases. - William R. Cook; Ben Wiedermann (DBPL, 2011)

Product lines of theorems. - Benjamin Delaware; William R. Cook; Don S. Batory (OOPSLA, 2011)

Hybrid partial evaluation. - Amin Shali; William R. Cook (OOPSLA, 2011)

Tutorial on Online Partial Evaluation - William R. Cook; Ralf Lämmel (DSL, 2011)

Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021). - Sven Apel; William R. Cook; Krzysztof Czarnecki 001; Oscar Nierstrasz (Dagstuhl Reports, 2011)

Which middleware platform should you choose for your next remote service? - Young-Woo Kwon 001; Eli Tilevich; William R. Cook (Serv. Oriented Comput. Appl., 2011)

Extensibility for the Masses - Practical Extensibility with Object Algebras. - Bruno C. d. S. Oliveira; William R. Cook (ECOOP, 2012)

Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. - Srinivas Nedunuri; Douglas R. Smith; William R. Cook (FM, 2012)

Functional programming with structured graphs. - Bruno C. d. S. Oliveira; William R. Cook (ICFP, 2012)

Managed data: modular strategies for data abstraction. - Alex Loh; Tijs van der Storm; William R. Cook (Onward!, 2012)

Object Grammars. - Tijs van der Storm; William R. Cook; Alex Loh (SLE, 2012)

Theory and Techniques for Synthesizing a Family of Graph Algorithms - Srinivas Nedunuri; William R. Cook; Douglas R. Smith (SYNT, 2012)

MRI: Modular reasoning about interference in incremental programming. - Bruno C. d. S. Oliveira; Tom Schrijvers; William R. Cook (J. Funct. Program., 2012)

Feature-Oriented Programming with Object Algebras. - Bruno C. d. S. Oliveira; Tijs van der Storm; Alex Loh; William R. Cook (ECOOP, 2013)

The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. - Sebastian Erdweg; Tijs van der Storm; Markus Völter; Meinte Boersma; Remi Bosman; William R. Cook; Albert Gerritsen; Angelo Hulshout; Steven Kelly 001; Alex Loh; Gabriël D. P. Konat; Pedro J. Molina; et al. (SLE, 2013)

The design and implementation of Object Grammars. - Tijs van der Storm; William R. Cook; Alex Loh (Sci. Comput. Program., 2014)

Evaluating and comparing language workbenches: Existing results and benchmarks for the future. - Sebastian Erdweg; Tijs van der Storm; Markus Völter; Laurence Tratt; Remi Bosman; William R. Cook; Albert Gerritsen; Angelo Hulshout; Steven Kelly 001; Alex Loh; Gabriël D. P. Konat; Pedro J. Molina; et al. (Comput. Lang. Syst. Struct., 2015)

Implicitly Distributing Pervasively Concurrent Programs: Extended abstract. - John A. Thywissen; Arthur Michener Peters; William R. Cook (PMLDC@ECOOP, 2016)

OrcO: a concurrency-first approach to objects. - Arthur Michener Peters; David Kitchin; John A. Thywissen; William R. Cook (OOPSLA, 2016)

Verifying equivalence of database-driven applications. - Yuepeng Wang 001; Isil Dillig; Shuvendu K. Lahiri; William R. Cook (Proc. ACM Program. Lang., 2018)

Binary-Compatible Verification of Filesystems with ACL2. - Mihir Parang Mehta; William R. Cook (ITP, 2019)

Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. - Mihir Parang Mehta; William R. Cook (SBMF, 2020)