William R. Cook

According to our database1, William R. Cook authored at least 71 papers between 1989 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Verifying equivalence of database-driven applications.
PACMPL, 2018

2016
OrcO: a concurrency-first approach to objects.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Implicitly Distributing Pervasively Concurrent Programs: Extended abstract.
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.
Computer Languages, Systems & Structures, 2015

2014
The design and implementation of Object Grammars.
Sci. Comput. Program., 2014

2013
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Feature-Oriented Programming with Object Algebras.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
MRI: Modular reasoning about interference in incremental programming.
J. Funct. Program., 2012

Theory and Techniques for Synthesizing a Family of Graph Algorithms
Proceedings of the Proceedings First Workshop on Synthesis, 2012

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

Managed data: modular strategies for data abstraction.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012

Functional programming with structured graphs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms.
Proceedings of the FM 2012: Formal Methods, 2012

Extensibility for the Masses - Practical Extensibility with Object Algebras.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Which middleware platform should you choose for your next remote service?
Service Oriented Computing and Applications, 2011

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

Tutorial on Online Partial Evaluation
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

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

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

Remote Batch Invocation for SQL Databases.
Proceedings of the Database Programming Languages, 2011

2010
Semistructured Merge in Revision Control Systems.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Synthesis of Greedy Algorithms Using Dominance Relations.
Proceedings of the Second NASA Formal Methods Symposium, 2010

Breaking through to remote data and services.
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

A Class of Greedy Algorithms and Its Relation to Greedoids.
Proceedings of the Theoretical Aspects of Computing, 2010

Unifying Remote Data, Remote Procedures, and Web Services.
Proceedings of the Objects and Databases - Third International Conference, 2010

EffectiveAdvice: disciplined advice with explicit effects.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

An Assessment of Middleware Platforms for Accessing Remote Services.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Fitting the pieces together: a machine-checked model of safe composition.
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.
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.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Tactical Synthesis of Efficient Global Search Algorithms.
Proceedings of the First NASA Formal Methods Symposium, 2009

Explicit Batching for Distributed Objects.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Synthesis of fast programs for maximum segment sum problems.
Proceedings of the Generative Programming and Component Engineering, 2009

The Orc Programming Language.
Proceedings of the Formal Techniques for Distributed Systems, 2009

A machine-checked model of safe composition.
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.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

Remote Batch Invocation for Compositional Object Services.
Proceedings of the ECOOP 2009, 2009

Gel: A Generic Extensible Language.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

Implementing Reflective Access Control in SQL.
Proceedings of the Data and Applications Security XXIII, 2009

2008
Structured Interacting Computations.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

A timed semantics of Orc.
Theor. Comput. Sci., 2008

High-level problems in teaching undergraduate programming languages.
SIGPLAN Notices, 2008

Interprocedural query extraction for transparent persistence.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
Computation Orchestration.
Software and Systems Modeling, 2007

Web Service versus Distributed Objects: A Case Study of Performance and Interface Design.
Int. J. Web Service Res., 2007

Event Structure Semantics of Orc.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Extracting queries by static analysis of transparent persistence.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

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

Safe composition of product lines.
Proceedings of the Generative Programming and Component Engineering, 2007

2006
A virtual class calculus.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Objects and databases: state of the union in 2006.
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.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Automatic Prefetching by Traversal Profiling in Object Persistence Architectures.
Proceedings of the ECOOP 2006, 2006

Peak Objects.
Proceedings of the ECOOP 2006, 2006

Workflow Patterns in Orc.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

A Language for Task Orchestration and Its Semantic Properties.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Soundness of the simply typed lambda calculus in ACL2.
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.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Evaluating Support for Features in Advanced Modularization Technologies.
Proceedings of the ECOOP 2005, 2005

1994
A Denotational Semantics of Inheritance and Its Correctness
Inf. Comput., November, 1994

Open distributed processing (panel).
OOPS Messenger, 1994

1993
Panel - Is Multiple Inheritance Essential to OOP?
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA, September 26, 1993

How to Get a Paper Accepted at OOPSLA (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA, September 26, 1993

1992
Interfaces and Specifications for the Smalltalk-80 Collection Classes.
Proceedings of the Conference on Object-Oriented Programming Systems, 1992

1990
Object-Oriented Programming Versus Abstract Data Types.
Proceedings of the Foundations of Object-Oriented Languages, 1990

Inheritance Is Not Subtyping.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Mixin-based Inheritance.
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1989
A Denotational Semantics of Inheritance and its Correctness.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Interfaces for Strongly-Typed Object-Oriented Programming.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

F-Bounded Polymorphism for Object-Oriented Programming.
Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

A Proposal for Making Eiffel Type-Safe.
Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989


  Loading...