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: "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:
  - name: "Shail Arora"
    link: "https://researchr.org/alias/shail-arora"
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  publisher: "ACM"
  isbn: "978-1-60558-768-4"
  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: "Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005"
  editor:
  - name: "Vivek Sarkar"
    link: "https://researchr.org/alias/vivek-sarkar"
  - name: "Mary W. Hall"
    link: "https://researchr.org/alias/mary-w.-hall"
  publisher: "ACM"
  isbn: "1-59593-056-6"
  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: "Proceedings of the New Security Paradigms Workshop 2003, August 18-21, 2002, Ascona, Switzerland"
  editor:
  - name: "Christian Hempelmann"
    link: "https://researchr.org/alias/christian-hempelmann"
  - name: "Victor Raskin"
    link: "https://researchr.org/alias/victor-raskin"
  publisher: "ACM"
  isbn: "1-58113-880-6"
  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: "Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009"
  editor:
  - name: "Daniel A. Reed"
    link: "https://researchr.org/alias/daniel-a.-reed"
  - name: "Vivek Sarkar"
    link: "https://researchr.org/alias/vivek-sarkar"
  publisher: "ACM"
  isbn: "978-1-60558-397-6"
  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: "Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings"
  editor:
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  volume: "3924"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33095-X"
  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: "International Middleware Conference, Workshop Proceedings, June 16-20, 2003, Rio de Janeiro, Brazil"
  publisher: "PUC-Rio"
  isbn: "85-87926-03-9"
  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: "ACM Transactions on Programming Languages and Systems"
  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: "Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 07, San Diego, California, USA, June 13-14, 2007"
  editor:
  - name: "Manuvir Das"
    link: "https://researchr.org/alias/manuvir-das"
  - name: "Dan Grossman"
    link: "https://researchr.org/alias/dan-grossman"
  publisher: "ACM"
  isbn: "978-1-59593-595-3"
  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: "19th Workshop on Parallel and Distributed Simulation (PADS 2005), June 1-3, 2005, Monterey, CA, USA"
  publisher: "IEEE Computer Society"
  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: "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"
  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: "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: "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"
  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: "inproceedings"
  key: "Murphy-HillMA10"