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 × Czech Republic
1 × Sweden
1 × Switzerland
Collaborated with:
B.G.Ryder P.Gazzillo M.H.0001 O.Tripp J.Dolby A.Mordahl J.Oh U.Koc P.Mardziel A.Ruef J.S.Foster T.Antonopoulos E.Koskinen T.Terauchi
Talks about:
analysi (5) javascript (4) variabl (2) static (2) sensit (2) decomposit (1) tradeoff (1) imprecis (1) composit (1) behavior (1)

Person: Shiyi Wei

DBLP DBLP: Wei:Shiyi

Contributed to:

ECOOP 20152015
ECOOP 20142014
ISSTA 20132013
FSE 20162016
ESEC/FSE 20192019
ESOP 20182018
PLDI 20172017

Wrote 7 papers:

ECOOP-2015-WeiR #adaptation #analysis #javascript
Adaptive Context-sensitive Analysis for JavaScript (SW, BGR), pp. 712–734.
ECOOP-2014-WeiR #analysis #behaviour #javascript #points-to
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects (SW, BGR), pp. 1–26.
ISSTA-2013-WeiR #analysis #javascript
Practical blended taint analysis for JavaScript (SW, BGR), pp. 336–346.
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.
ESEC-FSE-2019-MordahlOKWG #debugging #detection #empirical #tool support #variability
An empirical study of real-world variability bugs detected by variability-oblivious tools (AM, JO, UK, SW, PG), pp. 50–61.
ESOP-2018-WeiMRF0 #design #java #static analysis #trade-off
Evaluating Design Tradeoffs in Numeric Static Analysis for Java (SW, PM, AR, JSF, MH0), pp. 653–682.
PLDI-2017-AntonopoulosGHK #composition #proving #self
Decomposition instead of self-composition for proving the absence of timing channels (TA, PG, MH0, EK, TT, SW), pp. 362–375.
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.