William R. Cook
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
16
Active years
1987–2019
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ITP | Binary-Compatible Verification of Filesystems with ACL2. | Mihir Parang Mehta, William R. Cook |
| 2016 | ECOOP | Implicitly Distributing Pervasively Concurrent Programs: Extended abstract. | John A. Thywissen, Arthur Michener Peters, William R. Cook |
| 2016 | OOPSLA | OrcO: a concurrency-first approach to objects. | Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook |
| 2013 | ECOOP | Feature-Oriented Programming with Object Algebras. | Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook |
| 2013 | SLE | The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. | Sebastian Erdweg, Tijs van der Storm, Markus Vlter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabril 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 |
| 2012 | ECOOP | Extensibility for the Masses - Practical Extensibility with Object Algebras. | Bruno C. d. S. Oliveira, William R. Cook |
| 2012 | FM | Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2012 | ICFP | Functional programming with structured graphs. | Bruno C. d. S. Oliveira, William R. Cook |
| 2012 | OOPSLA | Managed data: modular strategies for data abstraction. | Alex Loh, Tijs van der Storm, William R. Cook |
| 2012 | SLE | Object Grammars. | Tijs van der Storm, William R. Cook, Alex Loh |
| 2011 | OOPSLA | Product lines of theorems. | Benjamin Delaware, William R. Cook, Don S. Batory |
| 2011 | OOPSLA | Hybrid partial evaluation. | Amin Shali, William R. Cook |
| 2010 | ICTAC | A Class of Greedy Algorithms and Its Relation to Greedoids. | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2009 | DBSEC | Implementing Reflective Access Control in SQL. | Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett |
| 2009 | ECOOP | Remote Batch Invocation for Compositional Object Services. | Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook |
| 2009 | FORTE | The Orc Programming Language. | David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra |
| 2009 | GPCE | Synthesis of fast programs for maximum segment sum problems. | Srinivas Nedunuri, William R. Cook |
| 2009 | ICDCS | Explicit Batching for Distributed Objects. | Eli Tilevich, William R. Cook, Yang Jiao |
| 2009 | OOPSLA | Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages. | Jorn Bettin, William R. Cook, Tony Clark, Steven Kelly |
| 2009 | OOPSLA | On understanding data abstraction, revisited. | William R. Cook |
| 2008 | OOPSLA | Interprocedural query extraction for transparent persistence. | Ben Wiedermann, Ali Ibrahim, William R. Cook |
| 2007 | GPCE | Safe composition of product lines. | Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook |
| 2007 | POPL | Extracting queries by static analysis of transparent persistence. | Ben Wiedermann, William R. Cook |
| 2006 | CONCUR | A Language for Task Orchestration and Its Semantic Properties. | David Kitchin, William R. Cook, Jayadev Misra |
| 2006 | Coordination | Workflow Patterns in Orc. | William R. Cook, Sourabh Patwardhan, Jayadev Misra |
| 2006 | ECOOP | Peak Objects. | William R. Cook |
| 2006 | ECOOP | Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. | Ali Ibrahim, William R. Cook |
| 2006 | ICWS | Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. | William R. Cook, Janel Barfield |
| 2006 | OOPSLA | 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 |
| 2006 | POPL | A virtual class calculus. | Erik Ernst, Klaus Ostermann, William R. Cook |
| 2005 | ECOOP | Evaluating Support for Features in Advanced Modularization Technologies. | Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook |
| 2005 | ICSE | Safe query objects: statically typed objects as remotely executable queries. | William R. Cook, Siddhartha Rai |
| 1993 | OOPSLA | 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 |
| 1993 | OOPSLA | Panel - Is Multiple Inheritance Essential to OOP? | Yen-Ping Shan, Thomas A. Cargill, Brad Cox, William R. Cook, Mary E. S. Loomis, Alan Snyder |
| 1992 | OOPSLA | Interfaces and Specifications for the Smalltalk-80 Collection Classes. | William R. Cook |
| 1990 | OOPSLA | Mixin-based Inheritance. | Gilad Bracha, William R. Cook |
| 1990 | POPL | Inheritance Is Not Subtyping. | William R. Cook, Walter L. Hill, Peter S. Canning |
| 1989 | ECOOP | A Proposal for Making Eiffel Type-Safe. | William R. Cook |
| 1989 | OOPSLA | Interfaces for Strongly-Typed Object-Oriented Programming. | Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff |
| 1989 | OOPSLA | A Denotational Semantics of Inheritance and its Correctness. | William R. Cook, Jens Palsberg |
| 1987 | OOPSLA | BOF on inheritance. | William R. Cook |