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 × France
1 × India
1 × South Africa
1 × United Kingdom
2 × Germany
6 × USA
Collaborated with:
M.C.Rinard V.Kuncak B.Demsky L.J.Hendren L.Tan J.Eyolfson E.Bodden R.Vallée-Rai E.Gagnon V.Sundaresan Q.Hanam R.Holmes T.Wies A.Podelski P.Pominville C.Razafimahefa C.Godin
Talks about:
analysi (4) check (3) structur (2) consist (2) alert (2) time (2) java (2) find (2) data (2) sat (2)

Person: Patrick Lam

DBLP DBLP: Lam:Patrick

Contributed to:

OOPSLA 20152015
MSR 20142014
MSR 20112011
ICSE 20102010
FSE 20082008
VMCAI 20062006
CC 20052005
VMCAI 20052005
ECOOP 20032003
POPL 20022002
CC 20002000
OOPSLA 20002000

Wrote 12 papers:

OOPSLA-2015-DemskyL #model checking #named
SATCheck: SAT-directed stateless model checking for SC and TSO (BD, PL), pp. 20–36.
MSR-2014-HanamTHL #ranking #static analysis
Finding patterns in static analysis alerts: improving actionable alert ranking (QH, LT, RH, PL), pp. 152–161.
MSR-2011-EyolfsonTL #commit #debugging #developer #experience
Do time of day and developer experience affect commit bugginess (JE, LT, PL), pp. 153–162.
ICSE-2010-DemskyL #concurrent #named
Views: object-inspired concurrency control (BD, PL), pp. 395–404.
FSE-2008-BoddenLH #fault #monitoring #programming #runtime
Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.
VMCAI-2006-WiesKLPR #analysis #constraints
Field Constraint Analysis (TW, VK, PL, AP, MCR), pp. 157–173.
CC-2005-LamKR #consistency #data type #named #verification
Hob: A Tool for Verifying Data Structure Consistency (PL, VK, MCR), pp. 237–241.
VMCAI-2005-LamKR #consistency #data type #type system
Generalized Typestate Checking for Data Structure Consistency (PL, VK, MCR), pp. 430–447.
ECOOP-2003-LamR #analysis #automation #design #type system
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information (PL, MCR), pp. 275–302.
POPL-2002-KuncakLR #analysis
Role analysis (VK, PL, MCR), pp. 17–32.
CC-2000-Vallee-RaiGHLPS #bytecode #framework #java #optimisation #question #using
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? (RVR, EG, LJH, PL, PP, VS), pp. 18–34.
OOPSLA-2000-SundaresanHRVLGG #java
Practical virtual method call resolution for Java (VS, LJH, CR, RVR, PL, EG, CG), pp. 264–280.
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.