Travelled to:1 × Canada
1 × Czech Republic
1 × India
1 × Ireland
1 × Italy
1 × Russia
1 × Switzerland
10 × USA
2 × China
Collaborated with:M.Pistoia M.Sagiv P.Ferrara P.Liu X.Zhang J.Dolby P.Liang M.Naik S.Guarnieri O.Weisman N.Rinetzky J.Field Y.Zheng M.Sridharan P.Centonze R.Hay C.Zhang L.Guy E.Koskinen R.Berg T.Tateishi M.Samak M.K.Ramanathan L.Brutschy A.Cortesi R.Manevich G.Yorsh S.Wei B.G.Ryder P.Cousot R.Cousot S.J.Fink A.Aydin D.Piorkowski V.Ganesh S.Subramanian S.Teilhet S.Artzi
Talks about:analysi (7) web (6) applic (5) parallel (4) javascript (3) effect (3) secur (3) dynam (3) abstract (2) privaci (2)
Person: Omer Tripp
DBLP: Tripp:Omer
Contributed to:
2015
2015
2015
2015
2015
2015
201420142014
2013
201320132013201220112011
201120102009201620172016Wrote 24 papers:
- CAV-2015-ZhengGSTDZ #constraints #effectiveness #equation #regular expression #string
- Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints (YZ, VG, SS, OT, JD, XZ), pp. 235–254.
- ECOOP-2015-CentonzePT #analysis
- Access-rights Analysis in the Presence of Subjects (PC, MP, OT), pp. 222–246.
- ISSTA-2015-HayTP #android #communication #detection
- Dynamic detection of inter-application communication vulnerabilities in Android (RH, OT, MP), pp. 118–128.
- OOPSLA-2015-BrutschyFTP #named #resource management
- ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.
- PLDI-2015-0010ZTZ #bound #named
- Light: replay via tightly bounded recording (PL, XZ, OT, YZ), pp. 55–64.
- VMCAI-2015-CortesiFPT #mobile #policy #privacy #semantics #verification
- Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (AC, PF, MP, OT), pp. 61–79.
- FSE-2014-0010TZ #concurrent #debugging #named
- Grail: context-aware fixing of concurrency bugs (PL, OT, CZ), pp. 318–329.
- ISSTA-2014-TrippFP #analysis #hybrid #javascript #partial evaluation #security #web
- Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.
- OOPSLA-2014-LiuTZ #named
- Flint: fixing linearizability violations (PL, OT, XZ), pp. 543–560.
- ESEC-FSE-2013-TrippR #adaptation #named #parallel
- Tightfit: adaptive parallelization with foresight (OT, NR), pp. 169–179.
- FASE-2013-TrippPCCG #analysis #named #scalability #security #web
- Andromeda: Accurate and Scalable Security Analysis of Web Applications (OT, MP, PC, RC, SG), pp. 210–225.
- ISSTA-2013-TrippWG #approach #learning #security #testing #web
- Finding your way in the testing jungle: a learning approach to web security testing (OT, OW, LG), pp. 347–357.
- OOPSLA-2013-TrippKS #nondeterminism #parallel
- Turning nondeterminism into parallelism (OT, EK, MS), pp. 589–604.
- PLDI-2012-TrippMFS #named #parallel
- JANUS: exploiting parallelism via hindsight (OT, RM, JF, MS), pp. 145–156.
- ISSTA-2011-GuarnieriPTDTB #javascript #web
- Saving the world wide web from vulnerable JavaScript (SG, MP, OT, JD, ST, RB), pp. 177–187.
- ISSTA-2011-TateishiPT #analysis #higher-order #logic #monad #string
- Path- and index-sensitive string analysis based on monadic second-order logic (TT, MP, OT), pp. 166–176.
- OOPSLA-2011-SridharanAPGTB #analysis #named #web
- F4F: taint analysis of framework-based web applications (MS, SA, MP, SG, OT, RB), pp. 1053–1068.
- OOPSLA-2011-TrippYFS #data flow #effectiveness #named #parallel
- HAWKEYE: effective discovery of dataflow impediments to parallelization (OT, GY, JF, MS), pp. 207–224.
- POPL-2011-LiangTN #abstraction #learning
- Learning minimal abstractions (PL, OT, MN), pp. 31–42.
- OOPSLA-2010-LiangTNS #abstraction #evaluation #precise
- A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.
- PLDI-2009-TrippPFSW #analysis #effectiveness #named #web
- TAJ: effective taint analysis of web applications (OT, MP, SJF, MS, OW), pp. 87–97.
- FSE-2016-WeiTRD #javascript #locality #static analysis
- Revamping JavaScript static analysis via localization and remediation of root causes of imprecision (SW, OT, BGR, JD), pp. 487–498.
- FASE-2017-AydinPTFP #mobile #policy #privacy #visual notation
- Visual Configuration of Mobile Privacy Policies (AA, DP, OT, PF, MP), pp. 338–355.
- OOPSLA-2016-SamakTR #concurrent #synthesis
- Directed synthesis of failing concurrent executions (MS, OT, MKR), pp. 430–446.