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 × Brazil
1 × Canada
1 × China
1 × Korea
5 × USA
Collaborated with:
G.L.S.Jr. M.Moir S.Ryu J.J.Hallett V.J.Marathe E.E.Allen Y.Lev D.Chase M.Herlihy R.Colvin L.Groves D.Dice Y.Liu J.Maessen I.Calciu D.Dice N.Shavit P.Damron A.Fedorova D.Nussbaum J.Hilburn S.Kilpatrick
Talks about:
multipl (6) transact (5) dispatch (4) memori (3) algorithm (2) coercion (2) modular (2) inherit (2) concurr (2) writer (2)

Person: Victor Luchangco

DBLP DBLP: Luchangco:Victor

Contributed to:

PPoPP 20132013
OOPSLA 20112011
PPoPP 20112011
SAC 20082008
SAC 20082010
SAC 20072007
ASPLOS 20062006
CAV 20062006
OOPSLA 20062006
OOPSLA 20042004

Wrote 11 papers:

PPoPP-2013-CalciuDLLMS
NUMA-aware reader-writer locks (IC, DD, YL, VL, VJM, NS), pp. 157–166.
PPoPP-2013-DiceLLLM #algorithm #hardware #memory management #transaction #using
Using hardware transactional memory to correct and simplify and readers-writer lock algorithm (DD, YL, YL, VL, MM), pp. 261–270.
OOPSLA-2011-AllenHKLRCS #composition #inheritance #morphism #multi #parametricity #polymorphism #type checking
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance (EEA, JH, SK, VL, SR, DC, GLSJ), pp. 973–992.
PPoPP-2011-LuchangcoM #concurrent #transaction
Transaction communicators: enabling cooperation among concurrent transactions (VL, VJM), pp. 169–178.
SAC-2008-HallettLRS #multi #type system
Integrating coercion with subtyping and multiple dispatch (JJH, VL, SR, GLSJ), pp. 166–170.
SAC-OOPS-J-2008-HallettLRS10 #multi #type system
Integrating coercion with subtyping and multiple dispatch (JJH, VL, SR, GLSJ), pp. 787–795.
SAC-2007-AllenHLRS #composition #inheritance #multi
Modular multiple dispatch with multiple inheritance (EEA, JJH, VL, SR, GLSJ), pp. 1117–1121.
ASPLOS-2006-DamronFLLMN #hybrid #memory management #transaction
Hybrid transactional memory (PD, AF, YL, VL, MM, DN), pp. 336–346.
CAV-2006-ColvinGLM #algorithm #concurrent #lazy evaluation #set #verification
Formal Verification of a Lazy Concurrent List-Based Set Algorithm (RC, LG, VL, MM), pp. 475–488.
OOPSLA-2006-HerlihyLM #flexibility #framework #implementation #memory management #transaction
A flexible framework for implementing software transactional memory (MH, VL, MM), pp. 253–262.
OOPSLA-2004-AllenCLMS #metric #object-oriented
Object-oriented units of measurement (EEA, DC, VL, JWM, GLSJ), pp. 384–403.

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.