Shane Markstrum

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Evaluation and usability of programming languages and tools (PLATEAU).
Proceedings of the SPLASH'12, 2012

2010
JavaCOP: Declarative pluggable types for java.
ACM Trans. Program. Lang. Syst., 2010

Staking claims: a history of programming language design claims and evidence: a positional work in progress.
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).
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009
Towards concurrency refactoring for x10.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

2007
Enforcing and validating user-defined programming disciplines.
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.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Inference of User-Defined Type Qualifiers and Qualifier Rules.
Proceedings of the Programming Languages and Systems, 2006

2005
Semantic type qualifiers.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Mobile Contagion: Simulation of Infection and Defense.
Proceedings of the 19th Workshop on Parallel and Distributed Simulation, 2005

2003
Securing nomads: the case for quarantine, examination, and decontamination.
Proceedings of the New Security Paradigms Workshop 2003, 2003

Enabling Secure Ubiquitous Interactions.
Proceedings of the International Middleware Conference, 2003


  Loading...