BibSLEIGH — Xin

Travelled to:

1 × Austria
1 × Greece
1 × Italy
1 × Japan
1 × United Kingdom
12 × USA
2 × China
3 × Switzerland

Collaborated with:

M.Naik R.Mangal F.Sun L.Ran T.Liu H.Yang A.V.Nori R.Grigore E.A.Rundensteiner H.Hu B.He T.Luo F.v.Breugel X.Si C.Chao A.Yang B.Murphy M.Mulchandani Y.Wang A.Feng K.He J.Niu D.Li Z.Lin Y.Ma B.Li D.Pharn W.Liu S.Venkatesh W.Sun Y.Liu Z.Tian N.Mamoulis D.W.Cheung Y.Shou Sulekha Kulkarni C.Zhao J.Park H.Esmaeilzadeh W.Harris Q.Gu X.Chen J.Qi D.Chen T.Dong N.L.Pang G.Johanson S.Cao J.Liu S.Christ G.Cheng W.Fu C.Chen F.Yang Q.Zhou Z.Liu W.Yang Z.Zhong L.Jin C.Xiong P.Wang Y.Wu X.Li D.Zou W.Y.0013 H.J.0001 C.Zhang J.Yang Y.Zhang J.Fan J.Zhao P.Ou A.Koeller A.v.Wyk Y.Li A.J.Lee A.Nica K.Dimitrova L.Wang M.El-Sayed B.Pielech L.Ding K.T.Claypool M.Li L.Chen C.Natarajan J.Jin S.D.Lima S.Weiner

Talks about:

analysi (7) base (6) program (5) chines (5) queri (4) view (4) abstract (3) measur (3) multi (3) rank (3)

Person: Xin Zhang

DBLP: Zhang:Xin

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2007

2006

2004

2003

2002

1999

2019

2017

2016

2017

2016

Wrote 35 papers:

DHM-EH-2015-HuZZRL #analysis #correlation: Correlation Analysis on the Main and Basic Body Dimension for Chinese Adults (HH, CZ, XZ, LR, TL), pp. 37–43.
DHM-EH-2015-YangCFHZC #case study: Experimental Study on Grip Ergonomics of Manual Handling (AY, GC, WyF, HH, XZ, CKC), pp. 92–99.
ECIR-2015-LiHLZ #twitter: Selecting Training Data for Learning-Based Twitter Search (DL, BH, TL, XZ), pp. 501–506.
ESEC-FSE-2015-MangalZNN #approach #program analysis: A user-guided approach to program analysis (RM, XZ, AVN, MN), pp. 462–473.
ESEC-FSE-2015-ParkEZNH #approximate #composition #named #programming: FlexJava: language support for safe and modular approximate programming (JP, HE, XZ, MN, WH), pp. 745–757.
SAT-2015-MangalZNN #framework #lazy evaluation #named #satisfiability #scalability: Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances (RM, XZ, AVN, MN), pp. 299–306.
DHM-2014-YangZYHZL #design: Based on Upper Extremity Comfort ROM of Ergonomic Methods for Household Products Design (FY, QXZ, AY, HH, XZ, ZQL), pp. 167–173.
PLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement: On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.
PLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural #top-down: Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
HCI-III-2013-YangZZJXW #detection #multi #realtime #using: Depth Camera Based Real-Time Fingertip Detection Using Multi-view Projection (WY, ZZ, XZ, LJ, CX, PW), pp. 254–261.
ICDAR-2013-ZhangLSM #invariant #rank: Rectification of Optical Characters as Transform Invariant Low-Rank Textures (XZ, ZL, FS, YM), pp. 393–397.
ICDAR-2013-ZhangS #estimation #geometry #image #multi: Multiple Geometry Transform Estimation from Single Camera-Captured Text Image (XZ, FS), pp. 538–542.
PLDI-2013-ZhangNY #abstraction #analysis #data flow #parametricity: Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.
CIKM-2012-ZhangHLL #learning #rank #realtime #twitter: Query-biased learning to rank for real-time twitter search (XZ, BH, TL, BL), pp. 1915–1919.
ICPR-2012-ZhangPLV #metric #multi #recognition: Optimal metric selection for improved multi-pose face recognition with group information (XZ, DSP, WL, SV), pp. 1675–1678.
ICSE-2012-ZhangYZFZZO #api #automation #parametricity #recommendation: Automatic parameter recommendation for practical API usage (CZ, JY, YZ, JF, XZ, JZ, PO), pp. 826–836.
DHM-2011-RanZCL #metric: Anthropometric Measurement of the Feet of Chinese Children (LR, XZ, CC, TL), pp. 30–36.
DHM-2011-ZhangWRFHLN: Human Dimensions of Chinese Minors (XZ, YW, LR, AF, KH, TL, JN), pp. 37–45.
DHM-2011-ZhangWRFHLN11a #development: Development of Sizing Systems for Chinese Minors (XZ, YW, LR, AF, KH, TL, JN), pp. 46–55.
ICALP-v2-2011-ZhangB #model checking #probability: A Progress Measure for Explicit-State Probabilistic Model-Checkers (XZ, FvB), pp. 283–294.
ICDAR-2011-ZhangS #rank: Circle Text Expansion as Low-Rank Textures (XZ, FS), pp. 202–206.
SAC-2010-ZhangGCQC #case study #effectiveness #reduction #testing: A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness (XZ, QG, XC, JQ, DC), pp. 2229–2236.
DHM-2009-RanZCLD #metric: Anthropometric Measurement of the Hands of Chinese Children (LR, XZ, CC, TL, TD), pp. 46–54.
HIMI-MTT-2007-PangJCLZ #collaboration: Collaborative Scenario Building: The Case of an “Advertainment” Portal (NLSP, GJ, SC, JL, XZ), pp. 153–162.
SEKE-2006-SunZLT #component #composition #design #execution #framework #logic: Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution (WS, XZ, YL, ZT), pp. 268–273.
KDD-2004-ZhangMCS #mining #performance: Fast mining of spatial collocations (XZ, NM, DWC, YS), pp. 384–393.
SIGMOD-2003-ZhangDWEMPMDR #multi #named #optimisation #using #xml: Rainbow: Multi-XQuery Optimization Using Materialized XML Views (XZ, KD, LW, MES, BM, BP, MM, LD, EAR), p. 671.
SIGMOD-2002-ZhangMCMR #named #xquery: Rainbow: mapping-driven XQuery processing system (XZ, MM, SC, BM, EAR), p. 614.
SIGMOD-1999-RundensteinerCLCZNJLW #named: SERF: ODMG-Based Generic Re-structuring Facility (EAR, KTC, ML, LC, XZ, CN, JJ, SDL, SW), pp. 568–570.
SIGMOD-1999-RundensteinerKZWLLN #evolution #maintenance: Evolvable View Environment (EVE): Non-Equivalent View Maintenance under Schema Changes (EAR, AK, XZ, AvW, YL, AJL, AN), pp. 553–555.
ASE-2019-WuLZYZ0 #analysis #mobile #named #performance: MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis (YW, XL, DZ, WY0, XZ, HJ0), pp. 139–150.
CAV-2017-SiZGN #analysis #satisfiability: Maximum Satisfiability in Software Analysis: Applications and Techniques (XS, XZ, RG, MN), pp. 68–94.
OOPSLA-2016-KulkarniMZN #analysis: Accelerating program analyses by cross-program training (SK, RM, XZ, MN), pp. 359–377.
OOPSLA-2017-ZhangGSN #effectiveness #interactive #static analysis: Effective interactive resolution of static analysis alarms (XZ, RG, XS, MN), p. 30.
POPL-2016-ZhangMNN #satisfiability: Query-guided maximum satisfiability (XZ, RM, AVN, MN), pp. 109–122.