@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},
  volume = {4937},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79229-1},
}

@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 = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-215-3},
}

@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 = {Journal of Functional Programming},
  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 = {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},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@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 = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016},
  editor = {Eelco Visser and Yannis Smaragdakis},
  publisher = {ACM},
  isbn = {978-1-4503-4444-9},
}

@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 = {2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4126-6},
}

@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 = {ECOOP},
}

@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 = {ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012},
  editor = {Gary T. Leavens and Jonathan Edwards},
  publisher = {ACM},
  isbn = {978-1-4503-1562-3},
}

@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 = {Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings},
  editor = {David Benavides and Don S. Batory and Paul Grünbacher},
  volume = {37},
  series = {ICB-Research Report},
  publisher = {Universität Duisburg-Essen},
}

@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 = {Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006},
  editor = {Panagiotis Manolios and Matthew Wilding},
  publisher = {ACM},
  isbn = {0-9788493-0-2},
}

@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 = {29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 22-26 June 2009, Montreal, Québec, Canada},
  publisher = {IEEE Computer Society},
}

@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 = {Computer Languages, Systems \& Structures},
  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 Notices},
  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 = {Proceedings of the ACM on Programming Languages},
  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 = {Science of Computer Programming},
  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 = {Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-768-4},
}

@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 = {Seventh IEEE European Conference on Web Services (ECOWS 2009), 9-11 November 2009, Eindhoven, The Netherlands},
  editor = {Rik Eshuis and Paul W. P. J. Grefen and George Angelos Papadopoulos},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3854-9},
}

@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 = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007},
  editor = {Martin Hofmann and Matthias Felleisen},
  publisher = {ACM},
  isbn = {1-59593-575-4},
}

@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 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings},
  editor = {Dimitra Giannakopoulou and Dominique Méry},
  volume = {7436},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32758-2},
}

@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},
  series = {OOPSLA '11},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-4503-0940-0},
}

@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 = {Proceeding of the 3rd Annual India Software Engineering Conference, ISEC 2010, Mysore, India, February 25-27, 2010},
  editor = {Srinivas Padmanabhuni and Sanjeev K. Aggarwal and Umesh Bellur},
  publisher = {ACM},
  isbn = {978-1-60558-922-0},
}

@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 = {Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings},
  editor = {Walid Mohamed Taha},
  volume = {5658},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03033-8},
}

@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 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings},
  editor = {James Noble},
  volume = {7313},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31056-0},
}

@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 = {Theoretical Computer Science},
  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 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings},
  editor = {Dave Thomas},
  volume = {4067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35726-2},
}

@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 = {Int. J. Web Service Res.},
  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 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  editor = {Christel Baier and Holger Hermanns},
  volume = {4137},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37376-4},
}

@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 = {ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  editor = {Peter Thiemann and Robby Bruce Findler},
  publisher = {ACM},
  isbn = {978-1-4503-1054-3},
}

@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 = {Inf. Comput.},
  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 = {2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2669-1},
}

@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 = {Data and Applications Security XXIII, 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings},
  editor = {Ehud Gudes and Jaideep Vaidya},
  volume = {5645},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03006-2},
}

@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 = {Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010},
  editor = {Jean-Marc Jézéquel and Mario Südholt},
  publisher = {ACM},
  isbn = {978-1-60558-958-9},
}

@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 = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007},
  editor = {Charles Consel and Julia L. Lawall},
  address = {Salzburg, Austria},
  publisher = {ACM},
  isbn = {978-1-59593-855-8},
}

@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 = {First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009},
  editor = {Ewen Denney and Dimitra Giannakopoulou and Corina S. Pasareanu},
  volume = {NASA/CP-2009-215407},
  series = {NASA Conference Proceedings},
}

@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 = {Comput. J.},
  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 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings},
  editor = {Andrew P. Black},
  volume = {3586},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-27992-X},
}

@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 = {Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-766-0},
}

@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 = {Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings},
  editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
  volume = {489},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53931-X},
}

@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 = {Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009},
  editor = {Hans van Vliet and Valérie Issarny},
  publisher = {ACM},
  isbn = {978-1-60558-001-2},
}

@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 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings},
  editor = {Sophia Drossopoulou},
  volume = {5653},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03012-3},
}

@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 = {Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings},
  editor = {Jeremy G. Siek and Bernd  Fischer},
  publisher = {ACM},
  isbn = {978-1-60558-494-2},
}

@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 = {Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
  editor = {Krzysztof Czarnecki and Görel Hedin},
  volume = {7745},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-36089-3},
}

@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 = {27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA},
  editor = {Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh},
  publisher = {ACM},
}

@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 = {Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  editor = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0940-0},
}

@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/ECOOP},
}

@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 = {Service Oriented Computing and Applications},
  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 = {Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  editor = {David Lee and Antónia Lopes and Arnd Poetzsch-Heffter},
  volume = {5522},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02137-4},
}

@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 = {Objects and Databases - Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings},
  editor = {Alan Dearle and Roberto Zicari},
  volume = {6348},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16091-2},
}

@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 = {Database Programming Languages - DBPL 201, 13th International Symposium, Seattle, Washington, USA, August 29, 2011. Proceedings},
}

@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 = {First Workshop on Programming Models and Languages for Distributed Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016},
  publisher = {ACM},
  isbn = {978-1-4503-4775-4},
}

@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 = {Software and Systems Modeling},
  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 = {OOPS Messenger},
  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 Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings},
  editor = {Paolo Ciancarini and Herbert Wiklicky},
  volume = {4038},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34694-5},
}

@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 = {Second NASA Formal Methods Symposium - NFM 2010,  Washington D.C., USA, April 13-15, 2010. Proceedings},
  editor = {César Muñoz},
  volume = {NASA/CP-2010-216215},
  series = {NASA Conference Proceedings},
}

@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 = {Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}},
  volume = {8225},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-02653-4},
}

@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 = {Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009},
  editor = {Mario Südholt},
  publisher = {ACM},
  isbn = {978-1-60558-452-2},
}

@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 = {Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  editor = {Marlon Dumas and Reiko Heckel},
  volume = {4937},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79229-1},
}

@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 = {Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007},
  editor = {Barbara G. Ryder and Brent Hailpern},
  publisher = {ACM},
}

@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 = {Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  editor = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0940-0},
}

@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 = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006},
  editor = {J. Gregory Morrisett and Simon L. Peyton Jones},
  publisher = {ACM},
  isbn = {1-59593-027-2},
}

@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 = {Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings},
  editor = {Ana Cavalcanti and David Déharbe and Marie-Claude Gaudel and Jim Woodcock},
  volume = {6255},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14807-1},
}

@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 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings},
  editor = {Dave Thomas},
  volume = {4067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35726-2},
}

@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 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings},
  editor = {Giuseppe Castagna},
  volume = {7920},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39037-1},
}
@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},
}