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
DBLP: Zhao:Lei
Contributed to:
2014
2013
2011
2011
2009
20082007Wrote 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.