publications:
- title: "Implementing Closed Domain-Specific Languages"
  author:
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1924/19240001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1924/19240001.htm"
  tags:
  - "domain-specific language"
  researchr: "https://researchr.org/publication/Kieburtz00"
  cites: 0
  citedby: 0
  pages: "1-2"
  booktitle: "saig"
  kind: "inproceedings"
  key: "Kieburtz00"
- title: "Strength Induction in a Haskell Program Verifier"
  author:
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.10.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.10.008"
  tags:
  - "program verification"
  - "Haskell"
  researchr: "https://researchr.org/publication/Kieburtz07a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "193"
  pages: "61-79"
  kind: "article"
  key: "Kieburtz07a"
- title: "Performance measurement of a G-machine implementation"
  author:
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  year: "1986"
  researchr: "https://researchr.org/publication/Kieburtz86"
  cites: 0
  citedby: 0
  pages: "275-296"
  booktitle: "gr"
  kind: "inproceedings"
  key: "Kieburtz86"
- title: "Reactive Objects"
  author:
  - name: "Johan Nordlander"
    link: "https://researchr.org/alias/johan-nordlander"
  - name: "Mark P. Jones"
    link: "https://researchr.org/alias/mark-p.-jones"
  - name: "Magnus Carlsson"
    link: "https://researchr.org/alias/magnus-carlsson"
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Andrew P. Black"
    link: "https://researchr.org/alias/andrew-p.-black"
  year: "2002"
  doi: "http://computer.org/proceedings/isorc/1558/15580155abs.htm"
  links:
    doi: "http://computer.org/proceedings/isorc/1558/15580155abs.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/NordlanderJCKB02"
  cites: 0
  citedby: 0
  pages: "155-158"
  booktitle: "isorc"
  kind: "inproceedings"
  key: "NordlanderJCKB02"
- title: "Workshop on Models and Languages for Software Specification and Design"
  author:
  - name: "Robert G. Babb II"
    link: "https://researchr.org/alias/robert-g.-babb-ii"
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Ken Orr"
    link: "https://researchr.org/alias/ken-orr"
  - name: "Ali Mili"
    link: "https://researchr.org/alias/ali-mili"
  - name: "Susan Gearhart"
    link: "https://researchr.org/alias/susan-gearhart"
  - name: "Nancy N. Martin"
    link: "https://researchr.org/alias/nancy-n.-martin"
  year: "1985"
  tags:
  - "modeling language"
  - "language modeling"
  - "language design"
  - "design"
  researchr: "https://researchr.org/publication/BabbKOMGM85"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "18"
  number: "3"
  pages: "103-108"
  kind: "article"
  key: "BabbKOMGM85"
- title: "Report on the Programming Language Haskell, A Non-strict, Purely Functional Language"
  author:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  - name: "Brian Boutel"
    link: "https://researchr.org/alias/brian-boutel"
  - name: "Jon Fairbairn"
    link: "https://researchr.org/alias/jon-fairbairn"
  - name: "Joseph H. Fasel"
    link: "https://researchr.org/alias/joseph-h.-fasel"
  - name: "María M. Guzmán"
    link: "https://researchr.org/alias/mar%C3%ADa-m.-guzm%C3%A1n"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Thomas Johnsson"
    link: "https://researchr.org/alias/thomas-johnsson"
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Rishiyur S. Nikhil"
    link: "https://researchr.org/alias/rishiyur-s.-nikhil"
  - name: "Will Partain"
    link: "https://researchr.org/alias/will-partain"
  - name: "John Peterson"
    link: "https://researchr.org/alias/john-peterson"
  year: "1992"
  tags:
  - "programming languages"
  - "functional programming"
  - "Haskell"
  - "programming"
  researchr: "https://researchr.org/publication/HudakPWBFFGHHJKNPP92"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "27"
  number: "5"
  pages: "1"
  kind: "article"
  key: "HudakPWBFFGHHJKNPP92"
- title: "On the Static Access-Control Mechanism in Concurrent Pascal"
  author:
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Abraham Silberschatz"
    link: "https://researchr.org/alias/abraham-silberschatz"
  year: "1982"
  tags:
  - "access control"
  - "Pascal"
  researchr: "https://researchr.org/publication/KieburtzS82"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "25"
  number: "1"
  pages: "17-21"
  kind: "article"
  key: "KieburtzS82"
- title: "A Distributed Operating System for the Stony Brook Multicomputer"
  author:
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  year: "1981"
  tags:
  - "operating system"
  researchr: "https://researchr.org/publication/Kieburtz81"
  cites: 0
  citedby: 0
  pages: "67-78"
  booktitle: "icdcs"
  kind: "inproceedings"
  key: "Kieburtz81"
- title: "Extending Concurrent Pascal to Allow Dynamic Resource Management"
  author:
  - name: "Abraham Silberschatz"
    link: "https://researchr.org/alias/abraham-silberschatz"
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Arthur J. Bernstein"
    link: "https://researchr.org/alias/arthur-j.-bernstein"
  year: "1977"
  tags:
  - "Pascal"
  researchr: "https://researchr.org/publication/SilberschatzKB77"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "3"
  number: "3"
  pages: "210-217"
  kind: "article"
  key: "SilberschatzKB77"
- title: "Programming without Pointer Variables"
  author:
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  year: "1976"
  doi: "db/conf/sigplan/Kieburtz76.html"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Kieburtz76"
  cites: 0
  citedby: 0
  pages: "95-107"
  booktitle: "sigplan"
  kind: "inproceedings"
  key: "Kieburtz76"
- title: "Programming with Algebras"
  author:
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Jeffrey Lewis"
    link: "https://researchr.org/alias/jeffrey-lewis"
  year: "1995"
  tags:
  - " algebra"
  - "programming"
  researchr: "https://researchr.org/publication/KieburtzL95"
  cites: 0
  citedby: 0
  pages: "267-307"
  booktitle: "afp"
  kind: "inproceedings"
  key: "KieburtzL95"