default search action
William R. Cook
- > Home > Persons > William R. Cook
Publications
- 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
- [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
- [c45]Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook:
EffectiveAdvice: disciplined advice with explicit effects. AOSD 2010: 109-120 - [c43]Srinivas Nedunuri, Douglas R. Smith, William R. Cook:
A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC 2010: 352-366 - [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] - 2009
- [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 - [c31]Srinivas Nedunuri, William R. Cook, Douglas R. Smith:
Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods 2009: 171-175 - [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
- [j4]Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra:
A timed semantics of Orc. Theor. Comput. Sci. 402(2-3): 234-248 (2008) - [p1]William R. Cook, Jayadev Misra:
Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms 2008: 139-145 - 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 - [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
- [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 - [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 - 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 - 1990
- [c8]Gilad Bracha, William R. Cook:
Mixin-based Inheritance. OOPSLA/ECOOP 1990: 303-311
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 2024-05-02 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint