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 × China
1 × Finland
1 × Ireland
1 × Portugal
6 × USA
Collaborated with:
M.S.Lam E.Kiciman T.Zimmermann M.C.Martin J.Whaley D.Avots A.V.Nori S.K.Rajamani A.Banerjee S.Breu C.Lindig M.Dalton M.Carbin C.Unkel
Talks about:
applic (4) program (3) secur (3) mine (3) web (3) softwar (2) pointer (2) context (2) analysi (2) sensit (2)

Person: V. Benjamin Livshits

DBLP DBLP: Livshits:V=_Benjamin

Contributed to:

PLDI 20092009
FSE 20082008
PEPM 20082008
SOSP 20072007
MSR 20062006
ESEC/FSE 20052005
ICSE 20052005
OOPSLA 20052005
PODS 20052005
ESEC/FSE 20032003

Wrote 10 papers:

PLDI-2009-LivshitsNRB #data flow #named #problem #specification
Merlin: specification inference for explicit information flow problems (VBL, AVN, SKR, AB), pp. 75–86.
FSE-2008-LivshitsK #bound #named #web
Doloto: code splitting for network-bound web 2.0 applications (VBL, EK), pp. 350–360.
PEPM-2008-LamMLW #data flow #information management #web
Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.
SOSP-2007-KicimanL #behaviour #framework #monitoring #named #platform #web
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications (EK, VBL), pp. 17–30.
MSR-2006-ZimmermannBLL #mining
Mining additions of method calls in ArgoUML (TZ, SB, CL, VBL), pp. 169–170.
ESEC-FSE-2005-LivshitsZ #fault #mining #named
DynaMine: finding common error patterns by mining software revision histories (VBL, TZ), pp. 296–305.
ICSE-2005-AvotsDLL #analysis #c #pointer #security
Improving software security with a C pointer analysis (DA, MD, VBL, MSL), pp. 332–341.
OOPSLA-2005-MartinLL #fault #query #security #using
Finding application errors and security flaws using PQL: a program query language (MCM, VBL, MSL), pp. 365–383.
PODS-2005-LamWLMACU #database #program analysis #query
Context-sensitive program analysis as database queries (MSL, JW, VBL, MCM, DA, MC, CU), pp. 1–12.
ESEC-FSE-2003-LivshitsL #c #context-sensitive grammar #debugging #detection #pointer #source code
Tracking pointers with path and context sensitivity for bug detection in C programs (VBL, MSL), pp. 317–326.

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.