BibSLEIGH — Xi

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

DBLP: Wang:Xi

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2003

2017

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.