Enabling Secure Ubiquitous Interactions. - Kevin Eustice; Leonard Kleinrock; Shane Markstrum; Gerald J. Popek; Venkatraman Ramakrishna; Peter L. Reiher (Middleware Workshops, 2003)

Securing nomads: the case for quarantine, examination, and decontamination. - Kevin Eustice; Leonard Kleinrock; Shane Markstrum; Gerald J. Popek; Venkatraman Ramakrishna; Peter L. Reiher (NSPW, 2003)

Mobile Contagion: Simulation of Infection and Defense. - Everett Anderson; Kevin Eustice; Shane Markstrum; Mark H. Hansen; Peter L. Reiher (PADS, 2005)

Semantic type qualifiers. - Brian Chin; Shane Markstrum; Todd D. Millstein (PLDI, 2005)

Inference of User-Defined Type Qualifiers and Qualifier Rules. - Brian Chin; Shane Markstrum; Todd D. Millstein; Jens Palsberg (ESOP, 2006)

A framework for implementing pluggable type systems. - Chris Andreae; James Noble 001; Shane Markstrum; Todd D. Millstein (OOPSLA, 2006)

Enforcing and validating user-defined programming disciplines. - Brian Chin; Daniel Marino; Shane Markstrum; Todd D. Millstein (PASTE, 2007)

Towards concurrency refactoring for x10. - Shane Markstrum; Robert M. Fuhrer; Todd D. Millstein (PPoPP, 2009)

Evaluation and usability of programming languages and tools (PLATEAU). - Emerson R. Murphy-Hill; Shane Markstrum; Craig Anslow (SPLASH/OOPSLA Companion, 2010)

Staking claims: a history of programming language design claims and evidence: a positional work in progress. - Shane Markstrum (PLATEAU, 2010)

JavaCOP: Declarative pluggable types for java. - Shane Markstrum; Daniel Marino; Matthew Esquivel; Todd D. Millstein; Chris Andreae; James Noble 001 (ACM Trans. Program. Lang. Syst., 2010)

Evaluation and usability of programming languages and tools (PLATEAU). - Shane Markstrum; Emerson R. Murphy-Hill; Caitlin Sadowski (SPLASH, 2012)