Concepedia

Shane Markstrum

SM

10

Publications

329

Citations

10

H-Index

2003

Active since

Affiliations

University of California, Los Angeles(Current)

Victoria University of Wellington

Bucknell University

IBM (United States)

Shane Markstrum is an author at University of California, Los Angeles specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware EngineeringVerificationFormal VerificationSoftware DesignSystem Software

Publications per year

2003–2010

10

Publications

10

A framework for implementing pluggable type systems

Chris Andreae, James Noble, Shane Markstrum et al. · 2006 · 94 citations

Engineering, Type Theory, Verification +19

Semantic type qualifiers

Brian Chin, Shane Markstrum, Todd Millstein · ACM SIGPLAN Notices · 2005 · 58 citations

Program Checking, Engineering, Type Theory +23

Shane Markstrum, Daniel Marino, Matthew Esquivel et al. · ACM Transactions on Programming Languages and Systems · 2010 · 44 citations · Full text

Program Checking, Engineering, Program Analysis +12

Semantic type qualifiers

Brian Chin, Shane Markstrum, Todd Millstein · 2005 · 40 citations

Program Checking, Engineering, Type Theory +23

Staking claims: a history of programming language design claims and evidence

Shane Markstrum · Evaluation and Usability of Programming Languages and Tools · 2010 · 28 citations

Engineering, Multilingualism, Verification +32

Rows per page

1–5 of 10