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: Livshits:V=_Benjamin
Contributed to:
2009
2008
2008
2007
2006
2005
2005
2005
20052003Wrote 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.