@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 = {OOPSLA}, } @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 = {PLDI}, } @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 = {nspw}, } @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 = {ppopp}, } @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 = {ESOP}, } @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 = {middleware}, } @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 = {TOPLAS}, 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 = {PASTE}, } @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 = {pads}, } @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 = {OOPSLA}, } @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 = {OOPSLA}, }