BibSLEIGH — Jingling

Travelled to:

1 × Austria
1 × Canada
1 × Estonia
1 × Spain
1 × Sweden
2 × China
2 × France
2 × Italy
2 × United Kingdom
5 × Germany
9 × USA

Collaborated with:

Y.Sui Y.Lu L.Li X.Xie Y.Li L.Shang J.Potter Q.Cai L.Wang X.Yang D.Ye T.Tan H.Wu L.Gao Y.L.0006 T.T.0001 J.Knoop P.H.Nguyen X.Vera Jingbo Lu Jieyuan Zhang Q.H.Nguyen Y.Z.0001 L.Wang J.L.0020 X.Feng Y.Deng S.Ye Q.Wan D.Wu H.Cui W.Huo D.He H.Zheng X.Zhang H.Sun C.Zhang T.Ngai H.Yu Z.Zhang Y.Zhang W.Zheng M.Zhang Y.Yang D.Fan L.L.0002 G.Li X.Yan T.Tang Y.Liu L.Huang M.Wu F.Lv X.F.0002 H.Li H.Meng S.Hu M.Feng Z.Yuan F.Li G.Ban S.Wang Q.Tang H.Su C.Yu J.Xu A.Piao

Talks about:

analysi (15) flow (8) program (6) detect (5) optim (5) valu (5) base (5) processor (4) stream (4) sensit (4)

Person: Jingling Xue

DBLP: Xue:Jingling

Facilitated 2 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2016

2018

2019

2016

2017

2019

2016

2019

2017

2019

Wrote 41 papers:

SAS-2015-LiTX #analysis #effectiveness: Effective Soundness-Guided Reflection Analysis (YL, TT, JX), pp. 162–180.
CGO-2014-YeSX #analysis #detection: Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis (DY, YS, JX), p. 154.
DATE-2014-ZhangWSX #clustering: Lifetime holes aware register allocation for clustered VLIW processors (XZ, HW, HS, JX), pp. 1–4.
ECOOP-2014-LiTSX #java #self: Self-inferencing Reflection Resolution for Java (YL, TT, YS, JX), pp. 27–53.
SAS-2014-YeSX #analysis #pointer: Region-Based Selective Flow-Sensitive Pointer Analysis (SY, YS, JX), pp. 319–336.
CC-2013-LuSXX #analysis #incremental #points-to: An Incremental Points-to Analysis with CFL-Reachability (YL, LS, XX, JX), pp. 61–81.
CGO-2013-SuiLX #adaptation #compilation #optimisation: Query-directed adaptive heap cloning for optimizing compilers (YS, YL, JX), p. 11.
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.
CGO-2012-ShangXX #analysis #on-demand #points-to: On-demand dynamic summary-based points-to analysis (LS, XX, JX), pp. 264–274.
ESOP-2012-LuPZX #parallel #source code #thread: A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
ISSTA-2012-SuiYX #analysis #detection #memory management #using: Static memory leak detection using full-sparse value-flow analysis (YS, DY, JX), pp. 254–264.
LCTES-2012-WanWX #memory management: WCET-aware data selection and allocation for scratchpad memory (QW, HW, JX), pp. 41–50.
CGO-2011-CuiXWYFF #optimisation: Extendable pattern-oriented optimization directives (HC, JX, LW, YY, XF, DF), pp. 107–118.
CGO-2011-XieX #detection #named #performance: Acculock: Accurate and efficient detection of data races (XX, JX), pp. 201–212.
CGO-2010-YuXHFZ #analysis #pointer #scalability: Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code (HY, JX, WH, XF, ZZ), pp. 218–229.
DATE-2010-WangXY #scheduling: Reuse-aware modulo scheduling for stream processors (LW, JX, XY), pp. 1112–1117.
CC-2009-GaoLXN #concurrent #predict #recursion #source code #thread: Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.
PPoPP-2009-YangWXDZ #graph #optimisation: Comparability graph coloring for optimizing utilization of stream register files in stream processors (XY, LW, JX, YD, YZ), pp. 111–120.
LCTES-2008-WangYXDYTN #optimisation: Optimizing scientific application loops on stream processors (LW, XY, JX, YD, XY, TT, QHN), pp. 161–170.
ECOOP-2007-LuPX #invariant: Validity Invariants and Effects (YL, JP, JX), pp. 202–226.
LCTES-2007-0002NX #graph: Scratchpad allocation for data aggregates in superperfect graphs (LL, QHN, JX), pp. 207–216.
CC-2006-XueK #fresh look #problem: A Fresh Look at PRE as a Maximum Flow Problem (JX, JK), pp. 139–154.
CC-2005-XueN #analysis #object-oriented #source code: Completeness Analysis for Incomplete Object-Oriented Programs (JX, PHN), pp. 271–286.
CC-2004-CaiGX: Region-Based Partial Dead Code Elimination on Predicated Code (QC, LG, JX), pp. 150–166.
LCTES-2004-LiX #compilation #energy #framework: A trace-based binary compilation framework for energy-aware computing (LL, JX), pp. 95–106.
CGO-2003-CaiX #performance: Optimal and Efficient Speculation-Based Partial Redundancy Elimination (QC, JX), pp. 91–104.
HPCA-2002-VeraX #behaviour: Let’s Study Whole-Program Cache Behaviour Analytically (XV, JX), pp. 175–186.
FSE-2016-SuiX #analysis #on-demand #refinement: On-demand strong update analysis via value-flow refinement (YS, JX), pp. 460–473.
ASE-2018-He0WZLX #android #comprehension #detection: Understanding and detecting evolution-induced compatibility issues in Android apps (DH, LL0, LW, HZ, GL, JX), pp. 167–177.
ASE-2018-LiuWX #android #control flow #named: TDroid: exposing app switching attacks in Android with control flow specialization (JL0, DW, JX), pp. 236–247.
ASE-2019-FengYLBWTSYXPXH #detection #named #off the shelf #open source #reuse: B2SFinder: Detecting Open-Source Software Reuse in COTS Software (MF, ZY, FL, GB, SW, QT, HS, CY, JX, AP, JX, WH), pp. 1038–1049.
ASE-2019-HeLWMZLHLX #algorithm #analysis: Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis (DH, HL, LW, HM, HZ, JL0, SH, LL, JX), pp. 267–279.
ESEC-FSE-2019-SuiZZZX #analysis #android #debugging #difference #effectiveness #reduction #user interface: Event trace reduction for effective bug replay of Android apps via differential GUI state analysis (YS, YZ0, WZ, MZ, JX), pp. 1095–1099.
CC-2016-SuiX #analysis #interprocedural #named: SVF: interprocedural static value-flow analysis in LLVM (YS, JX), pp. 265–266.
CC-2017-LiLX #execution #morphism #polymorphism #symbolic computation: Dynamic symbolic execution for polymorphism (LL, YL, JX), pp. 120–130.
CC-2019-LiuHWCL0X #compilation #concurrent #kernel #named #thread: PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion (YL, LH, MW, HC, FL, XF0, JX), pp. 2–16.
ECOOP-2016-LiTZX #slicing: Program Tailoring: Slicing by Sequential Criteria (YL0, TT0, YZ0, JX), p. 27.
OOPSLA-2019-LuX #analysis #context-sensitive grammar #performance #pointer: Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity (JL, JX), p. 29.
PLDI-2017-TanLX #analysis #automaton #modelling #performance #points-to #precise: Efficient and precise points-to analysis: modeling the heap by merging equivalent automata (TT0, YL0, JX), pp. 278–291.
PLDI-2019-ZhangX #incremental #probability #source code: Incremental precision-preserving symbolic inference for probabilistic programs (JZ, JX), pp. 237–252.