Travelled to:1 × Australia
1 × Canada
1 × Denmark
1 × Italy
1 × Japan
1 × Singapore
1 × Spain
1 × Sweden
1 × UK
10 × USA
2 × United Kingdom
3 × China
Collaborated with:M.Chechik L.G.Shapiro D.P.Woodruff Z.Wang H.Zeng A.Albarghouthi A.Gurfinkel S.Ma H.Lu J.Rubin D.S.Doermann D.Barbará J.Couto A.C.Gilbert E.Porat M.J.Strauss F.Wang ∅ S.V.Nguyen T.N.Nguyen S.W.0002 T.H.Tan Z.Wang H.L.Nguyên Y.Zheng J.A.Bilmes Y.Zhu K.Lü A.Das S.K.Lahiri A.Lal C.Hu C.Zhu E.M.Hahn S.Schewe A.Turrini L.Zhang L.Kang J.Kumar P.Ye Z.Kincaid S.Chaki B.Zhang S.Shan X.Chen W.Gao J.Lin S.Jajodia Y.Zou X.Jin Z.Guo E.Wang B.Xiao Z.Fang J.Li W.Zhang H.Chen B.Zang
Talks about:base (8) imag (5) recognit (4) verif (4) document (3) abstract (3) analysi (3) improv (3) detect (3) optim (3)
Person: Yi Li
DBLP: Li:Yi
Contributed to:
2015
2014
2014
2014
2014
2014
2014
2014
201320122012
2012201020062006
20042004
2003
2003
20022002
2000
200020001998
201520162019
2019Wrote 30 papers:
- CAV-2015-DasLLL #precise #verification
- Angelic Verification: Precise Verification Modulo Unknowns (AD, SKL, AL, YL), pp. 324–342.
- FM-2014-HahnLSTZ #model checking #named #probability
- iscasMc: A Web-Based Probabilistic Model Checker (EMH, YL, SS, AT, LZ), pp. 312–317.
- FM-2014-LiTC #component #requirements
- Management of Time Requirements in Component-Based Systems (YL, THT, MC), pp. 399–415.
- ICALP-v1-2014-GilbertLPS
- For-All Sparse Recovery in Near-Optimal Time (ACG, YL, EP, MJS), pp. 538–550.
- ICPR-2014-KangKYLD #classification #documentation #image #network
- Convolutional Neural Networks for Document Image Classification (LK, JK, PY, YL, DSD), pp. 3168–3172.
- KDD-2014-LiWW #matrix #rank #testing
- Improved testing of low rank matrices (YL, ZW, DPW), pp. 691–700.
- POPL-2014-LiAKGC #optimisation #smt
- Symbolic optimization with SMT solvers (YL, AA, ZK, AG, MC), pp. 607–618.
- STOC-2014-LiNW #algorithm #linear #sketching #streaming
- Turnstile streaming algorithms might as well be linear sketches (YL, HLN, DPW), pp. 174–183.
- VLDB-2014-ZouJLGWX #framework #learning #named #platform
- Mariana: Tencent Deep Learning Platform and its Applications (YZ, XJ, YL, ZG, EW, BX), pp. 1772–1777.
- TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification
- UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
- CAV-2012-AlbarghouthiLGC #framework #named #verification
- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
- ICPR-2012-WangL #estimation #image #kernel #robust
- Robust kernel estimation for single image blind deconvolution (FW, YL), pp. 481–484.
- LCTES-2012-FangLZLCZ #analysis #multi #predict
- Improving dynamic prediction accuracy through multi-level phase analysis (ZF, JL, WZ, YL, HC, BZ), pp. 89–98.
- STOC-2010-GilbertLPS #approximate #metric #optimisation
- Approximate sparse recovery: optimizing time and measurements (ACG, YL, EP, MJS), pp. 475–484.
- ICPR-v2-2006-LiZD #detection #documentation
- Detecting Text Lines in Handwritten Documents (YL, YZ, DSD), pp. 1030–1033.
- ICPR-v3-2006-LiZSCG #analysis #kernel #performance #recognition
- Bagging Based Efficient Kernel Fisher Discriminant Analysis for Face Recognition (YL, BZ, SS, XC, WG), pp. 523–526.
- DRR-2004-LiWZ #adaptation #documentation #image #retrieval
- Adaptive color document image binarization for text retrieval (YL, ZW, HZ), pp. 35–44.
- ICPR-v1-2004-LiBS #image #recognition #using
- Object Class Recognition using Images of Abstract Regions (YL, JAB, LGS), pp. 40–43.
- ICDAR-2003-LiWZ #approach #image #statistics #string #using
- String Extraction From Color Airline Coupon Image Using Statistical Approach (YL, ZW, HZ), pp. 289–293.
- SAC-2003-BarbaraLLJC #data mining #detection #mining
- Bootstrapping a Data Mining Intrusion Detection System (DB, YL, JLL, SJ, JC), pp. 421–425.
- CIKM-2002-BarbaraLC #algorithm #category theory #clustering #named
- COOLCAT: an entropy-based algorithm for categorical clustering (DB, YL, JC), pp. 582–589.
- ICPR-v3-2002-LiS #clustering #consistency #recognition
- Consistent Line Clusters for Building Recognition in CBIR (YL, LGS), pp. 952–956.
- ICEIS-2000-ZhuLL #database #performance #web
- Web Databases and Related Performance Issues (YZ, KL, YL), pp. 90–96.
- ICML-2000-Li #learning #online
- Selective Voting for Perception-like Online Learning (YL), pp. 559–566.
- ICPR-v3-2000-HuLML #parametricity #representation
- Region Based Parametric Motion Representation (CH, YL, SM, HL), pp. 3869–3872.
- ICPR-1998-LiML #estimation #multi #recognition #using
- Human posture recognition using multi-scale morphological method and Kalman motion estimation (YL, SM, HL), pp. 175–177.
- ASE-2015-LiRC #semantics #slicing #version control
- Semantic Slicing of Software Version Histories (T) (YL, JR, MC), pp. 686–696.
- ASE-2016-LiZRC #precise #refinement #semantics #slicing
- Precise semantic history slicing through dynamic delta refinement (YL, CZ, JR, MC), pp. 495–506.
- ASE-2019-NguyenNLW #program analysis #statistics
- Combining Program Analysis and Statistical Language Model for Code Statement Completion (SVN, TNN, YL, SW0), pp. 710–721.
- OOPSLA-2019-LiWNN #debugging #detection #learning #network #representation
- Improving bug detection via context-based code representation learning and attention-based neural networks (YL, SW0, TNN, SVN), p. 30.