| 2007 |
|---|
| 7 | EE | Brian Chin,
Daniel Marino,
Shane Markstrum,
Todd D. Millstein:
Enforcing and validating user-defined programming disciplines.
PASTE 2007: 85-86 |
| 2006 |
|---|
| 6 | EE | Brian Chin,
Shane Markstrum,
Todd D. Millstein,
Jens Palsberg:
Inference of User-Defined Type Qualifiers and Qualifier Rules.
ESOP 2006: 264-278 |
| 5 | EE | Chris Andreae,
James Noble,
Shane Markstrum,
Todd D. Millstein:
A framework for implementing pluggable type systems.
OOPSLA 2006: 57-74 |
| 2005 |
|---|
| 4 | EE | Everett Anderson,
Kevin Eustice,
Shane Markstrum,
Mark Hansen,
Peter L. Reiher:
Mobile Contagion: Simulation of Infection and Defense.
PADS 2005: 80-87 |
| 3 | EE | Brian Chin,
Shane Markstrum,
Todd D. Millstein:
Semantic type qualifiers.
PLDI 2005: 85-95 |
| 2003 |
|---|
| 2 | | Kevin Eustice,
Leonard Kleinrock,
Shane Markstrum,
Gerald J. Popek,
Venkatraman Ramakrishna,
Peter L. Reiher:
Enabling Secure Ubiquitous Interactions.
Middleware Workshops 2003: 76-80 |
| 1 | EE | Kevin Eustice,
Leonard Kleinrock,
Shane Markstrum,
Gerald J. Popek,
Venkatraman Ramakrishna,
Peter L. Reiher:
Securing nomads: the case for quarantine, examination, and decontamination.
NSPW 2003: 123-128 |
