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: Lillibridge:Mark
Contributed to:
2014
2014
2013
2002
19941993Wrote 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.
- SIGMOD-2013-GraefeLKTV
- 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.