@inproceedings{AnslowMM09,
  title = {Evaluation and usability of programming languages and tools (plateau)},
  author = {Craig Anslow and Shane Markstrum and Emerson R. Murphy-Hill},
  year = {2009},
  doi = {10.1145/1639950.1640085},
  url = {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 = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-768-4},
}

@inproceedings{Markstrum2010,
  title = {Staking Claims: A History of Programming Language Design Claims and Evidence. A Positional Work in Progress},
  author = {Shane Markstrum},
  year = {2010},
  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)},
}

@inproceedings{ChinMM05,
  title = {Semantic type qualifiers},
  author = {Brian Chin and Shane Markstrum and Todd D. Millstein},
  year = {2005},
  doi = {10.1145/1065010.1065022},
  url = {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 = {Vivek Sarkar and Mary W. Hall},
  publisher = {ACM},
  isbn = {1-59593-056-6},
}

@inproceedings{EusticeKMPRR03:0,
  title = {Securing nomads: the case for quarantine, examination, and decontamination},
  author = {Kevin Eustice and Leonard Kleinrock and Shane Markstrum and Gerald J. Popek and Venkatraman Ramakrishna and Peter L. Reiher},
  year = {2003},
  doi = {10.1145/986655.986673},
  url = {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 = {Christian Hempelmann and Victor Raskin},
  publisher = {ACM},
  isbn = {1-58113-880-6},
}

@inproceedings{MarkstrumFM09,
  title = {Towards concurrency refactoring for x10},
  author = {Shane Markstrum and Robert M. Fuhrer and Todd D. Millstein},
  year = {2009},
  doi = {10.1145/1504176.1504226},
  url = {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 = {Daniel A. Reed and Vivek Sarkar},
  publisher = {ACM},
  isbn = {978-1-60558-397-6},
}

@inproceedings{ChinMMP06,
  title = {Inference of User-Defined Type Qualifiers and Qualifier Rules},
  author = {Brian Chin and Shane Markstrum and Todd D. Millstein and Jens Palsberg},
  year = {2006},
  doi = {10.1007/11693024_18},
  url = {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 = {Peter Sestoft},
  volume = {3924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33095-X},
}

@inproceedings{EusticeKMPRR03,
  title = {Enabling Secure Ubiquitous Interactions},
  author = {Kevin Eustice and Leonard Kleinrock and Shane Markstrum and Gerald J. Popek and Venkatraman Ramakrishna and 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},
}

@article{MarkstrumMEMAN10,
  title = {JavaCOP: Declarative pluggable types for java},
  author = {Shane Markstrum and Daniel Marino and Matthew Esquivel and Todd D. Millstein and Chris Andreae and James Noble},
  year = {2010},
  doi = {10.1145/1667048.1667049},
  url = {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},
}

@inproceedings{ChinMMM07,
  title = {Enforcing and validating user-defined programming disciplines},
  author = {Brian Chin and Daniel Marino and Shane Markstrum and Todd D. Millstein},
  year = {2007},
  doi = {10.1145/1251535.1251550},
  url = {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 = {Manuvir Das and Dan Grossman},
  publisher = {ACM},
  isbn = {978-1-59593-595-3},
}

@inproceedings{AndersonEMHR05,
  title = {Mobile Contagion: Simulation of Infection and Defense},
  author = {Everett Anderson and Kevin Eustice and Shane Markstrum and Mark H. Hansen and Peter L. Reiher},
  year = {2005},
  doi = {10.1145/1069810.1070163},
  url = {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},
}

@inproceedings{AndreaeNMM06,
  title = {A framework for implementing pluggable type systems},
  author = {Chris Andreae and James Noble and Shane Markstrum and Todd D. Millstein},
  year = {2006},
  doi = {10.1145/1167473.1167479},
  url = {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},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-348-4},
}

@inproceedings{Murphy-HillMA10,
  title = {Evaluation and usability of programming languages and tools (PLATEAU)},
  author = {Emerson R. Murphy-Hill and Shane Markstrum and Craig Anslow},
  year = {2010},
  doi = {10.1145/1869542.1869605},
  url = {http://doi.acm.org/10.1145/1869542.1869605},
  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 = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  publisher = {ACM},
  isbn = {978-1-4503-0240-1},
}