BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
5 × USA
Collaborated with:
T.D.Millstein B.Chin C.Anslow E.R.Murphy-Hill R.M.Fuhrer D.Marino J.Palsberg C.Andreae J.Noble
Talks about:
qualifi (3) type (3) program (2) defin (2) user (2) implement (1) framework (1) disciplin (1) refactor (1) pluggabl (1)

♂ Person: Shane Markstrum

DBLP DBLP: Markstrum:Shane

Facilitated 6 volumes:

PLATEAU 2012Ed
LDTA 2011PrCo
PLATEAU 2011Ed
LDTA 2010PrCo
PLATEAU 2009Ed
PLATEAU 2010Ed

Contributed to:

Onward! 20112011
PPoPP 20092009
PASTE 20072007
ESOP 20062006
OOPSLA 20062006
PLDI 20052005

Wrote 6 papers:

Onward-2011-AnslowMM #evaluation #programming language #tool support #usability
Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
PPoPP-2009-MarkstrumFM #concurrent #refactoring #towards
Towards concurrency refactoring for x10 (SM, RMF, TDM), pp. 303–304.
PASTE-2007-ChinMMM #programming #validation
Enforcing and validating user-defined programming disciplines (BC, DM, SM, TDM), pp. 85–86.
ESOP-2006-ChinMMP
Inference of User-Defined Type Qualifiers and Qualifier Rules (BC, SM, TDM, JP), pp. 264–278.
OOPSLA-2006-AndreaeNMM #framework #implementation #type system
A framework for implementing pluggable type systems (CA, JN, SM, TDM), pp. 57–74.
PLDI-2005-ChinMM #semantics
Semantic type qualifiers (BC, SM, TDM), pp. 85–95.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.