


default search action
William R. Cook
Person information
- affiliation: University of Texas at Austin, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c62]Mihir Parang Mehta, William R. Cook:
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. SBMF 2020: 155-170
2010 – 2019
- 2019
- [c61]Mihir Parang Mehta, William R. Cook:
Binary-Compatible Verification of Filesystems with ACL2. ITP 2019: 25:1-25:18 - 2018
- [j10]Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook:
Verifying equivalence of database-driven applications. Proc. ACM Program. Lang. 2(POPL): 56:1-56:29 (2018) - 2017
- [i2]Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook:
Verifying Equivalence of Database-Driven Applications. CoRR abs/1710.07660 (2017) - 2016
- [c60]John A. Thywissen
, Arthur Michener Peters, William R. Cook
:
Implicitly Distributing Pervasively Concurrent Programs: Extended abstract. PMLDC@ECOOP 2016: 1 - [c59]Arthur Michener Peters, David Kitchin, John A. Thywissen
, William R. Cook:
OrcO: a concurrency-first approach to objects. OOPSLA 2016: 548-567 - 2015
- [j9]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: 24-47 (2015) - 2014
- [j8]Tijs van der Storm, William R. Cook
, Alex Loh:
The design and implementation of Object Grammars. Sci. Comput. Program. 96: 460-487 (2014) - 2013
- [c58]Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook:
Feature-Oriented Programming with Object Algebras. ECOOP 2013: 27-51 - [c57]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: 197-217 - 2012
- [j7]Bruno C. d. S. Oliveira, Tom Schrijvers
, William R. Cook
:
MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. 22(6): 797-852 (2012) - [c56]Bruno C. d. S. Oliveira, William R. Cook:
Extensibility for the Masses - Practical Extensibility with Object Algebras. ECOOP 2012: 2-27 - [c55]Srinivas Nedunuri, Douglas R. Smith, William R. Cook
:
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. FM 2012: 308-325 - [c54]Bruno C. d. S. Oliveira, William R. Cook
:
Functional programming with structured graphs. ICFP 2012: 77-88 - [c53]Alex Loh, Tijs van der Storm, William R. Cook
:
Managed data: modular strategies for data abstraction. Onward! 2012: 179-194 - [c52]Tijs van der Storm, William R. Cook
, Alex Loh:
Object Grammars. SLE 2012: 4-23 - [c51]Srinivas Nedunuri, William R. Cook, Douglas R. Smith:
Theory and Techniques for Synthesizing a Family of Graph Algorithms. SYNT 2012: 33-46 - 2011
- [j6]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): 61-70 (2011) - [c50]William R. Cook, Ben Wiedermann:
Remote Batch Invocation for SQL Databases. DBPL 2011 - [c49]Amin Shali, William R. Cook:
Hybrid partial evaluation. OOPSLA 2011: 375-390 - [c48]Benjamin Delaware, William R. Cook, Don S. Batory:
Product lines of theorems. OOPSLA 2011: 595-608 - [c47]William R. Cook
, Ralf Lämmel
:
Tutorial on Online Partial Evaluation. DSL 2011: 168-180 - [i1]Sven Apel
, William R. Cook, Krzysztof Czarnecki, Oscar Nierstrasz:
Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021). Dagstuhl Reports 1(1): 27-41 (2011) - 2010
- [c46]Young-Woo Kwon
, Eli Tilevich
, William R. Cook:
An Assessment of Middleware Platforms for Accessing Remote Services. IEEE SCC 2010: 482-489 - [c45]Bruno C. d. S. Oliveira, Tom Schrijvers
, William R. Cook:
EffectiveAdvice: disciplined advice with explicit effects. AOSD 2010: 109-120 - [c44]William R. Cook:
Unifying Remote Data, Remote Procedures, and Web Services. ICOODB 2010: 8 - [c43]Srinivas Nedunuri, Douglas R. Smith, William R. Cook:
A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC 2010: 352-366 - [c42]William R. Cook:
Breaking through to remote data and services. ISEC 2010: 161-162 - [c41]Srinivas Nedunuri, Douglas R. Smith, William R. Cook:
Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods 2010: 97-108 - [c40]Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook:
Semistructured Merge in Revision Control Systems. VaMoS 2010: 13-19 - [e5]William R. Cook, Siobhán Clarke, Martin C. Rinard:
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. ACM 2010, ISBN 978-1-4503-0203-6 [contents] - [e4]William R. Cook, Siobhán Clarke, Martin C. Rinard:
Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, part of SPLASH 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. ACM 2010, ISBN 978-1-4503-0240-1 [contents]
2000 – 2009
- 2009
- [c39]Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett:
Implementing Reflective Access Control in SQL. DBSec 2009: 17-32 - [c38]Jose Falcon, William R. Cook:
Gel: A Generic Extensible Language. DSL 2009: 58-77 - [c37]Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook:
Remote Batch Invocation for Compositional Object Services. ECOOP 2009: 595-617 - [c36]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: 190-199 - [c35]Benjamin Delaware, William R. Cook, Don S. Batory:
A machine-checked model of safe composition. FOAL 2009: 31-35 - [c34]David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra:
The Orc Programming Language. FMOODS/FORTE 2009: 1-25 - [c33]Srinivas Nedunuri, William R. Cook:
Synthesis of fast programs for maximum segment sum problems. GPCE 2009: 117-126 - [c32]Eli Tilevich
, William R. Cook, Yang Jiao:
Explicit Batching for Distributed Objects. ICDCS 2009: 543-552 - [c31]Srinivas Nedunuri, William R. Cook, Douglas R. Smith:
Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods 2009: 171-175 - [c30]William R. Cook:
On understanding data abstraction, revisited. OOPSLA 2009: 557-572 - [c29]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: 709-710 - [c28]Benjamin Delaware, William R. Cook, Don S. Batory:
Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE 2009: 243-252 - [e3]Sven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran, Oscar Nierstrasz:
Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009. ACM International Conference Proceeding Series, ACM 2009, ISBN 978-1-60558-567-3 [contents] - 2008
- [j5]William R. Cook:
High-level problems in teaching undergraduate programming languages. ACM SIGPLAN Notices 43(11): 55-58 (2008) - [j4]Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra:
A timed semantics of Orc. Theor. Comput. Sci. 402(2-3): 234-248 (2008) - [c27]Ben Wiedermann, Ali Ibrahim, William R. Cook:
Interprocedural query extraction for transparent persistence. OOPSLA 2008: 19-36 - [p1]William R. Cook, Jayadev Misra:
Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms 2008: 139-145 - 2007
- [j3]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): 49-64 (2007) - [j2]Jayadev Misra, William R. Cook:
Computation Orchestration. Softw. Syst. Model. 6(1): 83-110 (2007) - [c26]Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook:
Safe composition of product lines. GPCE 2007: 95-104 - [c25]William R. Cook:
AppleScript. HOPL 2007: 1-21 - [c24]Ben Wiedermann, William R. Cook:
Extracting queries by static analysis of transparent persistence. POPL 2007: 199-210 - [c23]Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard:
Event Structure Semantics of Orc. WS-FM 2007: 154-168 - 2006
- [c22]Sol Swords
, William R. Cook:
Soundness of the simply typed lambda calculus in ACL2. ACL2 2006: 35-39 - [c21]David Kitchin, William R. Cook, Jayadev Misra:
A Language for Task Orchestration and Its Semantic Properties. CONCUR 2006: 477-491 - [c20]William R. Cook, Sourabh Patwardhan, Jayadev Misra:
Workflow Patterns in Orc. COORDINATION 2006: 82-96 - [c19]Ali Ibrahim, William R. Cook:
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. ECOOP 2006: 50-73 - [c18]William R. Cook:
Peak Objects. ECOOP 2006: 180-185 - [c17]William R. Cook, Janel Barfield:
Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. ICWS 2006: 419-426 - [c16]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: 926-928 - [c15]Erik Ernst, Klaus Ostermann, William R. Cook:
A virtual class calculus. POPL 2006: 270-282 - [e2]Peri L. Tarr, William R. Cook:
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. ACM 2006, ISBN 1-59593-348-4 [contents] - [e1]Peri L. Tarr, William R. Cook:
Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. ACM 2006, ISBN 1-59593-491-X [contents] - 2005
- [c14]Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook:
Evaluating Support for Features in Advanced Modularization Technologies. ECOOP 2005: 169-194 - [c13]William R. Cook, Siddhartha Rai:
Safe query objects: statically typed objects as remotely executable queries. ICSE 2005: 97-106
1990 – 1999
- 1994
- [j1]William R. Cook, Jens Palsberg:
A Denotational Semantics of Inheritance and Its Correctness. Inf. Comput. 114(2): 329-350 (1994) - 1993
- [c12]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: 360-363 - [c11]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: 429-436 - [c10]Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook:
Open distributed processing (panel). OOPSLA Addendum 1993: 67-71 - 1992
- [c9]William R. Cook:
Interfaces and Specifications for the Smalltalk-80 Collection Classes. OOPSLA 1992: 1-15 - 1990
- [c8]Gilad Bracha, William R. Cook:
Mixin-based Inheritance. OOPSLA/ECOOP 1990: 303-311 - [c7]William R. Cook, Walter L. Hill, Peter S. Canning:
Inheritance Is Not Subtyping. POPL 1990: 125-135 - [c6]William R. Cook:
Object-Oriented Programming Versus Abstract Data Types. REX Workshop 1990: 151-178
1980 – 1989
- 1989
- [b1]William R. Cook:
A denotational semantics of inheritance. Brown University, USA, 1989 - [c5]William R. Cook:
A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70 - [c4]Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell:
F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280 - [c3]William R. Cook, Jens Palsberg:
A Denotational Semantics of Inheritance and its Correctness. OOPSLA 1989: 433-443 - [c2]Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff:
Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA 1989: 457-467 - 1987
- [c1]William R. Cook:
BOF on inheritance. OOPSLA Addendum 1987: 41-42
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint