BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
4 × USA
Collaborated with:
R.Harper J.Tucek G.Graefe H.A.Kuno A.C.Veitch C.Flanagan K.R.M.Leino G.Nelson J.B.Saxe R.Stata H.Volos H.Kimura M.Zheng D.Huang F.Qin E.S.Yang B.W.Zhao S.Singh
Talks about:
polymorph (1) explicit (1) approach (1) theoret (1) perform (1) databas (1) convers (1) control (1) violat (1) tortur (1)

Person: Mark Lillibridge

DBLP DBLP: Lillibridge:Mark

Contributed to:

VLDB 20152014
OSDI 20142014
SIGMOD 20132013
PLDI 20022002
POPL 19941994
POPL 19931993

Wrote 6 papers:

VLDB-2015-GraefeVKKTLV14 #big data #in memory #performance
In-Memory Performance for Big Data (GG, HV, HK, HAK, JT, ML, ACV), pp. 37–48.
OSDI-2014-ZhengTHQLYZS #database
Torturing Databases for Fun and Profit (MZ, JT, DH, FQ, ML, ESY, BWZ, SS), pp. 449–464.
Controlled lock violation (GG, ML, HAK, JT, ACV), pp. 85–96.
PLDI-2002-FlanaganLLNSS #java #static analysis
Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.
POPL-1994-HarperL #approach #higher-order
A Type-Theoretic Approach to Higher-Order Modules with Sharing (RH, ML), pp. 123–137.
POPL-1993-HarperL #continuation #morphism #polymorphism
Explicit Polymorphism and CPS Conversion (RH, ML), pp. 206–219.

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.