Shane Markstrum
Shane Markstrum
Geverifieerd e-mailadres voor google.com
Titel
Geciteerd door
Geciteerd door
Jaar
A framework for implementing pluggable type systems
C Andreae, J Noble, S Markstrum, T Millstein
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented …, 2006
3072006
Semantic type qualifiers
B Chin, S Markstrum, T Millstein
ACM SIGPLAN Notices 40 (6), 85-95, 2005
862005
Staking claims: a history of programming language design claims and evidence: a positional work in progress
S Markstrum
Evaluation and Usability of Programming Languages and Tools, 1-5, 2010
472010
JavaCOP: Declarative pluggable types for Java
S Markstrum, D Marino, M Esquivel, T Millstein, C Andreae, J Noble
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (2), 1-37, 2010
422010
Inference of user-defined type qualifiers and qualifier rules
B Chin, S Markstrum, T Millstein, J Palsberg
European Symposium on Programming, 264-278, 2006
362006
Towards concurrency refactoring for x10
SA Markstrum, RM Fuhrer, TD Millstein
ACM Sigplan Notices 44 (4), 303-304, 2009
242009
Mobile contagion: Simulation of infection & defense
E Anderson, K Eustice, S Markstrum, M Hansen, P Reiher
Workshop on Principles of Advanced and Distributed Simulation (PADS'05), 80-87, 2005
242005
Securing nomads: the case for quarantine, examination, and decontamination
K Eustice, L Kleinrock, S Markstrum, G Popek, V Ramakrishna, P Reiher
Proceedings of the 2003 workshop on New security paradigms, 123-128, 2003
202003
Enabling Secure Ubiquitous Interactions.
K Eustice, L Kleinrock, S Markstrum, GJ Popek, V Ramakrishna, ...
Middleware Workshops, 76-80, 2003
122003
Static checking for dynamic resource management in sensor network systems
R Shea, S Markstrum, T Millstein, R Majumdar, MB Srivastava
Technical Report TRUCLA-NESL-200611-02, UCLA, 2006
52006
Extracting concurrency via refactoring in X10
SA Markstrum, RM Fuhrer
Proceedings of the 3rd ACM Workshop on Refactoring Tools, WRT 9, 2009
42009
T.: Practical enforcement and testing of pluggable type systems
S Markstrum, D Marino, M Esquivel, T Millstein
42008
Evaluation and usability of programming languages and tools (PLATEAU)
E Murphy-Hill, S Markstrum, C Anslow
Proceedings of the ACM international conference companion on Object oriented …, 2010
22010
Enforcing and validating user-defined programming disciplines
SA Markstrum
University of California, Los Angeles, 2009
12009
Enforcing and validating user-defined programming disciplines
B Chin, D Marino, S Markstrum, T Millstein
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
12007
Evaluation and usability of programming languages and tools (PLATEAU)
S Markstrum, E Murphy-Hill, C Sadowski
Proceedings of the 3rd annual conference on Systems, programming, and …, 2012
2012
Proceedings of the ACM 4th annual workshop on Evaluation and usability of programming languages and tools (PLATEAU)
E Murphy-Hill, C Sadowski, S Markstrum
2012
Using Graph Theory Visualization to Motivate Software Engineering Concepts
S Markstrum, GM Haggard
American Society for Engineering Education, 2011
2011
Evaluation and Usability of Programming Languages and Tools (PLATEAU): PLATEAU 2009
C Anslow, S Markstrum, E Murphy-Hill
School of Engineering and Computer Science, Victoria University of Wellington, 2010
2010
Evaluation and usability of programming languages and tools (plateau)
C Anslow, S Markstrum, E Murphy-Hill
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
2009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20