publications:
- title: "Event Structure Semantics of Orc"
  author:
  - name: "Sidney Rosario"
    link: "https://researchr.org/alias/sidney-rosario"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "Albert Benveniste"
    link: "https://researchr.org/alias/albert-benveniste"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Stefan Haar"
    link: "https://researchr.org/alias/stefan-haar"
  - name: "Claude Jard"
    link: "https://researchr.org/alias/claude-jard"
  year: "2008"
  doi: "10.1007/978-3-540-79230-7_11"
  abstract: "Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and sequential trace semantics - the common semantic domains - do not facilitate this kind of analysis because they do not precisely express the causal relationships between events. Asymmetric Event Structures (AES) provide an explicit representation of the causal dependencies between events in the execution of a system and allow for an elegant coding of preemption. Event structures are, however, difficult to construct compositionally, because they cannot easily represent fragments of a computation. The heaps we develop here allow for such a representation, and easily generate AES. In this paper, we develop a partial-order semantics in terms of heaps, for Orc, an orchestration language used to describe distributed computations over the internet. We briefly show how Orc, and this new semantics, are used for QoS studies of wide area orchestrations."
  researchr: "https://researchr.org/publication/Rosario2008"
  cites: 0
  citedby: 0
  pages: "154-168"
  booktitle: "Web Services and Formal Methods"
  kind: "inproceedings"
  key: "Rosario2008"
- title: "Interprocedural query extraction for transparent persistence"
  author:
  - name: "Ben Wiedermann"
    link: "https://researchr.org/alias/ben-wiedermann"
  - name: "Ali Ibrahim"
    link: "https://researchr.org/alias/ali-ibrahim"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449764.1449767"
  links:
    doi: "http://doi.acm.org/10.1145/1449764.1449767"
  researchr: "https://researchr.org/publication/WiedermannIC08"
  cites: 0
  citedby: 0
  pages: "19-36"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "WiedermannIC08"
- title: "MRI: Modular reasoning about interference in incremental programming"
  author:
  - name: "Bruno C. D. S. Oliveira"
    link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira"
  - name: "Tom Schrijvers"
    link: "https://researchr.org/alias/tom-schrijvers"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2012"
  doi: "http://dx.doi.org/10.1017/S0956796812000354"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796812000354"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/OliveiraSC12"
  researchr: "https://researchr.org/publication/OliveiraSC12"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "22"
  number: "6"
  pages: "797-852"
  kind: "article"
  key: "OliveiraSC12"
- title: "Interfaces and Specifications for the Smalltalk-80 Collection Classes"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "1992"
  researchr: "https://researchr.org/publication/Cook92"
  cites: 0
  citedby: 0
  pages: "1-15"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "Cook92"
- title: "Objects and databases: state of the union in 2006"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Robert Greene"
    link: "https://researchr.org/alias/robert-greene"
  - name: "Patrick Linskey"
    link: "https://researchr.org/alias/patrick-linskey"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  - name: "Ken Rugg"
    link: "https://researchr.org/alias/ken-rugg"
  - name: "Craig Russell"
    link: "https://researchr.org/alias/craig-russell"
  - name: "Bob Walker"
    link: "https://researchr.org/alias/bob-walker"
  - name: "Christof Wittig"
    link: "https://researchr.org/alias/christof-wittig"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1176617.1176746"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CookGLMRRWW06"
- title: "Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021)"
  author:
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  year: "2011"
  doi: "http://dx.doi.org/10.4230/DagRep.1.1.27"
  links:
    doi: "http://dx.doi.org/10.4230/DagRep.1.1.27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/dagstuhl-reports/ApelCCN11"
  researchr: "https://researchr.org/publication/ApelCCN11"
  cites: 0
  citedby: 0
  journal: "dagstuhl-reports"
  volume: "1"
  number: "1"
  pages: "27-41"
  kind: "article"
  key: "ApelCCN11"
- title: "OrcO: a concurrency-first approach to objects"
  author:
  - name: "Arthur Michener Peters"
    link: "https://researchr.org/alias/arthur-michener-peters"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "John A. Thywissen"
    link: "https://researchr.org/alias/john-a.-thywissen"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2983990.2984022"
  links:
    doi: "http://doi.acm.org/10.1145/2983990.2984022"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/PetersKTC16"
  researchr: "https://researchr.org/publication/PetersKTC16"
  cites: 0
  citedby: 0
  pages: "548-567"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "PetersKTC16"
- title: "An Assessment of Middleware Platforms for Accessing Remote Services"
  author:
  - name: "Young-Woo Kwon"
    link: "https://researchr.org/alias/young-woo-kwon"
  - name: "Eli Tilevich"
    link: "https://researchr.org/alias/eli-tilevich"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SCC.2010.20"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SCC.2010.20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/IEEEscc/KwonTC10"
  researchr: "https://researchr.org/publication/KwonTC10"
  cites: 0
  citedby: 0
  pages: "482-489"
  booktitle: "IEEEscc"
  kind: "inproceedings"
  key: "KwonTC10"
- title: "A Proposal for Making Eiffel Type-Safe"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "1989"
  tags:
  - "Eiffel"
  researchr: "https://researchr.org/publication/Cook89"
  cites: 0
  citedby: 0
  pages: "57-70"
  booktitle: "ECOOPW"
  kind: "inproceedings"
  key: "Cook89"
- title: "Computation Orchestration"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  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"
  kind: "article"
  key: "MisraCook2007"
- title: "Managed data: modular strategies for data abstraction"
  author:
  - name: "Alex Loh"
    link: "https://researchr.org/alias/alex-loh"
  - name: "Tijs van der Storm"
    link: "https://researchr.org/alias/tijs-van-der-storm"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2384592.2384609"
  links:
    doi: "http://doi.acm.org/10.1145/2384592.2384609"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/LohSC12"
  researchr: "https://researchr.org/publication/LohSC12"
  cites: 0
  citedby: 0
  pages: "179-194"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "LohSC12"
- title: "Semistructured Merge in Revision Control Systems"
  author:
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  - name: "Jörg Liebig"
    link: "https://researchr.org/alias/j%C3%B6rg-liebig"
  - name: "Christian Lengauer"
    link: "https://researchr.org/alias/christian-lengauer"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2010"
  doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf"
  links:
    doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vamos/ApelLLKC10"
  tags:
  - "control systems"
  researchr: "https://researchr.org/publication/ApelLLKC10"
  cites: 0
  citedby: 0
  pages: "13-19"
  booktitle: "vamos"
  kind: "inproceedings"
  key: "ApelLLKC10"
- title: "Soundness of the simply typed lambda calculus in ACL2"
  author:
  - name: "Sol Swords"
    link: "https://researchr.org/alias/sol-swords"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1217975.1217982"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SwordsC06"
- title: "Explicit Batching for Distributed Objects"
  author:
  - name: "Eli Tilevich"
    link: "https://researchr.org/alias/eli-tilevich"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Yang Jiao"
    link: "https://researchr.org/alias/yang-jiao"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICDCS.2009.39"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "TilevichCJ09"
- title: "Evaluating and comparing language workbenches: Existing results and benchmarks for the future"
  author:
  - name: "Sebastian Erdweg"
    link: "http://www.informatik.uni-marburg.de/~seba/"
  - name: "Tijs van der Storm"
    link: "http://homepages.cwi.nl/~storm/"
  - name: "Markus Völter"
    link: "http://www.voelter.de/"
  - name: "Laurence Tratt"
    link: "https://researchr.org/alias/laurence-tratt"
  - name: "Remi Bosman"
    link: "https://researchr.org/alias/remi-bosman"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Albert Gerritsen"
    link: "https://researchr.org/alias/albert-gerritsen"
  - name: "Angelo Hulshout"
    link: "https://researchr.org/alias/angelo-hulshout"
  - name: "Steven Kelly"
    link: "http://www.metacase.com/stevek.html"
  - name: "Alex Loh"
    link: "https://researchr.org/alias/alex-loh"
  - name: "Gabriël Konat"
    link: "http://nl.linkedin.com/in/gabrielkonat"
  - name: "Pedro J. Molina"
    link: "https://researchr.org/alias/pedro-j.-molina"
  - name: "Martin Palatnik"
    link: "https://researchr.org/alias/martin-palatnik"
  - name: "Risto Pohjonen"
    link: "https://researchr.org/alias/risto-pohjonen"
  - name: "Eugen Schindler"
    link: "https://researchr.org/alias/eugen-schindler"
  - name: "Klemens Schindler"
    link: "https://researchr.org/alias/klemens-schindler"
  - name: "Riccardo Solmi"
    link: "https://researchr.org/alias/riccardo-solmi"
  - name: "Vlad A. Vergu"
    link: "https://researchr.org/alias/vlad-a.-vergu"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Kevin van der Vlist"
    link: "https://researchr.org/alias/kevin-van-der-vlist"
  - name: "Guido Wachsmuth"
    link: "https://www.linkedin.com/in/guidowachsmuth/"
  - name: "Jimi van der Woning"
    link: "https://researchr.org/alias/jimi-van-der-woning"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.cl.2015.08.007"
  abstract: "Language workbenches are environments for simplifying the creation and use of computer languages. The annual Language Workbench Challenge (LWC) was launched in 2011 to allow the many academic and industrial researchers in this area an opportunity to quantitatively and qualitatively compare their approaches. We first describe all four LWCs to date, before focussing on the approaches used, and results generated, during the third LWC. We give various empirical data for ten approaches from the third LWC. We present a generic feature model within which the approaches can be understood and contrasted. Finally, based on our experiences of the existing LWCs, we propose a number of benchmark problems for future LWCs."
  links:
    doi: "http://dx.doi.org/10.1016/j.cl.2015.08.007"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cl/ErdwegSVTBCGH0L15"
  researchr: "https://researchr.org/publication/ErdwegSVTBCGH0L15"
  cites: 0
  citedby: 0
  journal: "Comp. Lang., Syst. \\& Struct."
  volume: "44"
  pages: "24-47"
  kind: "article"
  key: "ErdwegSVTBCGH0L15"
- title: "High-level problems in teaching undergraduate programming languages"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1480828.1480839"
  links:
    doi: "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"
  kind: "article"
  key: "Cook08"
- title: "Verifying equivalence of database-driven applications"
  author:
  - name: "Yuepeng Wang 0001"
    link: "https://researchr.org/alias/yuepeng-wang-0001"
  - name: "Isil Dillig"
    link: "https://researchr.org/alias/isil-dillig"
  - name: "Shuvendu K. Lahiri"
    link: "https://researchr.org/alias/shuvendu-k.-lahiri"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2018"
  doi: "http://doi.acm.org/10.1145/3158144"
  links:
    doi: "http://doi.acm.org/10.1145/3158144"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/0001DLC18"
  researchr: "https://researchr.org/publication/0001DLC18"
  cites: 0
  citedby: 0
  journal: "PACMPL"
  volume: "2"
  number: "POPL"
  kind: "article"
  key: "0001DLC18"
- title: "The design and implementation of Object Grammars"
  author:
  - name: "Tijs van der Storm"
    link: "https://researchr.org/alias/tijs-van-der-storm"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Alex Loh"
    link: "https://researchr.org/alias/alex-loh"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.scico.2014.02.023"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2014.02.023"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/StormCL14"
  researchr: "https://researchr.org/publication/StormCL14"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "96"
  pages: "460-487"
  kind: "article"
  key: "StormCL14"
- title: "Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages"
  author:
  - name: "Jorn Bettin"
    link: "https://researchr.org/alias/jorn-bettin"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Tony Clark"
    link: "https://researchr.org/alias/tony-clark"
  - name: "Steven Kelly"
    link: "https://researchr.org/alias/steven-kelly"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1639950.1639976"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BettinCCK09"
- title: "Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces"
  author:
  - name: "Ali Ibrahim"
    link: "https://researchr.org/alias/ali-ibrahim"
  - name: "Marc Fisher II"
    link: "https://researchr.org/alias/marc-fisher-ii"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Eli Tilevich"
    link: "https://researchr.org/alias/eli-tilevich"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ECOWS.2009.16"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "IbrahimFCT09"
- title: "Extracting queries by static analysis of transparent persistence"
  author:
  - name: "Ben Wiedermann"
    link: "https://researchr.org/alias/ben-wiedermann"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1190216.1190248"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "WiedermannC07"
- title: "Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms"
  author:
  - name: "Srinivas Nedunuri"
    link: "https://researchr.org/alias/srinivas-nedunuri"
  - name: "Douglas R. Smith"
    link: "https://researchr.org/alias/douglas-r.-smith"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/NedunuriSC12"
  researchr: "https://researchr.org/publication/NedunuriSC12"
  cites: 0
  citedby: 0
  pages: "308-325"
  booktitle: "FM"
  kind: "inproceedings"
  key: "NedunuriSC12"
- title: "Hybrid partial evaluation"
  author:
  - name: "Shali, Amin"
    link: "https://researchr.org/alias/shali%2C-amin"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2011"
  doi: "10.1145/2048066.2048098"
  abstract: "Hybrid partial evaluation (HPE) is a pragmatic approach to partial evaluation that borrows ideas from both online and offline partial evaluation. HPE performs offline-style specialization using an online approach without static binding time analysis. The goal of HPE is to provide a practical and predictable level of optimization for programmers, with an implementation strategy that fits well within existing compilers or interpreters. HPE requires the programmer to specify where partial evaluation should be applied. It provides no termination guarantee and reports errors in situations that violate simple binding time rules, or have incorrect use of side effects in compile-time code. We formalize HPE for a small imperative object-oriented language and describe Civet, a straightforward implementation of HPE as a relatively simple extension of a Java compiler. Code optimized by Civet performs as well as the output of a state-of-the-art offline partial evaluator."
  links:
    "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"
  kind: "inproceedings"
  key: "ShaliCook2011"
- title: "Breaking through to remote data and services"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1730874.1730877"
  links:
    doi: "http://doi.acm.org/10.1145/1730874.1730877"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/indiaSE/Cook10"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/Cook10-1"
  cites: 0
  citedby: 0
  pages: "161-162"
  booktitle: "indiaSE"
  kind: "inproceedings"
  key: "Cook10-1"
- title: "Gel: A Generic Extensible Language"
  author:
  - name: "Jose Falcon"
    link: "https://researchr.org/alias/jose-falcon"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_4"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FalconC09"
- title: "Extensibility for the Masses - Practical Extensibility with Object Algebras"
  author:
  - name: "Bruno C. D. S. Oliveira"
    link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-31057-7_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31057-7_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/OliveiraC12"
  researchr: "https://researchr.org/publication/OliveiraC12-0"
  cites: 0
  citedby: 0
  pages: "2-27"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "OliveiraC12-0"
- title: "A timed semantics of Orc"
  author:
  - name: "Ian Wehrman"
    link: "https://researchr.org/alias/ian-wehrman"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.04.037"
  links:
    doi: "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"
  kind: "article"
  key: "WehrmanKCM08"
- title: "Peak Objects"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11785477_10"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Cook06a"
- title: "Web Service versus Distributed Objects: A Case Study of Performance and Interface Design"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Janel Barfield"
    link: "https://researchr.org/alias/janel-barfield"
  year: "2007"
  doi: "http://www.igi-pub.com/articles/details.asp?ID=7357"
  links:
    doi: "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"
  kind: "article"
  key: "CookB07"
- title: "A Language for Task Orchestration and Its Semantic Properties"
  author:
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11817949_32"
  links:
    doi: "http://dx.doi.org/10.1007/11817949_32"
  researchr: "https://researchr.org/publication/KitchinCM06"
  cites: 0
  citedby: 1
  pages: "477-491"
  booktitle: "concur"
  kind: "inproceedings"
  key: "KitchinCM06"
- title: "Structured Interacting Computations"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89437-7_9"
  links:
    doi: "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:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Jean-Pierre Banâtre"
    link: "https://researchr.org/alias/jean-pierre-ban%C3%A2tre"
  - name: "Matthias M. Hölzl"
    link: "https://researchr.org/alias/matthias-m.-h%C3%B6lzl"
  - name: "Axel Rauschmayer"
    link: "https://researchr.org/alias/axel-rauschmayer"
  volume: "5380"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89436-0"
  kind: "incollection"
  key: "CookM08"
- title: "Functional programming with structured graphs"
  author:
  - name: "Bruno C. D. S. Oliveira"
    link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364527.2364541"
  links:
    doi: "http://doi.acm.org/10.1145/2364527.2364541"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/OliveiraC12"
  researchr: "https://researchr.org/publication/OliveiraC12-1"
  cites: 0
  citedby: 0
  pages: "77-88"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "OliveiraC12-1"
- title: "A Denotational Semantics of Inheritance and Its Correctness"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "CookP94"
- title: "Remote Batch Invocation for Compositional Object Services"
  author:
  - name: "Ali Ibrahim"
    link: "https://researchr.org/alias/ali-ibrahim"
  - name: "Yang Jiao"
    link: "https://researchr.org/alias/yang-jiao"
  - name: "Eli Tilevich"
    link: "https://researchr.org/alias/eli-tilevich"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  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)"
  kind: "inproceedings"
  key: "IbrahimBatch09"
- title: "F-Bounded Polymorphism for Object-Oriented Programming"
  author:
  - name: "Peter S. Canning"
    link: "https://researchr.org/alias/peter-s.-canning"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Walter L. Hill"
    link: "https://researchr.org/alias/walter-l.-hill"
  - name: "Walter G. Olthoff"
    link: "https://researchr.org/alias/walter-g.-olthoff"
  - name: "John C. Mitchell"
    link: "https://researchr.org/alias/john-c.-mitchell"
  year: "1989"
  doi: "http://doi.acm.org/10.1145/99370.99392"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CanningCHOM89"
- title: "Web Services versus Distributed Objects: A Case Study of Performance and Interface Design"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Janel Barfield"
    link: "https://researchr.org/alias/janel-barfield"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.145"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CookB06"
- title: "Implementing Reflective Access Control in SQL"
  author:
  - name: "Lars E. Olson"
    link: "https://researchr.org/alias/lars-e.-olson"
  - name: "Carl A. Gunter"
    link: "https://researchr.org/alias/carl-a.-gunter"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Marianne Winslett"
    link: "https://researchr.org/alias/marianne-winslett"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03007-9_2"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "OlsonGCW09"
- title: "EffectiveAdvice: disciplined advice with explicit effects"
  author:
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1739230.1739244"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "OliveiraSC10"
- title: "Safe composition of product lines"
  author:
  - name: "Sahil Thaker"
    link: "https://researchr.org/alias/sahil-thaker"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1289971.1289989"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ThakerBKC07"
- title: "Tactical Synthesis of Efficient Global Search Algorithms"
  author:
  - name: "Srinivas Nedunuri"
    link: "https://researchr.org/alias/srinivas-nedunuri"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Douglas R. Smith"
    link: "https://researchr.org/alias/douglas-r.-smith"
  year: "2009"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nfm/NedunuriCS09"
  researchr: "https://researchr.org/publication/NedunuriCS09"
  cites: 0
  citedby: 0
  pages: "171-175"
  booktitle: "NFM"
  kind: "inproceedings"
  key: "NedunuriCS09"
- title: "A Proposal for Making Eiffel Type-Safe"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "1989"
  tags:
  - "Eiffel"
  researchr: "https://researchr.org/publication/Cook89%3A2"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "32"
  number: "4"
  pages: "305-311"
  kind: "article"
  key: "Cook89:2"
- title: "Evaluating Support for Features in Advanced Modularization Technologies"
  author:
  - name: "Roberto E. Lopez-Herrejon"
    link: "https://researchr.org/alias/roberto-e.-lopez-herrejon"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11531142_8"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Lopez-HerrejonBC05"
- title: "On understanding data abstraction, revisited"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1640089.1640133"
  abstract: "In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called \"On understanding types, data abstraction, and polymorphism\". Their work kicked off a flood of research on semantics and type theory for object-oriented programming, which continues to this day. Despite 25 years of research, there is still widespread confusion about the two forms of data abstraction, abstract data types and objects. This essay attempts to explain the differences and also why the differences matter. "
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Cook09-0"
- title: "Object-Oriented Programming Versus Abstract Data Types"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  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"
  kind: "inproceedings"
  key: "Cook90"
- title: "Fitting the pieces together: a machine-checked model of safe composition"
  author:
  - name: "Benjamin Delaware"
    link: "https://researchr.org/alias/benjamin-delaware"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1595696.1595733"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DelawareCB09-0"
- title: "Remote Batch Invocation for Compositional Object Services"
  author:
  - name: "Ali Ibrahim"
    link: "https://researchr.org/alias/ali-ibrahim"
  - name: "Yang Jiao"
    link: "https://researchr.org/alias/yang-jiao"
  - name: "Eli Tilevich"
    link: "https://researchr.org/alias/eli-tilevich"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03013-0_27"
  abstract: "Because Remote Procedure Calls do not compose efficiently, designers of distributed object systems use Data Transfer and Remote Façade patterns to create large-granularity interfaces, hard-coded for particular client use cases. As an alternative to RPC-based distributed objects, this paper presents Remote Batch Invocation (RBI), language support for explicit client-defined batches. A Remote Batch statement combines remote and local execution: all the remote code is executed in a single round-trip to the server, where all data sent to the server and results from the batch are communicated in bulk. RBI supports remote blocks, iteration and conditionals, and local handling of remote exceptions. RBI is efficient even for fine-grained interfaces, eliminating the need for hand-optimized server interfaces. We demonstrate RBI with an extension to Java, using RMI internally as the transport layer. RBI supports large-granularity, stateless server interactions, characteristic of service-oriented computing."
  links:
    doi: "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"
  kind: "inproceedings"
  key: "IbrahimJTC09"
- title: "Synthesis of fast programs for maximum segment sum problems"
  author:
  - name: "Srinivas Nedunuri"
    link: "https://researchr.org/alias/srinivas-nedunuri"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1621607.1621626"
  links:
    doi: "http://doi.acm.org/10.1145/1621607.1621626"
  researchr: "https://researchr.org/publication/NedunuriC09"
  cites: 0
  citedby: 0
  pages: "117-126"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "NedunuriC09"
- title: "Inheritance Is Not Subtyping"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Walter L. Hill"
    link: "https://researchr.org/alias/walter-l.-hill"
  - name: "Peter S. Canning"
    link: "https://researchr.org/alias/peter-s.-canning"
  year: "1990"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/CookHC90"
  cites: 0
  citedby: 0
  pages: "125-135"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "CookHC90"
- title: "Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs"
  author:
  - name: "Tijs van der Storm"
    link: "http://homepages.cwi.nl/~storm/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Alex Loh"
    link: "https://researchr.org/alias/alex-loh"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/StormCL12"
  researchr: "https://researchr.org/publication/StormCL12"
  cites: 0
  citedby: 0
  pages: "4-23"
  booktitle: "SLE"
  kind: "inproceedings"
  key: "StormCL12"
- title: "Safe query objects: statically typed objects as remotely executable queries"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Siddhartha Rai"
    link: "https://researchr.org/alias/siddhartha-rai"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1062455.1062488"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CookR05"
- title: "Product lines of theorems"
  author:
  - name: "Benjamin Delaware"
    link: "https://researchr.org/alias/benjamin-delaware"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Don S. Batory"
    link: "https://researchr.org/alias/don-s.-batory"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2048066.2048113"
  links:
    doi: "http://doi.acm.org/10.1145/2048066.2048113"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/DelawareCB11"
  researchr: "https://researchr.org/publication/DelawareCB11"
  cites: 0
  citedby: 0
  pages: "595-608"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "DelawareCB11"
- title: "Mixin-based Inheritance"
  author:
  - name: "Gilad Bracha"
    link: "https://researchr.org/alias/gilad-bracha"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "1990"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/BrachaC90"
  cites: 0
  citedby: 1
  pages: "303-311"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "BrachaC90"
- title: "Which middleware platform should you choose for your next remote service?"
  author:
  - name: "Young-Woo Kwon"
    link: "https://researchr.org/alias/young-woo-kwon"
  - name: "Eli Tilevich"
    link: "https://researchr.org/alias/eli-tilevich"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s11761-011-0082-y"
  links:
    doi: "http://dx.doi.org/10.1007/s11761-011-0082-y"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/soca/KwonTC01"
  researchr: "https://researchr.org/publication/KwonTC01"
  cites: 0
  citedby: 0
  journal: "soca"
  volume: "5"
  number: "2"
  pages: "61-70"
  kind: "article"
  key: "KwonTC01"
- title: "Interfaces for Strongly-Typed Object-Oriented Programming"
  author:
  - name: "Peter S. Canning"
    link: "https://researchr.org/alias/peter-s.-canning"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Walter L. Hill"
    link: "https://researchr.org/alias/walter-l.-hill"
  - name: "Walter G. Olthoff"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "CanningCHO89"
- title: "The Orc Programming Language"
  author:
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "Adrian Quark"
    link: "https://researchr.org/alias/adrian-quark"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02138-1_1"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KitchinQCM09"
- title: "Unifying Remote Data, Remote Procedures, and Web Services"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16092-9_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16092-9_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icoodb/Cook10"
  tags:
  - "web service"
  - "data-flow"
  - "web services"
  researchr: "https://researchr.org/publication/Cook10"
  cites: 0
  citedby: 0
  pages: "8"
  booktitle: "icoodb"
  kind: "inproceedings"
  key: "Cook10"
- title: "Remote Batch Invocation for SQL Databases"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Ben Wiedermann"
    link: "https://researchr.org/alias/ben-wiedermann"
  year: "2011"
  doi: "http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-cook.pdf"
  links:
    doi: "http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-cook.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dbpl/CookW11"
  researchr: "https://researchr.org/publication/CookW11-0"
  cites: 0
  citedby: 0
  booktitle: "DBPL"
  kind: "inproceedings"
  key: "CookW11-0"
- title: "Implicitly Distributing Pervasively Concurrent Programs: Extended abstract"
  author:
  - name: "John A. Thywissen"
    link: "https://researchr.org/alias/john-a.-thywissen"
  - name: "Arthur Michener Peters"
    link: "https://researchr.org/alias/arthur-michener-peters"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2957319.2957370"
  links:
    doi: "http://doi.acm.org/10.1145/2957319.2957370"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/ThywissenPC16"
  researchr: "https://researchr.org/publication/ThywissenPC16"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "ThywissenPC16"
- title: "Computation Orchestration"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10270-006-0012-1"
  links:
    doi: "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"
  kind: "article"
  key: "MisraC07"
- title: "Open distributed processing (panel)"
  author:
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  - name: "Alan Snyder"
    link: "https://researchr.org/alias/alan-snyder"
  - name: "Anthony S. Williams"
    link: "https://researchr.org/alias/anthony-s.-williams"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  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"
  kind: "article"
  key: "NierstraszSWC94"
- title: "Workflow Patterns in Orc"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Sourabh Patwardhan"
    link: "https://researchr.org/alias/sourabh-patwardhan"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11767954_6"
  abstract: "Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for evaluating the capabilities of workflow systems and models. In this paper we provide implementations of the workflow patterns in Orc, a new process calculus for orchestrating wide-area computations. A key feature of the Orc implementations is that they are expressed as definitions that can be reused as needed. "
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CookPM06"
- title: "Synthesis of Greedy Algorithms Using Dominance Relations"
  author:
  - name: "Srinivas Nedunuri"
    link: "https://researchr.org/alias/srinivas-nedunuri"
  - name: "Douglas R. Smith"
    link: "https://researchr.org/alias/douglas-r.-smith"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2010"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nfm/NedunuriSC10"
  researchr: "https://researchr.org/publication/NedunuriSC10-0"
  cites: 0
  citedby: 0
  pages: "97-108"
  booktitle: "NFM"
  kind: "inproceedings"
  key: "NedunuriSC10-0"
- title: "The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge"
  author:
  - name: "Sebastian Erdweg"
    link: "http://www.informatik.uni-marburg.de/~seba/"
  - name: "Tijs van der Storm"
    link: "http://homepages.cwi.nl/~storm/"
  - name: "Markus Völter"
    link: "http://www.voelter.de/"
  - name: " Meinte Boersma"
    link: "https://researchr.org/alias/meinte-boersma"
  - name: "Remi Bosman"
    link: "https://researchr.org/alias/remi-bosman"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Albert Gerritsen"
    link: "https://researchr.org/alias/albert-gerritsen"
  - name: "Angelo Hulshout"
    link: "https://researchr.org/alias/angelo-hulshout"
  - name: "Steven Kelly"
    link: "https://researchr.org/alias/steven-kelly"
  - name: "Alex Loh"
    link: "https://researchr.org/alias/alex-loh"
  - name: "Gabriël Konat"
    link: "http://nl.linkedin.com/in/gabrielkonat"
  - name: "Pedro J. Molina"
    link: "https://researchr.org/alias/pedro-j.-molina"
  - name: "Martin Palatnik"
    link: "https://researchr.org/alias/martin-palatnik"
  - name: "Risto Pohjonen"
    link: "https://researchr.org/alias/risto-pohjonen"
  - name: "Eugen Schindler"
    link: "https://researchr.org/alias/eugen-schindler"
  - name: "Klemens Schindler"
    link: "https://researchr.org/alias/klemens-schindler"
  - name: "Riccardo Solmi"
    link: "https://researchr.org/alias/riccardo-solmi"
  - name: "Vlad A. Vergu"
    link: "https://researchr.org/alias/vlad-a.-vergu"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Kevin van der Vlist"
    link: "https://researchr.org/alias/kevin-van-der-vlist"
  - name: "Guido Wachsmuth"
    link: "https://www.linkedin.com/in/guidowachsmuth/"
  - name: "Jimi van der Woning"
    link: "https://researchr.org/alias/jimi-van-der-woning"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_11"
  abstract: "Language workbenches are tools that provide high-level mechanisms for the implementation of (domain-specific) languages. Language workbenches are an active area of research that also receives many contributions from industry. To compare and discuss existing language workbenches, the annual Language Workbench Challenge was launched in 2011. Each year, participants are challenged to realize a given domain-specific language with their workbenches as a basis for discussion and comparison. In this paper, we describe the state of the art of language workbenches as observed in the previous editions of the Language Workbench Challenge. In particular, we capture the design space of language workbenches in a feature model and show where in this design space the participants of the 2013 Language Workbench Challenge reside. We compare these workbenches based on a DSL for questionnaires that was realized in all workbenches."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_11"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/ErdwegSVBBCGHKLKMPPSSSVVVWW13"
  researchr: "https://researchr.org/publication/ErdwegSV13"
  cites: 0
  citedby: 0
  pages: "197-217"
  booktitle: "SLE"
  kind: "inproceedings"
  key: "ErdwegSV13"
- title: "A Denotational Semantics of Inheritance and its Correctness"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  year: "1989"
  tags:
  - "semantics"
  - "denotational semantics"
  researchr: "https://researchr.org/publication/CookP89"
  cites: 0
  citedby: 0
  pages: "433-443"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "CookP89"
- title: "A machine-checked model of safe composition"
  author:
  - name: "Benjamin Delaware"
    link: "https://researchr.org/alias/benjamin-delaware"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1509837.1509846"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DelawareCB09"
- title: "How to Get a Paper Accepted at OOPSLA (Panel)"
  author:
  - name: "Ralph E. Johnson"
    link: "http://st-www.cs.illinois.edu/users/johnson/"
  - name: "Kent Beck"
    link: "https://researchr.org/alias/kent-beck"
  - name: "Grady Booch"
    link: "https://researchr.org/alias/grady-booch"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Richard P. Gabriel"
    link: "http://www.dreamsongs.com/RPG.html"
  - name: "Rebecca Wirfs-Brock"
    link: "https://researchr.org/alias/rebecca-wirfs-brock"
  year: "1993"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/JohnsonBBCGW93"
  cites: 0
  citedby: 0
  pages: "429-436"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "JohnsonBBCGW93"
- title: "Event Structure Semantics of Orc"
  author:
  - name: "Sidney Rosario"
    link: "https://researchr.org/alias/sidney-rosario"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "Albert Benveniste"
    link: "https://researchr.org/alias/albert-benveniste"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Stefan Haar"
    link: "https://researchr.org/alias/stefan-haar"
  - name: "Claude Jard"
    link: "https://researchr.org/alias/claude-jard"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-79230-7_11"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "RosarioKBCHJ07"
- title: "AppleScript"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1238844.1238845"
  links:
    doi: "http://doi.acm.org/10.1145/1238844.1238845"
  researchr: "https://researchr.org/publication/Cook07"
  cites: 0
  citedby: 0
  pages: "1-21"
  booktitle: "HOPL"
  kind: "inproceedings"
  key: "Cook07"
- title: "Hybrid partial evaluation"
  author:
  - name: "Amin Shali"
    link: "https://researchr.org/alias/amin-shali"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2048066.2048098"
  links:
    doi: "http://doi.acm.org/10.1145/2048066.2048098"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/ShaliC11"
  researchr: "https://researchr.org/publication/ShaliC11"
  cites: 0
  citedby: 0
  pages: "375-390"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "ShaliC11"
- title: "Panel - Is Multiple Inheritance Essential to OOP?"
  author:
  - name: "Yen-Ping Shan"
    link: "https://researchr.org/alias/yen-ping-shan"
  - name: "Thomas A. Cargill"
    link: "https://researchr.org/alias/thomas-a.-cargill"
  - name: "Brad Cox"
    link: "https://researchr.org/alias/brad-cox"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Mary E. S. Loomis"
    link: "https://researchr.org/alias/mary-e.-s.-loomis"
  - name: "Alan Snyder"
    link: "https://researchr.org/alias/alan-snyder"
  year: "1993"
  researchr: "https://researchr.org/publication/ShanCCCLS93"
  cites: 0
  citedby: 0
  pages: "360-363"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "ShanCCCLS93"
- title: "A virtual class calculus"
  author:
  - name: "Erik Ernst"
    link: "http://person.au.dk/eernst@cs"
  - name: "Klaus Ostermann"
    link: "http://www.informatik.uni-marburg.de/~kos/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111037.1111062"
  links:
    doi: "http://doi.acm.org/10.1145/1111037.1111062"
  researchr: "https://researchr.org/publication/ErnstOC06"
  cites: 0
  citedby: 0
  pages: "270-282"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "ErnstOC06"
- title: "Home Page"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  researchr: "https://researchr.org/publication/homepages-c-WilliamRCook"
  cites: 0
  citedby: 0
  howpublished: "http://www.cs.utexas.edu/~wcook"
  kind: "misc"
  key: "homepages-c-WilliamRCook"
- title: "A Class of Greedy Algorithms and Its Relation to Greedoids"
  author:
  - name: "Srinivas Nedunuri"
    link: "https://researchr.org/alias/srinivas-nedunuri"
  - name: "Douglas R. Smith"
    link: "https://researchr.org/alias/douglas-r.-smith"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ictac/NedunuriSC10"
  researchr: "https://researchr.org/publication/NedunuriSC10"
  cites: 0
  citedby: 0
  pages: "352-366"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "NedunuriSC10"
- title: "Automatic Prefetching by Traversal Profiling in Object Persistence Architectures"
  author:
  - name: "Ali Ibrahim"
    link: "https://researchr.org/alias/ali-ibrahim"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11785477_4"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "IbrahimC06"
- title: "Feature-Oriented Programming with Object Algebras"
  author:
  - name: "Bruno C. D. S. Oliveira"
    link: "https://researchr.org/alias/bruno-c.-d.-s.-oliveira"
  - name: "Tijs van der Storm"
    link: "https://researchr.org/alias/tijs-van-der-storm"
  - name: "Alex Loh"
    link: "https://researchr.org/alias/alex-loh"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39038-8_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39038-8_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/OliveiraSLC13"
  researchr: "https://researchr.org/publication/OliveiraSLC13"
  cites: 0
  citedby: 0
  pages: "27-51"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "OliveiraSLC13"
- 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"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/2010c"
  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:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Siobhán Clarke"
    link: "https://www.cs.tcd.ie/Siobhan.Clarke/"
  - name: "Martin C. Rinard"
    link: "https://researchr.org/alias/martin-c.-rinard"
  publisher: "ACM"
  isbn: "978-1-4503-0240-1"
  kind: "proceedings"
  key: "oopsla-2010c"
- title: "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"
  year: "2010"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/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, October 17-21, 2010, Reno/Tahoe, Nevada, USA"
  conference: "OOPSLA"
  editor:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Siobhán Clarke"
    link: "https://www.cs.tcd.ie/Siobhan.Clarke/"
  - name: "Martin C. Rinard"
    link: "https://researchr.org/alias/martin-c.-rinard"
  address: "Reno/Tahoe, Nevada"
  publisher: "ACM"
  isbn: "978-1-4503-0203-6"
  kind: "proceedings"
  key: "oopsla-2010"
- title: "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"
  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, October 22-26, 2006, Portland, Oregon, USA"
  conference: "OOPSLA"
  editor:
  - name: "Peri L. Tarr"
    link: "http://portal.acm.org/author_page.cfm?id=81100131551&coll=GUIDE&dl=GUIDE&trk=0&CFID=51133021&CFTOKEN=87963901"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-348-4"
  kind: "proceedings"
  key: "oopsla:2006"
- 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:
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-491-X"
  kind: "proceedings"
  key: "oopsla:2006c"
- 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:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Neil Loughran"
    link: "https://researchr.org/alias/neil-loughran"
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "978-1-60558-567-3"
  kind: "proceedings"
  key: "models-2009fosd"