William R. Cook

According to our database, William R. Cook authored at least 74 papers between 1987 and 2020.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2020

Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model.

Mihir Parang Mehta, William R. Cook

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

Binary-Compatible Verification of Filesystems with ACL2.

Mihir Parang Mehta, William R. Cook

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Verifying equivalence of database-driven applications.

Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook

Proc. ACM Program. Lang., 2018

2016

OrcO: a concurrency-first approach to objects.

Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Implicitly Distributing Pervasively Concurrent Programs: Extended abstract.

John A. Thywissen, Arthur Michener Peters, William R. Cook

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

2015

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, 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

Comput. Lang. Syst. Struct., 2015

2014

The design and implementation of Object Grammars.

Tijs van der Storm, William R. Cook, Alex Loh

Sci. Comput. Program., 2014

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, 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

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Feature-Oriented Programming with Object Algebras.

Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

MRI: Modular reasoning about interference in incremental programming.

Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook

J. Funct. Program., 2012

Theory and Techniques for Synthesizing a Family of Graph Algorithms

Srinivas Nedunuri, William R. Cook, Douglas R. Smith

Proceedings of the Proceedings First Workshop on Synthesis, 2012

Object Grammars.

Tijs van der Storm, William R. Cook, Alex Loh

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Managed data: modular strategies for data abstraction.

Alex Loh, Tijs van der Storm, William R. Cook

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012

Functional programming with structured graphs.

Bruno C. d. S. Oliveira, William R. Cook

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the FM 2012: Formal Methods, 2012

Extensibility for the Masses - Practical Extensibility with Object Algebras.

Bruno C. d. S. Oliveira, William R. Cook

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Which middleware platform should you choose for your next remote service?

Young-Woo Kwon, Eli Tilevich, William R. Cook

Serv. Oriented Comput. Appl., 2011

Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021).

Sven Apel, William R. Cook, Krzysztof Czarnecki, Oscar Nierstrasz

Dagstuhl Reports, 2011

Tutorial on Online Partial Evaluation

William R. Cook, Ralf Lämmel

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

Hybrid partial evaluation.

Amin Shali, William R. Cook

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Product lines of theorems.

Benjamin Delaware, William R. Cook, Don S. Batory

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Remote Batch Invocation for SQL Databases.

William R. Cook, Ben Wiedermann

Proceedings of the Database Programming Languages, 2011

2010

Semistructured Merge in Revision Control Systems.

Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Synthesis of Greedy Algorithms Using Dominance Relations.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the Second NASA Formal Methods Symposium, 2010

Breaking through to remote data and services.

William R. Cook

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

A Class of Greedy Algorithms and Its Relation to Greedoids.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the Theoretical Aspects of Computing, 2010

Unifying Remote Data, Remote Procedures, and Web Services.

William R. Cook

Proceedings of the Objects and Databases - Third International Conference, 2010

EffectiveAdvice: disciplined advice with explicit effects.

Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

An Assessment of Middleware Platforms for Accessing Remote Services.

Young-Woo Kwon, Eli Tilevich, William R. Cook

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Fitting the pieces together: a machine-checked model of safe composition.

Benjamin Delaware, William R. Cook, Don S. Batory

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

On understanding data abstraction, revisited.

William R. Cook

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages.

Jorn Bettin, William R. Cook, Tony Clark, Steven Kelly

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Tactical Synthesis of Efficient Global Search Algorithms.

Srinivas Nedunuri, William R. Cook, Douglas R. Smith

Proceedings of the First NASA Formal Methods Symposium, 2009

Explicit Batching for Distributed Objects.

Eli Tilevich, William R. Cook, Yang Jiao

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Synthesis of fast programs for maximum segment sum problems.

Srinivas Nedunuri, William R. Cook

Proceedings of the Generative Programming and Component Engineering, 2009

The Orc Programming Language.

David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra

Proceedings of the Formal Techniques for Distributed Systems, 2009

A machine-checked model of safe composition.

Benjamin Delaware, William R. Cook, Don S. Batory

Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 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

Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

Remote Batch Invocation for Compositional Object Services.

Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook

Proceedings of the ECOOP 2009, 2009

Gel: A Generic Extensible Language.

Jose Falcon, William R. Cook

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

Implementing Reflective Access Control in SQL.

Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett

Proceedings of the Data and Applications Security XXIII, 2009

2008

Structured Interacting Computations.

William R. Cook, Jayadev Misra

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

A timed semantics of Orc.

Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra

Theor. Comput. Sci., 2008

High-level problems in teaching undergraduate programming languages.

William R. Cook

ACM SIGPLAN Notices, 2008

Interprocedural query extraction for transparent persistence.

Ben Wiedermann, Ali Ibrahim, William R. Cook

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Computation Orchestration.

Jayadev Misra, William R. Cook

Softw. Syst. Model., 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

Event Structure Semantics of Orc.

Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Extracting queries by static analysis of transparent persistence.

Ben Wiedermann, William R. Cook

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

AppleScript.

William R. Cook

Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

Safe composition of product lines.

Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook

Proceedings of the Generative Programming and Component Engineering, 2007

2006

A virtual class calculus.

Erik Ernst, Klaus Ostermann, William R. Cook

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Objects and databases: state of the union in 2006.

William R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Web Services versus Distributed Objects: A Case Study of Performance and Interface Design.

William R. Cook, Janel Barfield

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Automatic Prefetching by Traversal Profiling in Object Persistence Architectures.

Ali Ibrahim, William R. Cook

Proceedings of the ECOOP 2006, 2006

Peak Objects.

William R. Cook

Proceedings of the ECOOP 2006, 2006

Workflow Patterns in Orc.

William R. Cook, Sourabh Patwardhan, Jayadev Misra

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

A Language for Task Orchestration and Its Semantic Properties.

David Kitchin, William R. Cook, Jayadev Misra

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Soundness of the simply typed lambda calculus in ACL2.

Sol Swords, William R. Cook

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005

Safe query objects: statically typed objects as remotely executable queries.

William R. Cook, Siddhartha Rai

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Evaluating Support for Features in Advanced Modularization Technologies.

Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook

Proceedings of the ECOOP 2005, 2005

1994

A Denotational Semantics of Inheritance and Its Correctness

William R. Cook, Jens Palsberg

Inf. Comput., November, 1994

1993

Open distributed processing (panel).

Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 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

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

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

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

1992

Interfaces and Specifications for the Smalltalk-80 Collection Classes.

William R. Cook

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

1990

Object-Oriented Programming Versus Abstract Data Types.

William R. Cook

Proceedings of the Foundations of Object-Oriented Languages, 1990

Inheritance Is Not Subtyping.

William R. Cook, Walter L. Hill, Peter S. Canning

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Mixin-based Inheritance.

Gilad Bracha, William R. Cook

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1989

A denotational semantics of inheritance.

William R. Cook

PhD thesis, 1989

Interfaces for Strongly-Typed Object-Oriented Programming.

Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

F-Bounded Polymorphism for Object-Oriented Programming.

Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

A Proposal for Making Eiffel Type-Safe.

William R. Cook

Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989

1987

BOF on inheritance.

William R. Cook

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1987