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 × 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 DBLP: Zhang:Xin

Contributed to:

HCI/DHM p2 20152015
ECIR 20152015
ESEC/FSE 20152015
SAT 20152015
HCI/DHM 20142014
PLDI 20142014
HCI p5 20132013
ICDAR 20132013
PLDI 20132013
CIKM 20122012
ICPR 20122012
ICSE 20122012
HCI/DHM 20112011
ICALP (2) 20112011
ICDAR 20112011
SAC 20102010
HCI/DHM 20092009
HCI/HIMI p1 20072007
SEKE 20062006
KDD 20042004
SIGMOD 20032003
SIGMOD 20022002
SIGMOD 19991999
ASE 20192019
CAV (1) 20172017
OOPSLA 20162016
OOPSLA 20172017
POPL 20162016

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.
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.

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.