Travelled to:1 × Austria
1 × Canada
1 × Cyprus
1 × Estonia
1 × France
1 × Japan
1 × United Kingdom
2 × Italy
3 × Germany
3 × USA
Collaborated with:J.Potter J.Xue J.Cheng D.Yan L.Shang T.Marconi G.Gaydadjiev K.Bertels A.Tisle A.C.Tisler ∅ H.Wu W.Ng L.Li X.Xie M.Yuan K.Wu G.Jacques-Silva C.Zhang S.Lu F.Fotouhi Y.Deng S.J.Brown S.Huang Y.Ke Y.Xu K.Xing Y.Bu G.Ananthanarayanan S.Kandula A.G.Greenberg I.Stoica B.Saha E.Harris Z.Fang Q.Min K.Zhou Y.Hu W.Zhang H.Chen J.Li B.Zang
Talks about:graph (5) algorithm (4) system (4) reachabl (3) cluster (3) effect (3) type (3) ownership (2) increment (2) distribut (2)
Person: Yi Lu
DBLP: Lu:Yi
Contributed to:
20142014
2013
2013
2013
2012
20122012
2010
2008
20072006
20062005
2004
1996
199519932017Wrote 22 papers:
- VLDB-2015-LuCYW14 #distributed #evaluation #graph #scalability
- Large-Scale Distributed Graph Computing Systems: An Experimental Evaluation (YL, JC, DY, HW), pp. 281–292.
- VLDB-2014-WuCHKLX #graph #problem
- Path Problems in Temporal Graphs (HW, JC, SH, YK, YL, YX), pp. 721–732.
- VLDB-2014-YanCLN #distributed #framework #graph #named
- Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs (DY, JC, YL, WN), pp. 1981–1992.
- VLDB-2014-YanCXLNB #algorithm #graph #performance #problem
- Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees (DY, JC, KX, YL, WN, YB), pp. 1821–1832.
- CC-2013-LuSXX #analysis #incremental #points-to
- An Incremental Points-to Analysis with CFL-Reachability (YL, LS, XX, JX), pp. 61–81.
- CIKM-2013-YuanWJL #clustering #graph #performance #streaming
- Efficient processing of streaming graphs for evolution-aware clustering (MY, KLW, GJS, YL), pp. 319–328.
- ESOP-2013-LuPX #correlation
- Structural Lock Correlation with Ownership Types (YL, JP, JX), pp. 391–410.
- ASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #precise #summary
- Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.
- DAC-2012-FangMZLHZCLZ #manycore #named
- Transformer: a functional-driven cycle-accurate multicore simulator (ZF, QM, KZ, YL, YH, WZ, HC, JL, BZ), pp. 106–114.
- ESOP-2012-LuPZX #parallel #source code #thread
- A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
- OSDI-2010-AnanthanarayananKGSLSH #clustering #using
- Reining in the Outliers in Map-Reduce Clusters using Mantri (GA, SK, AGG, IS, YL, BS, EH), pp. 265–278.
- DATE-2008-LuMGB #algorithm #for free #performance
- An efficient algorithm for free resources management on the FPGA (YL, TM, GG, KB), pp. 1095–1098.
- DATE-2008-MarconiLBG #algorithm #configuration management #online
- Intelligent Merging Online Task Placement Algorithm for Partial Reconfigurable Systems (TM, YL, KB, GG), pp. 1346–1351.
- ECOOP-2007-LuPX #invariant
- Validity Invariants and Effects (YL, JP, JX), pp. 202–226.
- ECOOP-2006-LuP #on the
- On Ownership and Accessibility (YL, JP), pp. 99–123.
- POPL-2006-LuP #encapsulation #representation
- Protecting representation with effect encapsulation (YL, JP), pp. 359–371.
- ECOOP-2005-LuP #reachability #type system
- A Type System for Reachability and Acyclicity (YL, JP), pp. 479–503.
- SAC-2004-LuLFDB #algorithm #clustering #named #performance #search-based
- FGKA: a Fast Genetic K-means Clustering Algorithm (YL, SL, FF, YD, SJB), pp. 622–623.
- ICPR-1996-LuT
- Machine vision inspection of VF display boards (YL, AT), pp. 839–843.
- ICDAR-v2-1995-LuT #segmentation #word
- Gray scale filtering for line and word segmentation (YL, ACT), pp. 648–651.
- ICDAR-1993-Lu #on the #segmentation
- On the segmentation of touching characters (YL), pp. 440–443.
- CC-2017-LiLX #execution #morphism #polymorphism #symbolic computation
- Dynamic symbolic execution for polymorphism (LL, YL, JX), pp. 120–130.