BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:
S.Shinde I.Parameshwaran E.Budianto H.Dang A.Sadhu M.Fazzini A.Orso R.Sekar V.Puranik L.Luu B.Demsky P.Poosankam S.McCamant D.Song
Talks about:
binari (2) applic (2) base (2) auto (2) xss (2) dom (2) csp (2) instrumentationwith (1) constraint (1) retrofit (1)

Person: Prateek Saxena

DBLP DBLP: Saxena:Prateek

Contributed to:

ESEC/FSE 20152015
ICSE 20152015
PLDI 20142014
ISSTA 20092009
CGO 20082008

Wrote 6 papers:

ESEC-FSE-2015-ParameshwaranBS #scalability
Auto-patching DOM-based XSS at scale (IP, EB, SS, HD, AS, PS), pp. 272–283.
ESEC-FSE-2015-ParameshwaranBS15a #framework #named #platform #robust #testing
DexterJS: robust testing platform for DOM-based XSS vulnerabilities (IP, EB, SS, HD, AS, PS), pp. 946–949.
ICSE-v1-2015-FazziniSO #automation #csp #named #web
AutoCSP: Automatically Retrofitting CSP to Web Applications (MF, PS, AO), pp. 336–346.
PLDI-2014-LuuSSD #bound #constraints #string
A model counter for constraints over unbounded strings (LL, SS, PS, BD), p. 57.
ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation
Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.
CGO-2008-SaxenaSP #fine-grained #performance
Efficient fine-grained binary instrumentationwith applications to taint-tracking (PS, RS, VP), pp. 74–83.

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.