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 × Canada
1 × France
1 × Japan
1 × Portugal
1 × The Netherlands
1 × Turkey
10 × USA
Collaborated with:
N.Zeldovich M.F.Kaashoek G.Sukthankar H.Chen Z.Guo T.Kim F.Long Z.Xu X.Liu Z.Zhang Z.Tatlock Y.Cai J.Feng F.Song A.Solar-Lezama L.Gillibert F.Flin D.Coeurjolly L.Zhao R.Sukthankar A.Yip M.Wu L.Zhou D.Lazar A.Chlipala Z.Jia E.Zhai R.Piskac R.Gu Xun Lao Y.Mao D.Zhou X.Wang J.R.Wilcox D.Woos P.Panchekha M.D.Ernst T.E.Anderson J.Tang T.Xiao H.Zhou J.Zhang X.Zhao C.Ye W.Lin W.Chen H.Lin H.Guo
Talks about:
system (4) applic (4) data (3) base (3) languag (2) analysi (2) select (2) replay (2) kernel (2) improv (2)

Person: Xi Wang


Contributed to:

PLDI 20152015
OOPSLA 20142014
OSDI 20142014
KDD 20132013
SOSP 20132013
ICPR 20122012
OSDI 20122012
SOSP 20112011
FSE 20102010
ICPR 20102010
OSDI 20102010
ESEC/FSE 20092009
SOSP 20092009
OSDI 20082008
PLDI 20082008
ICEIS v2 20032003
OOPSLA 20172017

Wrote 18 papers:

PLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification
Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
OOPSLA-2014-XiaoGZZZYWLCZ #named #reduction #source code
Cybertron: pushing the limit on I/O reduction in data-parallel programs (TX, ZG, HZ, JZ, XZ, CY, XW, WL, WC, LZ), pp. 895–908.
OSDI-2014-ChenKWZK #identification #web
Identifying Information Disclosure in Web Applications with Retroactive Auditing (HC, TK, XW, NZ, MFK), pp. 555–569.
OSDI-2014-WangLZCT #framework #interpreter #kernel #named
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (XW, DL, NZ, AC, ZT), pp. 33–47.
KDD-2013-WangS #classification #multi #relational #social #using
Multi-label relational neighbor classification using social context features (XW, GS), pp. 464–472.
SOSP-2013-WangZKS #behaviour #towards
Towards optimization-safe systems: analyzing the impact of undefined behavior (XW, NZ, MFK, ASL), pp. 260–275.
ICPR-2012-WangGFC #analysis #segmentation
Curvature-driven volumetric segmentation of binary shapes: An application to snow microstructure analysis (XW, LG, FF, DC), pp. 742–745.
OSDI-2012-WangCJZK #integer #security
Improving Integer Security for Systems with KINT (XW, HC, ZJ, NZ, MFK), pp. 163–177.
SOSP-2011-MaoCZWZK #api #fault #multi
Software fault isolation with API integrity and multi-principal modules (YM, HC, DZ, XW, NZ, MFK), pp. 115–128.
FSE-2010-WuLWXLLGGZZ #data flow
Language-based replay via data flow cut (MW, FL, XW, ZX, HL, XL, ZG, HG, LZ, ZZ), pp. 197–206.
ICPR-2010-ZhaoWSS #feature model #process #recognition
Motif Discovery and Feature Selection for CRF-based Activity Recognition (LZ, XW, GS, RS), pp. 3826–3829.
OSDI-2010-KimWZK #using
Intrusion Recovery Using Selective Re-execution (TK, XW, NZ, MFK), pp. 89–104.
ESEC-FSE-2009-LongWC #api
Api hyperlinking via structural overlap (FL, XW, YC), pp. 203–212.
SOSP-2009-YipWZK #data flow #security
Improving application security with data flow assertions (AY, XW, NZ, MFK), pp. 291–304.
OSDI-2008-GuoWTLXWKZ #kernel #named
R2: An Application-Level Kernel for Record and Replay (ZG, XW, JT, XL, ZX, MW, MFK, ZZ), pp. 193–208.
PLDI-2008-WangXLGWZ #analysis #correlation #memory management
Conditional correlation analysis for safe region-based memory management (XW, ZX, XL, ZG, XW, ZZ), pp. 45–55.
ICEIS-v2-2003-WangFS #development #enterprise #prototype
The Development of a Prototype of an Enterprise Marketing Decision Support System (XW, JF, FS), pp. 379–386.
OOPSLA-2017-ZhaiPGLW #correlation #in the cloud
An auditing language for preventing correlated failures in the cloud (EZ, RP, RG, XL, XW), p. 28.

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.