Shane Markstrum

According to our database, Shane Markstrum authored at least 12 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Evaluation and usability of programming languages and tools (PLATEAU).

Shane Markstrum, Emerson R. Murphy-Hill, Caitlin Sadowski

Proceedings of the SPLASH'12, 2012

2010

JavaCOP: Declarative pluggable types for java.

Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble

ACM Trans. Program. Lang. Syst., 2010

Staking claims: a history of programming language design claims and evidence: a positional work in progress.

Shane Markstrum

Proceedings of the 2nd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools, 2010

Evaluation and usability of programming languages and tools (PLATEAU).

Emerson R. Murphy-Hill, Shane Markstrum, Craig Anslow

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Towards concurrency refactoring for x10.

Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

2007

Enforcing and validating user-defined programming disciplines.

Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2006

A framework for implementing pluggable type systems.

Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Inference of User-Defined Type Qualifiers and Qualifier Rules.

Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg

Proceedings of the Programming Languages and Systems, 2006

2005

Semantic type qualifiers.

Brian Chin, Shane Markstrum, Todd D. Millstein

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Mobile Contagion: Simulation of Infection and Defense.

Everett Anderson, Kevin Eustice, Shane Markstrum, Mark H. Hansen, Peter L. Reiher

Proceedings of the 19th Workshop on Parallel and Distributed Simulation, 2005

2003

Securing nomads: the case for quarantine, examination, and decontamination.

Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher

Proceedings of the New Security Paradigms Workshop 2003, 2003

Enabling Secure Ubiquitous Interactions.

Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher

Proceedings of the International Middleware Conference, 2003