Travelled to:1 × Canada
1 × India
1 × Russia
1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:D.Molnar M.Veanes S.Chong Thodoris Sotiropoulos L.D'Antoni N.Swamy J.Chen E.Mutlu S.Tasiran A.Kobsa B.P.Knijnenburg M.Madsen M.Fanning D.Garbervetsky E.Zoppi T.Mytkowicz R.A.Cochran J.Weinberger C.Schlesinger P.Hooimeijer N.Bjørner M.Gligoric W.Schulte C.Prasad D.v.Velzen I.Narasamdya C.Fournet P.Dagand P.Strub
Talks about:program (5) analysi (5) javascript (4) static (3) transduc (2) manipul (2) toward (2) applic (2) fulli (2) base (2)
Person: Benjamin Livshits
DBLP: Livshits:Benjamin
Contributed to:
2015
2015
2014
2014
201420132013201320122017
2019Wrote 13 papers:
- ESEC-FSE-2015-MutluTL #detection #javascript #matter
- Detecting JavaScript races that matter (EM, ST, BL), pp. 381–392.
- POPL-2015-CochranDLMV #synthesis
- Program Boosting: Program Synthesis via Crowd-Sourcing (RAC, LD, BL, DM, MV), pp. 677–688.
- POPL-2015-VeanesMML #source code #string
- Data-Parallel String-Manipulating Programs (MV, TM, DM, BL), pp. 139–152.
- CHI-2014-KobsaKL #behaviour #personalisation #privacy
- Let’s do it at my place instead?: attitudinal and behavioral study of privacy in client-side personalization (AK, BPK, BL), pp. 81–90.
- OOPSLA-2014-GligoricSPVNL #automation #dynamic analysis #migration #refactoring #search-based #using
- Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
- PLDI-2014-DAntoniVLM #named #performance #transducer
- Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.
- ESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis
- Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
- PLDI-2013-SwamyWSCL #higher-order #monad #source code #verification
- Verifying higher-order programs with the dijkstra monad (NS, JW, CS, JC, BL), pp. 387–398.
- POPL-2013-FournetSCDSL #compilation #javascript
- Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.
- POPL-2013-LivshitsC #automation #classification #security #towards
- Towards fully automatic placement of security sanitizers and declassifiers (BL, SC), pp. 385–398.
- POPL-2012-VeanesHLMB #algorithm #finite #transducer
- Symbolic finite state transducers: algorithms and applications (MV, PH, BL, DM, NB), pp. 137–150.
- ESEC-FSE-2017-GarbervetskyZL #distributed #static analysis #towards
- Toward full elasticity in distributed static analysis: the case of callgraph analysis (DG, EZ, BL), pp. 442–453.
- ECOOP-2019-SotiropoulosL #javascript #source code #static analysis
- Static Analysis for Asynchronous JavaScript Programs (TS, BL), p. 30.