@inproceedings{Rosario2008,
  title = {Event Structure Semantics of Orc},
  author = {Sidney Rosario and David Kitchin and Albert Benveniste and William R. Cook and Stefan Haar and Claude Jard},
  year = {2008},
  doi = {10.1007/978-3-540-79230-7_11},
  researchr = {https://researchr.org/publication/Rosario2008},
  cites = {0},
  citedby = {0},
  pages = {154-168},
  booktitle = {Web Services and Formal Methods},
}

@inproceedings{WiedermannIC08,
  title = {Interprocedural query extraction for transparent persistence},
  author = {Ben Wiedermann and Ali Ibrahim and William R. Cook},
  year = {2008},
  doi = {10.1145/1449764.1449767},
  url = {http://doi.acm.org/10.1145/1449764.1449767},
  researchr = {https://researchr.org/publication/WiedermannIC08},
  cites = {0},
  citedby = {0},
  pages = {19-36},
  booktitle = {OOPSLA},
}

@article{OliveiraSC12,
  title = {MRI: Modular reasoning about interference in incremental programming},
  author = {Bruno C. D. S. Oliveira and Tom Schrijvers and William R. Cook},
  year = {2012},
  doi = {10.1017/S0956796812000354},
  url = {http://dx.doi.org/10.1017/S0956796812000354},
  researchr = {https://researchr.org/publication/OliveiraSC12},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {22},
  number = {6},
  pages = {797-852},
}

@inproceedings{Cook92,
  title = {Interfaces and Specifications for the Smalltalk-80 Collection Classes},
  author = {William R. Cook},
  year = {1992},
  researchr = {https://researchr.org/publication/Cook92},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {OOPSLA},
}

@inproceedings{CookGLMRRWW06,
  title = {Objects and databases: state of the union in 2006},
  author = {William R. Cook and Robert Greene and Patrick Linskey and Erik Meijer and Ken Rugg and Craig Russell and Bob Walker and Christof Wittig},
  year = {2006},
  doi = {10.1145/1176617.1176746},
  url = {http://doi.acm.org/10.1145/1176617.1176746},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CookGLMRRWW06},
  cites = {0},
  citedby = {0},
  pages = {926-928},
  booktitle = {OOPSLA},
}

@article{ApelCCN11,
  title = {Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021)},
  author = {Sven Apel and William R. Cook and Krzysztof Czarnecki and Oscar Nierstrasz},
  year = {2011},
  doi = {10.4230/DagRep.1.1.27},
  url = {http://dx.doi.org/10.4230/DagRep.1.1.27},
  researchr = {https://researchr.org/publication/ApelCCN11},
  cites = {0},
  citedby = {0},
  journal = {dagstuhl-reports},
  volume = {1},
  number = {1},
  pages = {27-41},
}

@inproceedings{PetersKTC16,
  title = {OrcO: a concurrency-first approach to objects},
  author = {Arthur Michener Peters and David Kitchin and John A. Thywissen and William R. Cook},
  year = {2016},
  doi = {10.1145/2983990.2984022},
  url = {http://doi.acm.org/10.1145/2983990.2984022},
  researchr = {https://researchr.org/publication/PetersKTC16},
  cites = {0},
  citedby = {0},
  pages = {548-567},
  booktitle = {OOPSLA},
}

@inproceedings{KwonTC10,
  title = {An Assessment of Middleware Platforms for Accessing Remote Services},
  author = {Young-Woo Kwon and Eli Tilevich and William R. Cook},
  year = {2010},
  doi = {10.1109/SCC.2010.20},
  url = {http://doi.ieeecomputersociety.org/10.1109/SCC.2010.20},
  researchr = {https://researchr.org/publication/KwonTC10},
  cites = {0},
  citedby = {0},
  pages = {482-489},
  booktitle = {IEEEscc},
}

@inproceedings{Cook89,
  title = {A Proposal for Making Eiffel Type-Safe},
  author = {William R. Cook},
  year = {1989},
  tags = {Eiffel},
  researchr = {https://researchr.org/publication/Cook89},
  cites = {0},
  citedby = {0},
  pages = {57-70},
  booktitle = {ECOOPW},
}

@article{MisraCook2007,
  title = {Computation Orchestration},
  author = {Jayadev Misra and William R. Cook},
  year = {2007},
  month = {March},
  doi = {10.1007/s10270-006-0012-1},
  researchr = {https://researchr.org/publication/MisraCook2007},
  cites = {0},
  citedby = {1},
  journal = {Software & Systems Modeling},
  volume = {6},
  number = {1},
  pages = {83-110},
}

@inproceedings{LohSC12,
  title = {Managed data: modular strategies for data abstraction},
  author = {Alex Loh and Tijs van der Storm and William R. Cook},
  year = {2012},
  doi = {10.1145/2384592.2384609},
  url = {http://doi.acm.org/10.1145/2384592.2384609},
  researchr = {https://researchr.org/publication/LohSC12},
  cites = {0},
  citedby = {0},
  pages = {179-194},
  booktitle = {OOPSLA},
}

@inproceedings{ApelLLKC10,
  title = {Semistructured Merge in Revision Control Systems},
  author = {Sven Apel and Jörg Liebig and Christian Lengauer and Christian Kästner and William R. Cook},
  year = {2010},
  url = {http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf},
  tags = {control systems},
  researchr = {https://researchr.org/publication/ApelLLKC10},
  cites = {0},
  citedby = {0},
  pages = {13-19},
  booktitle = {vamos},
}

@inproceedings{SwordsC06,
  title = {Soundness of the simply typed lambda calculus in ACL2},
  author = {Sol Swords and William R. Cook},
  year = {2006},
  doi = {10.1145/1217975.1217982},
  url = {http://doi.acm.org/10.1145/1217975.1217982},
  tags = {type soundness},
  researchr = {https://researchr.org/publication/SwordsC06},
  cites = {0},
  citedby = {0},
  pages = {35-39},
  booktitle = {acl2},
}

@inproceedings{TilevichCJ09,
  title = {Explicit Batching for Distributed Objects},
  author = {Eli Tilevich and William R. Cook and Yang Jiao},
  year = {2009},
  doi = {10.1109/ICDCS.2009.39},
  url = {http://dx.doi.org/10.1109/ICDCS.2009.39},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/TilevichCJ09},
  cites = {0},
  citedby = {0},
  pages = {543-552},
  booktitle = {icdcs},
}

@article{ErdwegSVTBCGH0L15,
  title = {Evaluating and comparing language workbenches: Existing results and benchmarks for the future},
  author = {Sebastian Erdweg and Tijs van der Storm and Markus Völter and Laurence Tratt and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël Konat and Pedro J. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin van der Vlist and Guido Wachsmuth and Jimi van der Woning},
  year = {2015},
  doi = {10.1016/j.cl.2015.08.007},
  url = {http://dx.doi.org/10.1016/j.cl.2015.08.007},
  researchr = {https://researchr.org/publication/ErdwegSVTBCGH0L15},
  cites = {0},
  citedby = {0},
  journal = {Comp. Lang., Syst. \& Struct.},
  volume = {44},
  pages = {24-47},
}

@article{Cook08,
  title = {High-level problems in teaching undergraduate programming languages},
  author = {William R. Cook},
  year = {2008},
  doi = {10.1145/1480828.1480839},
  url = {http://doi.acm.org/10.1145/1480828.1480839},
  tags = {programming languages, teaching, programming},
  researchr = {https://researchr.org/publication/Cook08},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {43},
  number = {11},
  pages = {55-58},
}

@article{0001DLC18,
  title = {Verifying equivalence of database-driven applications},
  author = {Yuepeng Wang 0001 and Isil Dillig and Shuvendu K. Lahiri and William R. Cook},
  year = {2018},
  doi = {10.1145/3158144},
  url = {http://doi.acm.org/10.1145/3158144},
  researchr = {https://researchr.org/publication/0001DLC18},
  cites = {0},
  citedby = {0},
  journal = {PACMPL},
  volume = {2},
  number = {POPL},
}

@article{StormCL14,
  title = {The design and implementation of Object Grammars},
  author = {Tijs van der Storm and William R. Cook and Alex Loh},
  year = {2014},
  doi = {10.1016/j.scico.2014.02.023},
  url = {http://dx.doi.org/10.1016/j.scico.2014.02.023},
  researchr = {https://researchr.org/publication/StormCL14},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {96},
  pages = {460-487},
}

@inproceedings{BettinCCK09,
  title = {Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages},
  author = {Jorn Bettin and William R. Cook and Tony Clark and Steven Kelly},
  year = {2009},
  doi = {10.1145/1639950.1639976},
  url = {http://doi.acm.org/10.1145/1639950.1639976},
  tags = {modeling language, modeling, language modeling, principles, domain-specific language},
  researchr = {https://researchr.org/publication/BettinCCK09},
  cites = {0},
  citedby = {0},
  pages = {709-710},
  booktitle = {OOPSLA},
}

@inproceedings{IbrahimFCT09,
  title = {Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces},
  author = {Ali Ibrahim and Marc Fisher II and William R. Cook and Eli Tilevich},
  year = {2009},
  doi = {10.1109/ECOWS.2009.16},
  url = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2009.16},
  tags = {web service, web services},
  researchr = {https://researchr.org/publication/IbrahimFCT09},
  cites = {0},
  citedby = {0},
  pages = {190-199},
  booktitle = {ecows},
}

@inproceedings{WiedermannC07,
  title = {Extracting queries by static analysis of transparent persistence},
  author = {Ben Wiedermann and William R. Cook},
  year = {2007},
  doi = {10.1145/1190216.1190248},
  url = {http://doi.acm.org/10.1145/1190216.1190248},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/WiedermannC07},
  cites = {0},
  citedby = {0},
  pages = {199-210},
  booktitle = {POPL},
}

@inproceedings{NedunuriSC12,
  title = {Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms},
  author = {Srinivas Nedunuri and Douglas R. Smith and William R. Cook},
  year = {2012},
  doi = {10.1007/978-3-642-32759-9_27},
  url = {http://dx.doi.org/10.1007/978-3-642-32759-9_27},
  researchr = {https://researchr.org/publication/NedunuriSC12},
  cites = {0},
  citedby = {0},
  pages = {308-325},
  booktitle = {FM},
}

@inproceedings{ShaliCook2011,
  title = {Hybrid partial evaluation},
  author = {Shali, Amin and William R. Cook},
  year = {2011},
  doi = {10.1145/2048066.2048098},
  url = {http://doi.acm.org/10.1145/2048066.2048098},
  tags = {optimization, rule-based, Java, interpreter, static analysis, termination, rules, compiler, partial evaluation, Meta-Environment, systematic-approach, meta-objects},
  researchr = {https://researchr.org/publication/ShaliCook2011},
  cites = {0},
  citedby = {0},
  pages = {375-390},
  booktitle = {Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications},
}

@inproceedings{Cook10-1,
  title = {Breaking through to remote data and services},
  author = {William R. Cook},
  year = {2010},
  doi = {10.1145/1730874.1730877},
  url = {http://doi.acm.org/10.1145/1730874.1730877},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Cook10-1},
  cites = {0},
  citedby = {0},
  pages = {161-162},
  booktitle = {indiaSE},
}

@inproceedings{FalconC09,
  title = {Gel: A Generic Extensible Language},
  author = {Jose Falcon and William R. Cook},
  year = {2009},
  doi = {10.1007/978-3-642-03034-5_4},
  url = {http://dx.doi.org/10.1007/978-3-642-03034-5_4},
  tags = {DSL, extensible language},
  researchr = {https://researchr.org/publication/FalconC09},
  cites = {0},
  citedby = {0},
  pages = {58-77},
  booktitle = {DSL},
}

@inproceedings{OliveiraC12-0,
  title = {Extensibility for the Masses - Practical Extensibility with Object Algebras},
  author = {Bruno C. D. S. Oliveira and William R. Cook},
  year = {2012},
  doi = {10.1007/978-3-642-31057-7_2},
  url = {http://dx.doi.org/10.1007/978-3-642-31057-7_2},
  researchr = {https://researchr.org/publication/OliveiraC12-0},
  cites = {0},
  citedby = {0},
  pages = {2-27},
  booktitle = {ECOOP},
}

@article{WehrmanKCM08,
  title = {A timed semantics of Orc},
  author = {Ian Wehrman and David Kitchin and William R. Cook and Jayadev Misra},
  year = {2008},
  doi = {10.1016/j.tcs.2008.04.037},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.04.037},
  tags = {semantics},
  researchr = {https://researchr.org/publication/WehrmanKCM08},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {402},
  number = {2-3},
  pages = {234-248},
}

@inproceedings{Cook06a,
  title = {Peak Objects},
  author = {William R. Cook},
  year = {2006},
  doi = {10.1007/11785477_10},
  url = {http://dx.doi.org/10.1007/11785477_10},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Cook06a},
  cites = {0},
  citedby = {0},
  pages = {180-185},
  booktitle = {ECOOP},
}

@article{CookB07,
  title = {Web Service versus Distributed Objects: A Case Study of Performance and Interface Design},
  author = {William R. Cook and Janel Barfield},
  year = {2007},
  url = {http://www.igi-pub.com/articles/details.asp?ID=7357},
  tags = {case study, web service, design},
  researchr = {https://researchr.org/publication/CookB07},
  cites = {0},
  citedby = {0},
  journal = {jwsr},
  volume = {4},
  number = {3},
  pages = {49-64},
}

@inproceedings{KitchinCM06,
  title = {A Language for Task Orchestration and Its Semantic Properties},
  author = {David Kitchin and William R. Cook and Jayadev Misra},
  year = {2006},
  doi = {10.1007/11817949_32},
  url = {http://dx.doi.org/10.1007/11817949_32},
  researchr = {https://researchr.org/publication/KitchinCM06},
  cites = {0},
  citedby = {1},
  pages = {477-491},
  booktitle = {concur},
}

@incollection{CookM08,
  title = {Structured Interacting Computations},
  author = {William R. Cook and Jayadev Misra},
  year = {2008},
  doi = {10.1007/978-3-540-89437-7_9},
  url = {http://dx.doi.org/10.1007/978-3-540-89437-7_9},
  researchr = {https://researchr.org/publication/CookM08},
  cites = {0},
  citedby = {0},
  pages = {139-145},
  booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges and Visions},
  editor = {Martin Wirsing and Jean-Pierre Banâtre and Matthias M. Hölzl and Axel Rauschmayer},
  volume = {5380},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89436-0},
}

@inproceedings{OliveiraC12-1,
  title = {Functional programming with structured graphs},
  author = {Bruno C. D. S. Oliveira and William R. Cook},
  year = {2012},
  doi = {10.1145/2364527.2364541},
  url = {http://doi.acm.org/10.1145/2364527.2364541},
  researchr = {https://researchr.org/publication/OliveiraC12-1},
  cites = {0},
  citedby = {0},
  pages = {77-88},
  booktitle = {ICFP},
}

@article{CookP94,
  title = {A Denotational Semantics of Inheritance and Its Correctness},
  author = {William R. Cook and Jens Palsberg},
  year = {1994},
  month = {November},
  tags = {semantics, denotational semantics},
  researchr = {https://researchr.org/publication/CookP94},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {114},
  number = {2},
  pages = {329-350},
}

@inproceedings{IbrahimBatch09,
  title = {Remote Batch Invocation for Compositional Object Services},
  author = {Ali Ibrahim and Yang Jiao and Eli Tilevich and William R. Cook},
  year = {2009},
  tags = {meta-model, composition, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/IbrahimBatch09},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the European Conference on Object-Oriented Programming (ECOOP)},
}

@inproceedings{CanningCHOM89,
  title = {F-Bounded Polymorphism for Object-Oriented Programming},
  author = {Peter S. Canning and William R. Cook and Walter L. Hill and Walter G. Olthoff and John C. Mitchell},
  year = {1989},
  doi = {10.1145/99370.99392},
  url = {http://doi.acm.org/10.1145/99370.99392},
  tags = {object-oriented programming, meta programming, C++, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/CanningCHOM89},
  cites = {0},
  citedby = {0},
  pages = {273-280},
  booktitle = {fpca},
}

@inproceedings{CookB06,
  title = {Web Services versus Distributed Objects: A Case Study of Performance and Interface Design},
  author = {William R. Cook and Janel Barfield},
  year = {2006},
  doi = {10.1109/ICWS.2006.145},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.145},
  tags = {case study, web service, web services, design},
  researchr = {https://researchr.org/publication/CookB06},
  cites = {0},
  citedby = {0},
  pages = {419-426},
  booktitle = {icws},
}

@inproceedings{OlsonGCW09,
  title = {Implementing Reflective Access Control in SQL},
  author = {Lars E. Olson and Carl A. Gunter and William R. Cook and Marianne Winslett},
  year = {2009},
  doi = {10.1007/978-3-642-03007-9_2},
  url = {http://dx.doi.org/10.1007/978-3-642-03007-9_2},
  tags = {SQL, access control},
  researchr = {https://researchr.org/publication/OlsonGCW09},
  cites = {0},
  citedby = {0},
  pages = {17-32},
  booktitle = {dbsec},
}

@inproceedings{OliveiraSC10,
  title = {EffectiveAdvice: disciplined advice with explicit effects},
  author = {Bruno C. d. S. Oliveira and Tom Schrijvers and William R. Cook},
  year = {2010},
  doi = {10.1145/1739230.1739244},
  url = {http://doi.acm.org/10.1145/1739230.1739244},
  tags = {C++},
  researchr = {https://researchr.org/publication/OliveiraSC10},
  cites = {0},
  citedby = {0},
  pages = {109-120},
  booktitle = {AOSD},
}

@inproceedings{ThakerBKC07,
  title = {Safe composition of product lines},
  author = {Sahil Thaker and Don S. Batory and David Kitchin and William R. Cook},
  year = {2007},
  doi = {10.1145/1289971.1289989},
  url = {http://doi.acm.org/10.1145/1289971.1289989},
  tags = {Variability-Aware Analysis, composition, analysis, context-aware, safe composition},
  researchr = {https://researchr.org/publication/ThakerBKC07},
  cites = {0},
  citedby = {0},
  pages = {95-104},
  booktitle = {GPCE},
}

@inproceedings{NedunuriCS09,
  title = {Tactical Synthesis of Efficient Global Search Algorithms},
  author = {Srinivas Nedunuri and William R. Cook and Douglas R. Smith},
  year = {2009},
  researchr = {https://researchr.org/publication/NedunuriCS09},
  cites = {0},
  citedby = {0},
  pages = {171-175},
  booktitle = {NFM},
}

@article{Cook89:2,
  title = {A Proposal for Making Eiffel Type-Safe},
  author = {William R. Cook},
  year = {1989},
  tags = {Eiffel},
  researchr = {https://researchr.org/publication/Cook89%3A2},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {32},
  number = {4},
  pages = {305-311},
}

@inproceedings{Lopez-HerrejonBC05,
  title = {Evaluating Support for Features in Advanced Modularization Technologies},
  author = {Roberto E. Lopez-Herrejon and Don S. Batory and William R. Cook},
  year = {2005},
  doi = {10.1007/11531142_8},
  url = {http://dx.doi.org/10.1007/11531142_8},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Lopez-HerrejonBC05},
  cites = {0},
  citedby = {0},
  pages = {169-194},
  booktitle = {ECOOP},
}

@inproceedings{Cook09-0,
  title = {On understanding data abstraction, revisited},
  author = {William R. Cook},
  year = {2009},
  doi = {10.1145/1640089.1640133},
  url = {http://doi.acm.org/10.1145/1640089.1640133},
  tags = {object-oriented programming, semantics, meta programming, data-flow programming, data-flow, survey, programming, subject-oriented programming, type theory, abstraction, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/Cook09-0},
  cites = {0},
  citedby = {0},
  pages = {557-572},
  booktitle = {OOPSLA},
}

@inproceedings{Cook90,
  title = {Object-Oriented Programming Versus Abstract Data Types},
  author = {William R. Cook},
  year = {1990},
  tags = {object-oriented programming, meta programming, data-flow programming, data-flow, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/Cook90},
  cites = {0},
  citedby = {0},
  pages = {151-178},
  booktitle = {rex},
}

@inproceedings{DelawareCB09-0,
  title = {Fitting the pieces together: a machine-checked model of safe composition},
  author = {Benjamin Delaware and William R. Cook and Don S. Batory},
  year = {2009},
  doi = {10.1145/1595696.1595733},
  url = {http://doi.acm.org/10.1145/1595696.1595733},
  tags = {Variability-Aware Analysis, composition, analysis, context-aware, safe composition},
  researchr = {https://researchr.org/publication/DelawareCB09-0},
  cites = {0},
  citedby = {0},
  pages = {243-252},
  booktitle = {FSE},
}

@inproceedings{IbrahimJTC09,
  title = {Remote Batch Invocation for Compositional Object Services},
  author = {Ali Ibrahim and Yang Jiao and Eli Tilevich and William R. Cook},
  year = {2009},
  doi = {10.1007/978-3-642-03013-0_27},
  url = {http://dx.doi.org/10.1007/978-3-642-03013-0_27},
  tags = {optimization, rule-based, Java, data-flow language, pattern language, exceptions, composition, data-flow, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/IbrahimJTC09},
  cites = {0},
  citedby = {0},
  pages = {595-617},
  booktitle = {ECOOP},
}

@inproceedings{NedunuriC09,
  title = {Synthesis of fast programs for maximum segment sum problems},
  author = {Srinivas Nedunuri and William R. Cook},
  year = {2009},
  doi = {10.1145/1621607.1621626},
  url = {http://doi.acm.org/10.1145/1621607.1621626},
  researchr = {https://researchr.org/publication/NedunuriC09},
  cites = {0},
  citedby = {0},
  pages = {117-126},
  booktitle = {GPCE},
}

@inproceedings{CookHC90,
  title = {Inheritance Is Not Subtyping},
  author = {William R. Cook and Walter L. Hill and Peter S. Canning},
  year = {1990},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/CookHC90},
  cites = {0},
  citedby = {0},
  pages = {125-135},
  booktitle = {POPL},
}

@inproceedings{StormCL12,
  title = {Object Grammars},
  author = {Tijs van der Storm and William R. Cook and Alex Loh},
  year = {2012},
  doi = {10.1007/978-3-642-36089-3_2},
  url = {http://dx.doi.org/10.1007/978-3-642-36089-3_2},
  researchr = {https://researchr.org/publication/StormCL12},
  cites = {0},
  citedby = {0},
  pages = {4-23},
  booktitle = {SLE},
}

@inproceedings{CookR05,
  title = {Safe query objects: statically typed objects as remotely executable queries},
  author = {William R. Cook and Siddhartha Rai},
  year = {2005},
  doi = {10.1145/1062455.1062488},
  url = {http://doi.acm.org/10.1145/1062455.1062488},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CookR05},
  cites = {0},
  citedby = {1},
  pages = {97-106},
  booktitle = {ICSE},
}

@inproceedings{DelawareCB11,
  title = {Product lines of theorems},
  author = {Benjamin Delaware and William R. Cook and Don S. Batory},
  year = {2011},
  doi = {10.1145/2048066.2048113},
  url = {http://doi.acm.org/10.1145/2048066.2048113},
  researchr = {https://researchr.org/publication/DelawareCB11},
  cites = {0},
  citedby = {0},
  pages = {595-608},
  booktitle = {OOPSLA},
}

@inproceedings{BrachaC90,
  title = {Mixin-based Inheritance},
  author = {Gilad Bracha and William R. Cook},
  year = {1990},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BrachaC90},
  cites = {0},
  citedby = {1},
  pages = {303-311},
  booktitle = {OOPSLA},
}

@article{KwonTC01,
  title = {Which middleware platform should you choose for your next remote service?},
  author = {Young-Woo Kwon and Eli Tilevich and William R. Cook},
  year = {2011},
  doi = {10.1007/s11761-011-0082-y},
  url = {http://dx.doi.org/10.1007/s11761-011-0082-y},
  researchr = {https://researchr.org/publication/KwonTC01},
  cites = {0},
  citedby = {0},
  journal = {soca},
  volume = {5},
  number = {2},
  pages = {61-70},
}

@inproceedings{CanningCHO89,
  title = {Interfaces for Strongly-Typed Object-Oriented Programming},
  author = {Peter S. Canning and William R. Cook and Walter L. Hill and Walter G. Olthoff},
  year = {1989},
  tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/CanningCHO89},
  cites = {0},
  citedby = {0},
  pages = {457-467},
  booktitle = {OOPSLA},
}

@inproceedings{KitchinQCM09,
  title = {The Orc Programming Language},
  author = {David Kitchin and Adrian Quark and William R. Cook and Jayadev Misra},
  year = {2009},
  doi = {10.1007/978-3-642-02138-1_1},
  url = {http://dx.doi.org/10.1007/978-3-642-02138-1_1},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/KitchinQCM09},
  cites = {0},
  citedby = {0},
  pages = {1-25},
  booktitle = {forte},
}

@inproceedings{Cook10,
  title = {Unifying Remote Data, Remote Procedures, and Web Services},
  author = {William R. Cook},
  year = {2010},
  doi = {10.1007/978-3-642-16092-9_3},
  url = {http://dx.doi.org/10.1007/978-3-642-16092-9_3},
  tags = {web service, data-flow, web services},
  researchr = {https://researchr.org/publication/Cook10},
  cites = {0},
  citedby = {0},
  pages = {8},
  booktitle = {icoodb},
}

@inproceedings{CookW11-0,
  title = {Remote Batch Invocation for SQL Databases},
  author = {William R. Cook and Ben Wiedermann},
  year = {2011},
  url = {http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-cook.pdf},
  researchr = {https://researchr.org/publication/CookW11-0},
  cites = {0},
  citedby = {0},
  booktitle = {DBPL},
}

@inproceedings{ThywissenPC16,
  title = {Implicitly Distributing Pervasively Concurrent Programs: Extended abstract},
  author = {John A. Thywissen and Arthur Michener Peters and William R. Cook},
  year = {2016},
  doi = {10.1145/2957319.2957370},
  url = {http://doi.acm.org/10.1145/2957319.2957370},
  researchr = {https://researchr.org/publication/ThywissenPC16},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {ECOOP},
}

@article{MisraC07,
  title = {Computation Orchestration},
  author = {Jayadev Misra and William R. Cook},
  year = {2007},
  doi = {10.1007/s10270-006-0012-1},
  url = {http://dx.doi.org/10.1007/s10270-006-0012-1},
  researchr = {https://researchr.org/publication/MisraC07},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {6},
  number = {1},
  pages = {83-110},
}

@article{NierstraszSWC94,
  title = {Open distributed processing (panel)},
  author = {Oscar Nierstrasz and Alan Snyder and Anthony S. Williams and William R. Cook},
  year = {1994},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/NierstraszSWC94},
  cites = {0},
  citedby = {0},
  journal = {oopsm},
  volume = {5},
  number = {2},
  pages = {67-71},
}

@inproceedings{CookPM06,
  title = {Workflow Patterns in Orc},
  author = {William R. Cook and Sourabh Patwardhan and Jayadev Misra},
  year = {2006},
  doi = {10.1007/11767954_6},
  url = {http://dx.doi.org/10.1007/11767954_6},
  tags = {control systems, workflow patterns, meta-model, reuse, data-flow, Meta-Environment, workflow, process modeling},
  researchr = {https://researchr.org/publication/CookPM06},
  cites = {0},
  citedby = {1},
  pages = {82-96},
  booktitle = {coordination},
}

@inproceedings{NedunuriSC10-0,
  title = {Synthesis of Greedy Algorithms Using Dominance Relations},
  author = {Srinivas Nedunuri and Douglas R. Smith and William R. Cook},
  year = {2010},
  researchr = {https://researchr.org/publication/NedunuriSC10-0},
  cites = {0},
  citedby = {0},
  pages = {97-108},
  booktitle = {NFM},
}

@inproceedings{ErdwegSV13,
  title = {The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge},
  author = {Sebastian Erdweg and Tijs van der Storm and Markus Völter and  Meinte Boersma and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël Konat and Pedro J. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin van der Vlist and Guido Wachsmuth and Jimi van der Woning},
  year = {2013},
  doi = {10.1007/978-3-319-02654-1_11},
  url = {http://dx.doi.org/10.1007/978-3-319-02654-1_11},
  researchr = {https://researchr.org/publication/ErdwegSV13},
  cites = {0},
  citedby = {0},
  pages = {197-217},
  booktitle = {SLE},
}

@inproceedings{CookP89,
  title = {A Denotational Semantics of Inheritance and its Correctness},
  author = {William R. Cook and Jens Palsberg},
  year = {1989},
  tags = {semantics, denotational semantics},
  researchr = {https://researchr.org/publication/CookP89},
  cites = {0},
  citedby = {0},
  pages = {433-443},
  booktitle = {OOPSLA},
}

@inproceedings{DelawareCB09,
  title = {A machine-checked model of safe composition},
  author = {Benjamin Delaware and William R. Cook and Don S. Batory},
  year = {2009},
  doi = {10.1145/1509837.1509846},
  url = {http://doi.acm.org/10.1145/1509837.1509846},
  tags = {Variability-Aware Analysis, composition, analysis, context-aware, safe composition},
  researchr = {https://researchr.org/publication/DelawareCB09},
  cites = {0},
  citedby = {0},
  pages = {31-35},
  booktitle = {foal},
}

@inproceedings{JohnsonBBCGW93,
  title = {How to Get a Paper Accepted at OOPSLA (Panel)},
  author = {Ralph E. Johnson and Kent Beck and Grady Booch and William R. Cook and Richard P. Gabriel and Rebecca Wirfs-Brock},
  year = {1993},
  tags = {e-science},
  researchr = {https://researchr.org/publication/JohnsonBBCGW93},
  cites = {0},
  citedby = {0},
  pages = {429-436},
  booktitle = {OOPSLA},
}

@inproceedings{RosarioKBCHJ07,
  title = {Event Structure Semantics of Orc},
  author = {Sidney Rosario and David Kitchin and Albert Benveniste and William R. Cook and Stefan Haar and Claude Jard},
  year = {2007},
  doi = {10.1007/978-3-540-79230-7_11},
  url = {http://dx.doi.org/10.1007/978-3-540-79230-7_11},
  tags = {semantics},
  researchr = {https://researchr.org/publication/RosarioKBCHJ07},
  cites = {0},
  citedby = {1},
  pages = {154-168},
  booktitle = {wsfm},
}

@inproceedings{Cook07,
  title = {AppleScript},
  author = {William R. Cook},
  year = {2007},
  doi = {10.1145/1238844.1238845},
  url = {http://doi.acm.org/10.1145/1238844.1238845},
  researchr = {https://researchr.org/publication/Cook07},
  cites = {0},
  citedby = {0},
  pages = {1-21},
  booktitle = {HOPL},
}

@inproceedings{ShaliC11,
  title = {Hybrid partial evaluation},
  author = {Amin Shali and William R. Cook},
  year = {2011},
  doi = {10.1145/2048066.2048098},
  url = {http://doi.acm.org/10.1145/2048066.2048098},
  researchr = {https://researchr.org/publication/ShaliC11},
  cites = {0},
  citedby = {0},
  pages = {375-390},
  booktitle = {OOPSLA},
}

@inproceedings{ShanCCCLS93,
  title = {Panel - Is Multiple Inheritance Essential to OOP?},
  author = {Yen-Ping Shan and Thomas A. Cargill and Brad Cox and William R. Cook and Mary E. S. Loomis and Alan Snyder},
  year = {1993},
  researchr = {https://researchr.org/publication/ShanCCCLS93},
  cites = {0},
  citedby = {0},
  pages = {360-363},
  booktitle = {OOPSLA},
}

@inproceedings{ErnstOC06,
  title = {A virtual class calculus},
  author = {Erik Ernst and Klaus Ostermann and William R. Cook},
  year = {2006},
  doi = {10.1145/1111037.1111062},
  url = {http://doi.acm.org/10.1145/1111037.1111062},
  researchr = {https://researchr.org/publication/ErnstOC06},
  cites = {0},
  citedby = {0},
  pages = {270-282},
  booktitle = {POPL},
}

@misc{homepages-c-WilliamRCook,
  title = {Home Page},
  author = {William R. Cook},
  researchr = {https://researchr.org/publication/homepages-c-WilliamRCook},
  cites = {0},
  citedby = {0},
  howpublished = {http://www.cs.utexas.edu/~wcook},
}

@inproceedings{NedunuriSC10,
  title = {A Class of Greedy Algorithms and Its Relation to Greedoids},
  author = {Srinivas Nedunuri and Douglas R. Smith and William R. Cook},
  year = {2010},
  doi = {10.1007/978-3-642-14808-8_24},
  url = {http://dx.doi.org/10.1007/978-3-642-14808-8_24},
  researchr = {https://researchr.org/publication/NedunuriSC10},
  cites = {0},
  citedby = {0},
  pages = {352-366},
  booktitle = {ictac},
}

@inproceedings{IbrahimC06,
  title = {Automatic Prefetching by Traversal Profiling in Object Persistence Architectures},
  author = {Ali Ibrahim and William R. Cook},
  year = {2006},
  doi = {10.1007/11785477_4},
  url = {http://dx.doi.org/10.1007/11785477_4},
  tags = {meta-model, traversal, architecture, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/IbrahimC06},
  cites = {0},
  citedby = {0},
  pages = {50-73},
  booktitle = {ECOOP},
}

@inproceedings{OliveiraSLC13,
  title = {Feature-Oriented Programming with Object Algebras},
  author = {Bruno C. D. S. Oliveira and Tijs van der Storm and Alex Loh and William R. Cook},
  year = {2013},
  doi = {10.1007/978-3-642-39038-8_2},
  url = {http://dx.doi.org/10.1007/978-3-642-39038-8_2},
  researchr = {https://researchr.org/publication/OliveiraSLC13},
  cites = {0},
  citedby = {0},
  pages = {27-51},
  booktitle = {ECOOP},
}
@proceedings{oopsla-2010c,
  title = {Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA},
  year = {2010},
  tags = {programming languages, object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/oopsla-2010c},
  cites = {0},
  citedby = {0},
  booktitle = {Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA},
  conference = {OOPSLA},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  publisher = {ACM},
  isbn = {978-1-4503-0240-1},
}

@proceedings{oopsla-2010,
  title = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  year = {2010},
  tags = {programming languages, object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/oopsla-2010},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  conference = {OOPSLA},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@proceedings{oopsla:2006,
  title = {Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006},
  year = {2006},
  tags = {programming languages, object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/oopsla%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006},
  conference = {OOPSLA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-348-4},
}

@proceedings{oopsla:2006c,
  title = {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},
  year = {2006},
  tags = {programming languages, object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/oopsla%3A2006c},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  conference = {OOPSLA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@proceedings{models-2009fosd,
  title = {Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009},
  year = {2009},
  researchr = {https://researchr.org/publication/models-2009fosd},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009},
  conference = {MoDELS},
  editor = {Sven  Apel and William R. Cook and Krzysztof Czarnecki and Christian Kästner and Neil Loughran and Oscar Nierstrasz},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {978-1-60558-567-3},
}