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 × Norway
1 × Singapore
2 × Italy
2 × USA
Collaborated with:
W.E.Wong Y.Qi J.Vitek Z.Zhang L.Wang X.Yin T.Wei C.Li P.S.Yu Y.Xie W.Lin T.Wrigstad F.Pizlo F.Meawad K.Cai J.Dong D.Demange V.Laporte S.Jagannathan D.Pichardie L.Shan Y.Wang N.Fu X.Zhou L.Wan L.Qiao J.Chen
Talks about:
local (4) fault (3) info (3) net (3) effect (2) java (2) use (2) infonetolap (1) warehous (1) crosstab (1)

Person: Lei Zhao


Contributed to:

FM 20142014
POPL 20132013
SEKE 20112011
VLDB 20112011
ECOOP 20092009
ICST 20082008
SEKE 20072007

Wrote 7 papers:

FM-2014-ShanWFZZWQC #using #verification
Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
POPL-2013-DemangeLZJPV #java #memory management
Plan B: a buffered memory model for Java (DD, VL, LZ, SJ, DP, JV), pp. 329–342.
SEKE-2011-ZhaoZWY #fault #locality #named #reduction
PAFL: Fault Localization via Noise Reduction on Coverage Vector (LZ, ZZ, LW, XY), pp. 203–206.
VLDB-2011-LiYZXL #named
InfoNetOLAPer: Integrating InfoNetWarehouse and InfoNetCube with InfoNetOLAP (CL, PSY, LZ, YX, WL), pp. 1422–1425.
ECOOP-2009-WrigstadPMZV #java #named #thread
Loci: Simple Thread-Locality for Java (TW, FP, FM, LZ, JV), pp. 445–469.
ICST-2008-WongWQZ #effectiveness #fault #locality #statistics
A Crosstab-based Statistical Method for Effective Fault Localization (WEW, TW, YQ, LZ), pp. 42–51.
SEKE-2007-WongZQCD #effectiveness #fault #locality #network #using
Effective Fault Localization using BP Neural Networks (WEW, LZ, YQ, KYC, JD), pp. 374–379.

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.