publications:
- title: "Evaluation and usability of programming languages and tools (plateau)"
  author:
  - name: "Craig Anslow"
    link: "http://homepages.ecs.vuw.ac.nz/~craig/"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Emerson R. Murphy-Hill"
    link: "https://researchr.org/alias/emerson-r.-murphy-hill"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1639950.1640085"
  links:
    doi: "http://doi.acm.org/10.1145/1639950.1640085"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/AnslowMM09"
  cites: 0
  citedby: 0
  pages: "1053-1054"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "AnslowMM09"
- title: "Staking Claims: A History of Programming Language Design Claims and Evidence. A Positional Work in Progress"
  author:
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  year: "2010"
  abstract: "While still a relatively young field, computer science has a vast body of knowledge in the domain of programming languages. When a new language is introduced, its designers make claims which distinguish their language from previous languages. However, it often feels like language designers do not feel a pressing need to back these claims with evidence beyond personal anecdotes. Peer reviewers are likely to agree. In this paper, we present preliminary work which revisits the history of such claims by examining a number of language design papers which span the history of programming language development.We focus on the issue of claimevidence correspondence, or determining how often claims are or are not backed by evidence. These preliminary results confirm that unsupported claims have been around since the inception of higher level programming in the 1950s. We stake a position that this behavior is unacceptable for the health of the research community.We should be more aware of valiant and effective efforts for supplying evidence to support language design claims."
  tags:
  - "programming languages"
  - "design science"
  - "design research"
  - "language design"
  - "source-to-source"
  - "e-science"
  - "programming"
  - "context-aware"
  - "peer-to-peer"
  - "history"
  - "design"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/Markstrum2010"
  cites: 11
  citedby: 0
  booktitle: "Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)"
  kind: "inproceedings"
  key: "Markstrum2010"
- title: "Semantic type qualifiers"
  author:
  - name: "Brian Chin"
    link: "https://researchr.org/alias/brian-chin"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1065010.1065022"
  links:
    doi: "http://doi.acm.org/10.1145/1065010.1065022"
  researchr: "https://researchr.org/publication/ChinMM05"
  cites: 0
  citedby: 0
  pages: "85-95"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "ChinMM05"
- title: "Securing nomads: the case for quarantine, examination, and decontamination"
  author:
  - name: "Kevin Eustice"
    link: "https://researchr.org/alias/kevin-eustice"
  - name: "Leonard Kleinrock"
    link: "https://researchr.org/alias/leonard-kleinrock"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Gerald J. Popek"
    link: "https://researchr.org/alias/gerald-j.-popek"
  - name: "Venkatraman Ramakrishna"
    link: "https://researchr.org/alias/venkatraman-ramakrishna"
  - name: "Peter L. Reiher"
    link: "https://researchr.org/alias/peter-l.-reiher"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/986655.986673"
  links:
    doi: "http://doi.acm.org/10.1145/986655.986673"
  researchr: "https://researchr.org/publication/EusticeKMPRR03%3A0"
  cites: 0
  citedby: 0
  pages: "123-128"
  booktitle: "nspw"
  kind: "inproceedings"
  key: "EusticeKMPRR03:0"
- title: "Towards concurrency refactoring for x10"
  author:
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Robert M. Fuhrer"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/fuhrer.index.html"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1504176.1504226"
  links:
    doi: "http://doi.acm.org/10.1145/1504176.1504226"
  tags:
  - "refactoring"
  researchr: "https://researchr.org/publication/MarkstrumFM09"
  cites: 0
  citedby: 0
  pages: "303-304"
  booktitle: "ppopp"
  kind: "inproceedings"
  key: "MarkstrumFM09"
- title: "Inference of User-Defined Type Qualifiers and Qualifier Rules"
  author:
  - name: "Brian Chin"
    link: "https://researchr.org/alias/brian-chin"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11693024_18"
  links:
    doi: "http://dx.doi.org/10.1007/11693024_18"
  tags:
  - "type inference"
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/ChinMMP06"
  cites: 0
  citedby: 0
  pages: "264-278"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "ChinMMP06"
- title: "Enabling Secure Ubiquitous Interactions"
  author:
  - name: "Kevin Eustice"
    link: "https://researchr.org/alias/kevin-eustice"
  - name: "Leonard Kleinrock"
    link: "https://researchr.org/alias/leonard-kleinrock"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Gerald J. Popek"
    link: "https://researchr.org/alias/gerald-j.-popek"
  - name: "Venkatraman Ramakrishna"
    link: "https://researchr.org/alias/venkatraman-ramakrishna"
  - name: "Peter L. Reiher"
    link: "https://researchr.org/alias/peter-l.-reiher"
  year: "2003"
  researchr: "https://researchr.org/publication/EusticeKMPRR03"
  cites: 0
  citedby: 0
  pages: "76-80"
  booktitle: "middleware"
  kind: "inproceedings"
  key: "EusticeKMPRR03"
- title: "JavaCOP: Declarative pluggable types for java"
  author:
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Daniel Marino"
    link: "https://researchr.org/alias/daniel-marino"
  - name: "Matthew Esquivel"
    link: "https://researchr.org/alias/matthew-esquivel"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Chris Andreae"
    link: "https://researchr.org/alias/chris-andreae"
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1667048.1667049"
  links:
    doi: "http://doi.acm.org/10.1145/1667048.1667049"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/MarkstrumMEMAN10"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "32"
  number: "2"
  kind: "article"
  key: "MarkstrumMEMAN10"
- title: "Enforcing and validating user-defined programming disciplines"
  author:
  - name: "Brian Chin"
    link: "https://researchr.org/alias/brian-chin"
  - name: "Daniel Marino"
    link: "https://researchr.org/alias/daniel-marino"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1251535.1251550"
  links:
    doi: "http://doi.acm.org/10.1145/1251535.1251550"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/ChinMMM07"
  cites: 0
  citedby: 0
  pages: "85-86"
  booktitle: "PASTE"
  kind: "inproceedings"
  key: "ChinMMM07"
- title: "Mobile Contagion: Simulation of Infection and Defense"
  author:
  - name: "Everett Anderson"
    link: "https://researchr.org/alias/everett-anderson"
  - name: "Kevin Eustice"
    link: "https://researchr.org/alias/kevin-eustice"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Mark H. Hansen"
    link: "https://researchr.org/alias/mark-h.-hansen"
  - name: "Peter L. Reiher"
    link: "https://researchr.org/alias/peter-l.-reiher"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1069810.1070163"
  links:
    doi: "http://doi.acm.org/10.1145/1069810.1070163"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/AndersonEMHR05"
  cites: 0
  citedby: 0
  pages: "80-87"
  booktitle: "pads"
  kind: "inproceedings"
  key: "AndersonEMHR05"
- title: "A framework for implementing pluggable type systems"
  author:
  - name: "Chris Andreae"
    link: "https://researchr.org/alias/chris-andreae"
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1167473.1167479"
  links:
    doi: "http://doi.acm.org/10.1145/1167473.1167479"
  tags:
  - "type system"
  researchr: "https://researchr.org/publication/AndreaeNMM06"
  cites: 0
  citedby: 0
  pages: "57-74"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "AndreaeNMM06"
- title: "Evaluation and usability of programming languages and tools (PLATEAU)"
  author:
  - name: "Emerson R. Murphy-Hill"
    link: "https://researchr.org/alias/emerson-r.-murphy-hill"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Craig Anslow"
    link: "http://homepages.ecs.vuw.ac.nz/~craig/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1869542.1869605"
  links:
    doi: "http://doi.acm.org/10.1145/1869542.1869605"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/Murphy-HillMA10"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Murphy-HillMA10"
  cites: 0
  citedby: 0
  pages: "265-266"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "Murphy-HillMA10"