William R. Cook

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 6

Top Topics

Oriented Programming

Extended Abstract

Agent Communication Language

Top Venues

Proc. ACM Program. Lang.

Publications

Mihir Parang Mehta, William R. Cook
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. SBMF (2020)
Mihir Parang Mehta, William R. Cook
Binary-Compatible Verification of Filesystems with ACL2. ITP (2019)
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
Verifying equivalence of database-driven applications. Proc. ACM Program. Lang. 2 (POPL) (2018)
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
Verifying Equivalence of Database-Driven Applications. CoRR (2017)
Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook
OrcO: a concurrency-first approach to objects. OOPSLA (2016)
John A. Thywissen, Arthur Michener Peters, William R. Cook
Implicitly Distributing Pervasively Concurrent Programs: Extended abstract. PMLDC@ECOOP (2016)
Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning
Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Comput. Lang. Syst. Struct. 44 (2015)
Tijs van der Storm, William R. Cook, Alex Loh
The design and implementation of Object Grammars. Sci. Comput. Program. 96 (2014)
Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook
Feature-Oriented Programming with Object Algebras. ECOOP (2013)
Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. SLE (2013)
Bruno C. d. S. Oliveira, William R. Cook
Extensibility for the Masses - Practical Extensibility with Object Algebras. ECOOP (2012)
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
Theory and Techniques for Synthesizing a Family of Graph Algorithms SYNT (2012)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. FM (2012)
Bruno C. d. S. Oliveira, William R. Cook
Functional programming with structured graphs. ICFP (2012)
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. 22 (6) (2012)
Alex Loh, Tijs van der Storm, William R. Cook
Managed data: modular strategies for data abstraction. Onward! (2012)
Tijs van der Storm, William R. Cook, Alex Loh
Object Grammars. SLE (2012)
Benjamin Delaware, William R. Cook, Don S. Batory
Product lines of theorems. OOPSLA (2011)
Young-Woo Kwon, Eli Tilevich, William R. Cook
Which middleware platform should you choose for your next remote service? Serv. Oriented Comput. Appl. 5 (2) (2011)
Sven Apel, William R. Cook, Krzysztof Czarnecki, Oscar Nierstrasz
Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021). Dagstuhl Reports 1 (1) (2011)
William R. Cook, Ben Wiedermann
Remote Batch Invocation for SQL Databases. DBPL (2011)
William R. Cook, Ralf Lämmel
Tutorial on Online Partial Evaluation DSL (2011)
Amin Shali, William R. Cook
Hybrid partial evaluation. OOPSLA (2011)
William R. Cook
Unifying Remote Data, Remote Procedures, and Web Services. ICOODB (2010)
Young-Woo Kwon, Eli Tilevich, William R. Cook
An Assessment of Middleware Platforms for Accessing Remote Services. IEEE SCC (2010)
Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook
Semistructured Merge in Revision Control Systems. VaMoS (2010)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods (2010)
William R. Cook
Breaking through to remote data and services. ISEC (2010)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC (2010)
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
EffectiveAdvice: disciplined advice with explicit effects. AOSD (2010)
Benjamin Delaware, William R. Cook, Don S. Batory
Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE (2009)
William R. Cook
On understanding data abstraction, revisited. OOPSLA (2009)
Eli Tilevich, William R. Cook, Yang Jiao
Explicit Batching for Distributed Objects. ICDCS (2009)
Jose Falcon, William R. Cook
Gel: A Generic Extensible Language. DSL (2009)
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods (2009)
Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett
Implementing Reflective Access Control in SQL. DBSec (2009)
David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra
The Orc Programming Language. FMOODS/FORTE (2009)
Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook
Remote Batch Invocation for Compositional Object Services. ECOOP (2009)
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)
Srinivas Nedunuri, William R. Cook
Synthesis of fast programs for maximum segment sum problems. GPCE (2009)
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)
Benjamin Delaware, William R. Cook, Don S. Batory
A machine-checked model of safe composition. FOAL (2009)
Ben Wiedermann, Ali Ibrahim, William R. Cook
Interprocedural query extraction for transparent persistence. OOPSLA (2008)
William R. Cook
High-level problems in teaching undergraduate programming languages. ACM SIGPLAN Notices 43 (11) (2008)
Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra
A timed semantics of Orc. Theor. Comput. Sci. 402 (2-3) (2008)
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard
Event Structure Semantics of Orc. WS-FM (2007)
William R. Cook
AppleScript. HOPL (2007)
Jayadev Misra, William R. Cook
Computation Orchestration. Softw. Syst. Model. 6 (1) (2007)
Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook
Safe composition of product lines. GPCE (2007)
Ben Wiedermann, William R. Cook
Extracting queries by static analysis of transparent persistence. POPL (2007)
William R. Cook, Janel Barfield
Web Service versus Distributed Objects: A Case Study of Performance and Interface Design. Int. J. Web Serv. Res. 4 (3) (2007)
Sol Swords, William R. Cook
Soundness of the simply typed lambda calculus in ACL2. ACL2 (2006)
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)
William R. Cook, Sourabh Patwardhan, Jayadev Misra
Workflow Patterns in Orc. COORDINATION (2006)
Ali Ibrahim, William R. Cook
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. ECOOP (2006)
David Kitchin, William R. Cook, Jayadev Misra
A Language for Task Orchestration and Its Semantic Properties. CONCUR (2006)
William R. Cook, Janel Barfield
Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. ICWS (2006)
Erik Ernst, Klaus Ostermann, William R. Cook
A virtual class calculus. POPL (2006)
William R. Cook
Peak Objects. ECOOP (2006)
William R. Cook, Siddhartha Rai
Safe query objects: statically typed objects as remotely executable queries. ICSE (2005)
Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook
Evaluating Support for Features in Advanced Modularization Technologies. ECOOP (2005)
William R. Cook, Jens Palsberg
A Denotational Semantics of Inheritance and Its Correctness Inf. Comput. 114 (2) (1994)
Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook
Open distributed processing (panel). OOPS Messenger 5 (2) (1994)
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)
Ralph E. Johnson, Kent L. Beck, Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca Wirfs-Brock
How to Get a Paper Accepted at OOPSLA (Panel). OOPSLA (1993)
William R. Cook
Interfaces and Specifications for the Smalltalk-80 Collection Classes. OOPSLA (1992)
William R. Cook, Walter L. Hill, Peter S. Canning
Inheritance Is Not Subtyping. POPL (1990)
William R. Cook
Object-Oriented Programming Versus Abstract Data Types. REX Workshop (1990)
Gilad Bracha, William R. Cook
Mixin-based Inheritance. OOPSLA/ECOOP (1990)
Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff
Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA (1989)
Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell
F-Bounded Polymorphism for Object-Oriented Programming. FPCA (1989)
William R. Cook, Jens Palsberg
A Denotational Semantics of Inheritance and its Correctness. OOPSLA (1989)
William R. Cook
A Proposal for Making Eiffel Type-Safe. ECOOP (1989)
William R. Cook
BOF on inheritance. OOPSLA Addendum (1987)