Scientia Professor Jingling   Xue
Professor

Scientia Professor Jingling Xue

  • PhD, Edinburgh University, 1992
  • MSc, Tsingua University, 1987
  • BSc, Tsingua University, 1984
Engineering
Sch: Computer Science & Eng

Professor Jingling Xue is from the School of Computer Science and Engineering. His research interests include:

  • Programming Languages
  • Compiler Technology
  • Program Analysis
  • Software Security Analysis
  • High-Performance Computing (with emphasis on compiler technology and program analysis)
Phone
+61 2 9385 4889

Publications

  • Book Chapters | 2006
    Scientia Professor Jingling Xue
    Xue J; Huang Q, 2006, 'Code tiling: one size fits all', in Yang L; Guo M (ed.), High-performance computing: paradigm and infrastructure, Wiley & Sons, USA, pp. 219 - 240, http://dx.doi.org/10.1002/0471732710.ch11
    Books | 2000
    Scientia Professor Jingling Xue
    Xue J, 2000, Loop Tiling for Parallelism, Original, Kluwer Academic Publishers, Boston
    Book Chapters | 1994
    Scientia Professor Jingling Xue
    Lengauer C; Xue J, 1994, 'Adapting a sequential algorithm for a systolic design', in Transformational Approaches to Systolic Design, Chapman & Hall, pp. 179 - 204, https://www.amazon.com/Transformational-Approaches-Systolic-Distributed-Computing/dp/0412448300?ie=UTF8&*Version*=1&*entries*=0
    Book Chapters | 1991
    Scientia Professor Jingling Xue
    Xue J; Lengauer C, 1991, 'Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations', in Algorithms and Parallel VLSI Architectures II, Elsevier, pp. 181 - 187, https://books.google.com.au/books/about/Algorithms_and_parallel_VLSI_architectur.html?id=nZJQAAAAMAAJ&redir_esc=y
  • Journal articles | 2021
    Scientia Professor Jingling Xue
    Lu J; He D; Xue J, 2021, 'Eagle', ACM Transactions on Software Engineering and Methodology, vol. 30, pp. 1 - 46, http://dx.doi.org/10.1145/3450492
    Journal articles | 2021
    Scientia Professor Jingling Xue
    Sun XH; Li D; Chen WG; Li T; Shu JW; Wu B; Xiong J; Xue J; Zhang F; Zhai JD; Zhao Z, 2021, 'Preface', Journal of Computer Science and Technology, vol. 36, http://dx.doi.org/10.1007/s11390-021-0001-4
    Journal articles | 2020
    Scientia Professor Jingling Xue
    Sui Y; Xue J, 2020, 'Value-Flow-Based Demand-Driven Pointer Analysis for C and C++', IEEE Transactions on Software Engineering, vol. 46, pp. 812 - 835, http://dx.doi.org/10.1109/TSE.2018.2869336
    Journal articles | 2020
    Scientia Professor Jingling Xue
    Li G; Ma X; Wang X; Liu L; Xue J; Feng X, 2020, 'Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, pp. 3614 - 3626, http://dx.doi.org/10.1109/TCAD.2020.3013050
    Journal articles | 2020
    Scientia Professor Jingling Xue
    Lu J; Liu C; Li F; Li L; Feng X; Xue J, 2020, 'CloudRaid: Detecting Distributed Concurrency Bugs via Log-Mining and Enhancement', IEEE Transactions on Software Engineering, pp. 1 - 1, http://dx.doi.org/10.1109/tse.2020.2999364
    Journal articles | 2020
    Scientia Professor Jingling Xue
    Wang Q; Zheng L; Zhao J; Liao X; Jin H; Xue J, 2020, 'A Conflict-free Scheduler for High-performance Graph Processing on Multi-pipeline FPGAs', ACM Transactions on Architecture and Code Optimization, vol. 17, http://dx.doi.org/10.1145/3390523
    Journal articles | 2019
    Scientia Professor Jingling Xue
    Li Y; Tan T; Xue J, 2019, 'Understanding and analyzing Java reflection', ACM Transactions on Software Engineering and Methodology, vol. 28, http://dx.doi.org/10.1145/3295739
    Journal articles | 2019
    Scientia Professor Jingling Xue
    Lu J; Xue J, 2019, 'Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity', Proceedings of the ACM on Programming Languages, vol. 3, pp. 1 - 29, http://dx.doi.org/10.1145/3360574
    Journal articles | 2019
    Scientia Professor Jingling Xue
    Wang L; Xue J; Liao X; Wen Y; Chen M, 2019, 'LCCFS: a lightweight distributed file system for cloud computing without journaling and metadata services', Science China Information Sciences, vol. 62, http://dx.doi.org/10.1007/s11432-017-9295-4
    Journal articles | 2019
    Scientia Professor Jingling Xue
    Xia C; Zhao J; Cui H; Feng X; Xue J, 2019, 'DNntune: Automatic benchmarking DNN models for mobile-cloud computing', ACM Transactions on Architecture and Code Optimization, vol. 16, http://dx.doi.org/10.1145/3368305
    Journal articles | 2018
    Scientia Professor Jingling Xue
    Sui Y; Fan X; Zhou H; Xue J, 2018, 'Loop-Oriented pointer analysis for automatic SIMD vectorization', ACM Transactions on Embedded Computing Systems, vol. 17, http://dx.doi.org/10.1145/3168364
    Journal articles | 2018
    Scientia Professor Jingling Xue
    Zhang Y; Li Y; Tan T; Xue J, 2018, 'Ripple: Reflection analysis for Android apps in incomplete information environments', Software - Practice and Experience, vol. 48, pp. 1419 - 1437, http://dx.doi.org/10.1002/spe.2577
    Journal articles | 2018
    Scientia Professor Jingling Xue
    Sui Y; Yan H; Zheng Z; Zhang Y; Xue J, 2018, 'Parallel construction of interprocedural memory SSA form', Journal of Systems and Software, vol. 146, pp. 186 - 195, http://dx.doi.org/10.1016/j.jss.2018.09.038
    Journal articles | 2018
    Scientia Professor Jingling Xue
    Su X; Liao X; Jiang H; Yang C; Xue J, 2018, 'SCP: Shared cache partitioning for high-performance GEMM', ACM Transactions on Architecture and Code Optimization, vol. 15, http://dx.doi.org/10.1145/3274654
    Journal articles | 2018
    Scientia Professor Jingling Xue
    Zhang F; Xue J, 2018, 'Poker: Permutation-based SIMD execution of intensive tree search by path encoding', ACM Transactions on Architecture and Code Optimization, vol. 15, http://dx.doi.org/10.1145/3280850
    Journal articles | 2017
    Scientia Professor Jingling Xue
    Su X; Wu H; Xue J, 2017, 'An Efficient WCET-Aware Instruction Scheduling and Register Allocation Approach for Clustered VLIW Processors', ACM Trans. Embed. Comput. Syst., vol. 16, pp. 120:1 - 120:21, http://dx.doi.org/10.1145/3126524
    Journal articles | 2017
    Scientia Professor Jingling Xue
    Zhao Y; Zhang Q; Zhao L; Gan L; Yi L; Zhao Y; Xue J; Luo L; Du Q; Geng R; Sun Z; Benkirane-Jessel N; Chen P; Li Y; Chen Y, 2017, 'Enhanced Peripheral Nerve Regeneration by a High Surface Area to Volume Ratio of Nerve Conduits Fabricated from Hydroxyethyl Cellulose/Soy Protein Composite Sponges', ACS OMEGA, vol. 2, pp. 7471 - 7481, http://dx.doi.org/10.1021/acsomega.7b01003
    Journal articles | 2017
    Scientia Professor Jingling Xue
    Wang Y; Wang T; Liu D; Shao Z; Xue J, 2017, 'Fine grained, direct access file system support for storage class memory', Journal of Systems Architecture, vol. 72, pp. 80 - 92, http://dx.doi.org/10.1016/j.sysarc.2016.07.003
    Journal articles | 2017
    Scientia Professor Jingling Xue
    Yan H; Sui Y; Chen S; Xue J, 2017, 'AutoFix', ACM SIGAPP Applied Computing Review, vol. 16, pp. 38 - 50, http://dx.doi.org/10.1145/3040575.3040579
    Journal articles | 2016
    Scientia Professor Jingling Xue
    Zhou H; Xue J, 2016, 'A compiler approach for exploiting partial SIMD parallelism', ACM Transactions on Architecture and Code Optimization, vol. 13, pp. 11:1 - 11:26, http://dx.doi.org/10.1145/2886101
    Journal articles | 2016
    Scientia Professor Jingling Xue
    Chen J; Tang Y; Dong Y; Xue J; Wang Z; Zhou W, 2016, 'Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning', IEEE Transactions on Computers, vol. 65, pp. 2588 - 2602, http://dx.doi.org/10.1109/TC.2015.2493523
    Journal articles | 2016
    Scientia Professor Jingling Xue
    Zhao J; Cui H; Xue J; Feng X, 2016, 'Predicting Cross-Core Performance Interference on Multicore Processors with Regression Analysis', IEEE Transactions on Parallel and Distributed Systems, vol. 27, pp. 1443 - 1456, http://dx.doi.org/10.1109/TPDS.2015.2442983
    Journal articles | 2016
    Scientia Professor Jingling Xue
    Su Y; Ye D; Xue J; Liao XK, 2016, 'An Efficient GPU Implementation of Inclusion-Based Pointer Analysis', IEEE Transactions on Parallel and Distributed Systems, vol. 27, pp. 353 - 366, http://dx.doi.org/10.1109/TPDS.2015.2397933
    Journal articles | 2016
    Scientia Professor Jingling Xue
    Liu D; Zhong K; Wang T; Wang Y; Shao Z; Sha E; Xue J, 2016, 'Durable Address Translation in PCM-based Flash Storage Systems', IEEE Transactions on Parallel and Distributed Systems, vol. 28, pp. 1 - 1, http://dx.doi.org/10.1109/TPDS.2016.2586059
    Journal articles | 2016
    Scientia Professor Jingling Xue
    Sui Y; Ye D; Su Y; Xue J, 2016, 'Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions', IEEE Transactions on Reliability, vol. PP, pp. 1 - 18, http://dx.doi.org/10.1109/TR.2016.2570538
    Journal articles | 2016
    Scientia Professor Jingling Xue
    Wang Z; Tang Y; Chen J; Xue J; Zhou Y; Dong Y, 2016, 'Energy wall for exascale supercomputing', Computing and Informatics, vol. 35, pp. 941 - 962
    Journal articles | 2015
    Scientia Professor Jingling Xue
    Wang L; Liao XK; Xue JL; Weil S; Wen YC; Yang XJ, 2015, 'Enhancement of cooperation between file systems and applications — on VFS extensions for optimized performance', Science China Information Sciences, vol. 58, http://dx.doi.org/10.1007/s11432-014-5181-x
    Journal articles | 2014
    Scientia Professor Jingling Xue
    Sui Y; Ye D; Xue J, 2014, 'Detecting memory leaks statically with full-sparse value-flow analysis', IEEE Transactions on Software Engineering, vol. 40, pp. 107 - 122, http://dx.doi.org/10.1109/TSE.2014.2302311
    Journal articles | 2014
    Scientia Professor Jingling Xue
    Sui Y; Ye S; Xue J; Zhang J, 2014, 'Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation', Software: Practice and Experience, vol. 44, pp. 1485 - 1510, http://dx.doi.org/10.1002/spe.2214
    Journal articles | 2014
    Scientia Professor Jingling Xue
    Liao XK; Yung CQ; Tang T; Yi HZ; Wang F; Wu Q; Xue J, 2014, 'OpenMC: Towards simplifying programming for tianhe supercomputers', Journal of Computer Science and Technology, vol. 29, pp. 532 - 546, http://dx.doi.org/10.1007/s11390-014-1447-4
    Journal articles | 2014
    Scientia Professor Jingling Xue
    Wang L; Xue JL; Yang XJ, 2014, 'Acyclic orientation graph coloring for software-managed memory allocation', Science China Information Sciences, vol. 57, pp. 1 - 18, http://dx.doi.org/10.1007/s11432-014-5131-7
    Journal articles | 2013
    Scientia Professor Jingling Xue
    Zhang X; Wu H; Xue J, 2013, 'Instruction scheduling with k-successor tree for clustered VLIW processors', Design Automation for Embedded Systems, vol. 17, pp. 439 - 458, http://dx.doi.org/10.1007/s10617-012-9103-0
    Journal articles | 2013
    Scientia Professor Jingling Xue
    Yang C-Q; Wu Q; Tang T; Wang F; Xue J-L, 2013, 'Programming for scientific computing on peta-scale heterogeneous parallel systems', Journal of Central South University, vol. 20, pp. 1189 - 1203, http://dx.doi.org/10.1007/s11771-013-1602-z
    Journal articles | 2013
    Scientia Professor Jingling Xue
    Li J; Xue J; Xie X; Wan Q; Tan Q; Tan L, 2013, 'Epipe: A low-cost fault-tolerance technique considering WCET constraints', Journal of Systems Architecture, vol. 59, pp. 1383 - 1393, http://dx.doi.org/10.1016/j.sysarc.2013.06.003
    Journal articles | 2013
    Scientia Professor Jingling Xue
    Xue J, 2013, 'Session details: Programming language and implementation', ACM SIGPLAN Notices, vol. 48, http://dx.doi.org/10.1145/3262901
    Journal articles | 2012
    Scientia Professor Jingling Xue
    Di P; Wu H; Xue J; Wang F; Yang C, 2012, 'Parallelizing SOR for GPGPUs Using Alternate Loop Tiling', Parallel Computing, vol. 38, pp. 310 - 328, http://dx.doi.org/10.1016/j.parco.2012.03.004
    Journal articles | 2012
    Scientia Professor Jingling Xue
    Liu D; Wang Y; Shao Z; Guo M; Xue J, 2012, 'Optimally Maximizing Iteration-Level Loop Parallelism', IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 23, pp. 564 - 572, http://dx.doi.org/10.1109/TPDS.2011.171
    Journal articles | 2012
    Scientia Professor Jingling Xue
    Quana A; Xue J; Wielens J; Smillie KJ; Anggono V; Parker MW; Cousin MA; Graham ME; Robinson PJ, 2012, 'Phosphorylation of syndapin I F-BAR domain at two helix-capping motifs regulates membrane tubulation', PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, vol. 109, pp. 3760 - 3765, http://dx.doi.org/10.1073/pnas.1108294109
    Journal articles | 2012
    Scientia Professor Jingling Xue
    Wang L; Xue J; Yang X, 2012, 'Optimizing modulo scheduling to achieve reuse and concurrency for stream processors', Journal of Supercomputing, vol. 59, pp. 1229 - 1251, http://dx.doi.org/10.1007/s11227-010-0522-z
    Journal articles | 2009
    Scientia Professor Jingling Xue
    Swain MV; Xue J, 2009, 'State of the Art of Micro-CT Applications in Dental Research', INTERNATIONAL JOURNAL OF ORAL SCIENCE, vol. 1, pp. 177 - 188, http://dx.doi.org/10.4248/IJOS09031
    Journal articles | 2009
    Scientia Professor Jingling Xue
    Chen H; Xue J; Zhang Y; Zhu X; Gao J; Yu B, 2009, 'Comparison of quantum dots immunofluorescence histochemistry and conventional immunohistochemistry for the detection of caveolin-1 and PCNA in the lung cancer tissue microarray', JOURNAL OF MOLECULAR HISTOLOGY, vol. 40, pp. 261 - 268, http://dx.doi.org/10.1007/s10735-009-9237-y
    Journal articles | 2009
    Scientia Professor Jingling Xue
    Li L; Feng H; Xue J, 2009, 'Compiler-directed scratchpad memory management via graph coloring', ACM Transactions on Architecture and Code Optimization, vol. 6, http://dx.doi.org/10.1145/1582710.1582711
    Journal articles | 2009
    Scientia Professor Jingling Xue
    Gao L; Xue J; Ngai T-F, 2009, 'Loop recreation for thread-level speculation on multicore processors', Software: Practice and Experience, vol. 40, pp. 45 - 72, http://dx.doi.org/10.1002/spe.947
    Journal articles | 2009
    Scientia Professor Jingling Xue
    Mi W; Feng X-B; Yao C; Chen L; Xue J, 2009, 'PARBLO: Page-Allocation-Based DRAM Row Buffer Locality Optimization', Journal of Computer Science and Technology, vol. 24, pp. 1086 - 1097, http://dx.doi.org/10.1007/s11390-009-9297-1
    Journal articles | 2008
    Scientia Professor Jingling Xue
    Scholz B; Burgstaller B; Xue J, 2008, 'Minimal placement of bank selection instructions for partitioned memory architectures', ACM Transactions on Embedded Computing Systems (TECS), vol. 7, pp. 1 - 32, http://dx.doi.org/10.1145/1331331.1331336
    Journal articles | 2008
    Scientia Professor Jingling Xue
    Xue J; Guo M; Wei D, 2008, 'Improving the parallelism of iterative methods by aggressive loop fusion', Journal of Supercomputing, vol. 43, pp. 147 - 164, http://dx.doi.org/10.1007/s11227-007-0124-6
    Journal articles | 2008
    Scientia Professor Jingling Xue
    Xue J; Lenders P, 2008, 'Factorization of singular integer matrices', Linear Algebra and its Applications, vol. 428, pp. 1046 - 1055, http://dx.doi.org/10.1016/j.laa.2007.09.012
    Journal articles | 2007
    Scientia Professor Jingling Xue
    Vera X; Lisper B; Xue J, 2007, 'Data cache locking for tight timing calculations', ACM Transactions on Embedded Computing Systems (TECS), vol. 7, pp. 1 - 38, http://dx.doi.org/10.1145/1324969.1324973
    Journal articles | 2007
    Scientia Professor Jingling Xue
    Li L; Xue J, 2007, 'Trace-based leakage energy optimisations at link time', Journal of Systems Architecture, vol. 53, pp. 1 - 20, http://dx.doi.org/10.1016/j.sysarc.2006.05.002
    Journal articles | 2007
    Scientia Professor Jingling Xue
    Xue J; Nguyen PH; Potter JM, 2007, 'Interprocedural side-effect analysis for incomplete object-oriented software modules', Journal of Systems and Software, vol. 80, pp. 92 - 105, http://dx.doi.org/10.1016/j.jss.2006.06.015
    Journal articles | 2007
    Scientia Professor Jingling Xue
    Lian L; Quan HN; Jingling X, 2007, 'Scratchpad allocation for data aggregates in superperfect graphs', ACM SIGPLAN Notices, vol. 42, pp. 207 - 216
    Journal articles | 2006
    Scientia Professor Jingling Xue
    Xue J; Cai Q, 2006, 'A lifetime optimal algorithm for speculative PRE', ACM Transactions on Architecture and Code Optimization, vol. 3, pp. 115 - 155, http://dx.doi.org/10.1145/1138035.1138036
    Journal articles | 2006
    Scientia Professor Jingling Xue
    Xue J; Cai Q; Lin L, 2006, 'Partial dead code elimination on predicated code regions', Journal of Systems Architecture, vol. 36, pp. 1655 - 1685, http://dx.doi.org/10.1002/spe.739
    Journal articles | 2004
    Scientia Professor Jingling Xue
    Xue J; Vera X, 2004, 'Efficient and Accurate Analytical Modeling of Whole-Program Data Cache Behaviour', IEEE Transactions on Computers, vol. 53, pp. 547 - 566, http://dx.doi.org/10.1109/TC.2004.1275296
    Journal articles | 2002
    Scientia Professor Jingling Xue
    Xue J, 2002, 'Time-Minimal Tiling When Rise Is Larger Than Zero', Parallel Computing, vol. 28, pp. 915 - 936, http://dx.doi.org/10.1016/S0167-8191(02)00098-4
    Journal articles | 2002
    Scientia Professor Jingling Xue
    LENDERS P; XUE J, 2002, 'EIGENVECTORS-BASED PARALLELISATION OF NESTED LOOPS WITH AFFINE DEPENDENCES', Parallel Algorithms and Applications, vol. 17, pp. 227 - 248, http://dx.doi.org/10.1080/01495730108941442
    Journal articles | 2002
    Scientia Professor Jingling Xue
    Xue J; Lenders P, 2002, 'Space-Time Equations for Non-Unimodular Mappings', International Journal of Computer Mathematics, vol. 79, pp. 555 - 572, http://dx.doi.org/10.1080/00207160210953
    Journal articles | 2002
    Scientia Professor Jingling Xue
    Xue J, 2002, 'Eigenvectors-Based Parallelisation of Nested Loops with Affine Dependences', Parallel Algorithms and Applications, pp. 237 - 248
    Journal articles | 2000
    Scientia Professor Jingling Xue
    Tang P; Xue J, 2000, 'Generating efficient tiled code for distributed memory machines', Parallel Computing, vol. 26, pp. 1369 - 1410, http://dx.doi.org/10.1016/S0167-8191(00)00040-5
    Journal articles | 1999
    Scientia Professor Jingling Xue
    Chen S; Xue J, 1999, 'Partitioning and Scheduling Loops on NOWs', Computer Communications, vol. 22, pp. 1017 - 1033, http://dx.doi.org/10.1016/S0140-3664(99)00073-0
    Journal articles | 1998
    Scientia Professor Jingling Xue
    Xue J; Huang C-H, 1998, 'Reuse-Driven Tiling for Improving Data Locality', International Journal of Parallel Programming, vol. 26, pp. 671 - 696, http://dx.doi.org/10.1023/A:1018734612524
    Journal articles | 1997
    Scientia Professor Jingling Xue
    Xue J, 1997, 'On Tiling as a Loop Transformation', Parallel Processing Letters, vol. 07, pp. 409 - 424, http://dx.doi.org/10.1142/S0129626497000401
    Journal articles | 1997
    Scientia Professor Jingling Xue
    Xue J, 1997, 'Communication-Minimal Tiling of Uniform Dependence Loops', Journal of Parallel and Distributed Computin, vol. 42, pp. 42 - 59, http://dx.doi.org/10.1006/jpdc.1997.1310
    Journal articles | 1997
    Scientia Professor Jingling Xue
    Xue J, 1997, 'Unimodular transformations of non-perfectly nested loops', Parallel Computing, vol. 22, pp. 1621 - 1645, http://dx.doi.org/10.1016/S0167-8191(96)00063-4
    Journal articles | 1997
    Scientia Professor Jingling Xue
    Xue J, 1997, 'On tiling as a loop transformation', Parallel Processing Letters, vol. 7, pp. 409 - 424, http://dx.doi.org/10.1142/S0129626497000401
    Journal articles | 1996
    Scientia Professor Jingling Xue
    Xue J, 1996, 'Transformations of nested loops with non-convex iteration spaces', Parallel Computing, vol. 22, pp. 339 - 368, http://dx.doi.org/10.1016/0167-8191(95)00069-0
    Journal articles | 1996
    Scientia Professor Jingling Xue
    Xue J, 1996, 'GENERALISING THE UNIMODULAR APPROACH TO RESTRUCTURE IMPERFECTLY NESTED LOOPS', Parallel Processing Letters, vol. 06, pp. 401 - 414, http://dx.doi.org/10.1142/S0129626496000388
    Journal articles | 1996
    Scientia Professor Jingling Xue
    Xue J, 1996, 'Generalising the unimodular approach to restructure imperfectly nested loops', Parallel Processing Letters, vol. 6, pp. 401 - 414, http://dx.doi.org/10.1142/S0129626496000388
    Journal articles | 1995
    Scientia Professor Jingling Xue
    Xue J, 1995, 'Closed-form mapping conditions for the synthesis of linear processor arrays', Journal of VLSI signal processing systems for signal, image and video technology, vol. 10, pp. 181 - 199, http://dx.doi.org/10.1007/BF02407035
    Journal articles | 1994
    Scientia Professor Jingling Xue
    Xue J, 1994, 'Automating non-unimodular loop transformations for massive parallelism', Parallel Computing, vol. 20, pp. 711 - 728, http://dx.doi.org/10.1016/0167-8191(94)90002-7
    Journal articles | 1992
    Scientia Professor Jingling Xue
    Xue J; Lengauer C, 1992, 'The synthesis of control signals for one-dimensional systolic arrays', Integration, the VLSI Journal, vol. 14, pp. 1 - 32, http://dx.doi.org/10.1016/0167-9260(92)90008-M
    Journal articles | 1992
    Scientia Professor Jingling Xue
    XUE JL, 1992, 'ON THE LOADING, RECOVERY AND ACCESS OF STATIONARY DATA IN SYSTOLIC ARRAYS', LECTURE NOTES IN COMPUTER SCIENCE, vol. 634, pp. 259 - 264, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1992KQ20400031&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
    Journal articles | 1991
    Scientia Professor Jingling Xue
    Lengauer C; Xue J, 1991, 'A systolic array for pyramidal algorithms', Journal of VLSI signal processing systems for signal, image and video technology, vol. 3, pp. 237 - 257, http://dx.doi.org/10.1007/BF00925834
    Journal articles | 1991
    Scientia Professor Jingling Xue
    XUE JINGLING, 1991, 'SPECIFYING CONTROL SIGNALS FOR SYSTOLIC ARRAYS BY UNIFORM RECURRENCE EQUATIONS', Parallel Processing Letters, vol. 01, pp. 83 - 93, http://dx.doi.org/10.1142/S0129626491000033
    Journal articles | 1988
    Scientia Professor Jingling Xue
    Xue J-L; Hong X-L, 1988, 'A new data structure for representing cell hierarchy in layout design', Computers & Graphics, vol. 12, pp. 341 - 348, http://dx.doi.org/10.1016/0097-8493(88)90055-6
  • Conference Papers | 2021
    Scientia Professor Jingling Xue
    Chen Z; Wang C; Yan J; Sui Y; Xue J, 2021, 'Runtime detection of memory errors with smart status', in Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, presented at ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, http://dx.doi.org/10.1145/3460319.3464807
    Conference Papers | 2021
    Scientia Professor Jingling Xue
    Li G; Xue J; Liu L; Wang X; Ma X; Dong X; Li J; Feng X, 2021, 'Unleashing the Low-Precision Computation Potential of Tensor Cores on GPUs', in CGO 2021 - Proceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization, pp. 90 - 102, http://dx.doi.org/10.1109/CGO51591.2021.9370335
    Conference Papers | 2021
    Scientia Professor Jingling Xue
    Yuan T; Li G; Lu J; Liu C; Li L; Xue J, 2021, 'GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs', in CGO 2021 - Proceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization, pp. 187 - 199, http://dx.doi.org/10.1109/CGO51591.2021.9370317
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Li W; Wu L; Yuan M; Xue CJ; Xue J; Li Q, 2020, 'Loop2Recursion: Compiler-Assisted Wear Leveling for Non-Volatile Memory', in Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors, pp. 581 - 588, http://dx.doi.org/10.1109/ICCD50377.2020.00102
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Zheng L; Li X; Zheng Y; Huang Y; Liao X; Jin H; Xue J; Shao Z; Hua QS, 2020, 'Scaph: Scalable GPU-accelerated graph processing with value-driven differential scheduling', in Proceedings of the 2020 USENIX Annual Technical Conference, ATC 2020, pp. 573 - 588
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Wu M; Liu Y; Cui H; Wei Q; Li Q; Li L; Lv F; Xue J; Feng X, 2020, 'Bandwidth-aware loop tiling for DMA-supported scratchpad memory', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp. 97 - 109, http://dx.doi.org/10.1145/3410463.3414637
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Lv F; Li H; Wang L; Liu Y; Cui H; Xue J; Feng X, 2020, 'Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers', in SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering, pp. 1 - 12, http://dx.doi.org/10.1109/SANER48275.2020.9054849
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Xu X; Zou C; Xue J, 2020, 'Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates', in Proceedings - 2020 IEEE International Conference on Software Maintenance and Evolution, ICSME 2020, pp. 196 - 207, http://dx.doi.org/10.1109/ICSME46990.2020.00028
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Yao P; Zheng L; Zeng Z; Huang Y; Gui C; Liao X; Jin H; Xue J, 2020, 'A locality-aware energy-efficient accelerator for graph mining applications', in Proceedings of the Annual International Symposium on Microarchitecture, MICRO, pp. 895 - 907, http://dx.doi.org/10.1109/MICRO50266.2020.00077
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Xue J; Jung C, 2020, 'Message from the Chairs', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. III
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Wu D; He D; Chen S; Xue J, 2020, 'Exposing android event-based races by selective branch instrumentation', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 265 - 276, http://dx.doi.org/10.1109/ISSRE5003.2020.00033
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Zou C; Xue J, 2020, 'Burn after reading: A shadow stack with microsecond-level runtime rerandomization for protecting return addresses', in Proceedings - International Conference on Software Engineering, pp. 258 - 270, http://dx.doi.org/10.1145/3377811.3380439
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Yu F; Zhao J; Cui H; Feng X; Xue J, 2020, 'VTensor: Using virtual tensors to build a layout-oblivious AI programming framework', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp. 345 - 346, http://dx.doi.org/10.1145/3410463.3414664
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Huang Y; Zheng L; Yao P; Zhao J; Liao X; Jin H; Xue J, 2020, 'A Heterogeneous PIM Hardware-Software Co-Design for Energy-Efficient Graph Processing', in Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020, pp. 684 - 695, http://dx.doi.org/10.1109/IPDPS47924.2020.00076
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Zheng L; Zhao J; Huang Y; Wang Q; Zeng Z; Xue J; Liao X; Jin H, 2020, 'Spara: An Energy-Efficient ReRAM-Based Accelerator for Sparse Graph Analytics Applications', in Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020, pp. 696 - 707, http://dx.doi.org/10.1109/IPDPS47924.2020.00077
    Conference Papers | 2020
    Scientia Professor Jingling Xue
    Liu J; He D; Wu D; Xue J, 2020, 'Correlating ui contexts with sensitive api calls: Dynamic semantic extraction and analysis', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 241 - 252, http://dx.doi.org/10.1109/ISSRE5003.2020.00031
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Su X; Wu H; Xue J, 2019, 'WCET-aware hyper-block construction for clustered VLIW processors', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM Press, pp. 110 - 122, presented at the 20th ACM SIGPLAN/SIGBED International Conference, 23 June 2019 - 23 June 2019, http://dx.doi.org/10.1145/3316482.3326349
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Zhang J; Xue J, 2019, 'Incremental precision-preserving symbolic inference for probabilistic programs', in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 237 - 252, http://dx.doi.org/10.1145/3314221.3314623
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Wu D; Liu J; Sui Y; Chen S; Xue J, 2019, 'Precise static happens-before analysis for detecting UAF order violations in android', in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019, pp. 276 - 287, http://dx.doi.org/10.1109/ICST.2019.00035
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    He D; Li H; Wang L; Meng H; Zheng H; Liu J; Hu S; Li L; Xue J, 2019, 'Performance-boosting sparsification of the IFDS algorithm with applications to taint analysis', in Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, pp. 267 - 279, http://dx.doi.org/10.1109/ASE.2019.00034
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Liu Y; Huang L; Wu M; Cui H; Lv F; Feng X; Xue J, 2019, 'PPOpenCL: A performance-portable OpenCL compiler with host and kernel thread code fusion', in ACM International Conference Proceeding Series, pp. 2 - 16, http://dx.doi.org/10.1145/3302516.3307350
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Sui Y; Zhang Y; Zheng W; Zhang M; Xue J, 2019, 'Event trace reduction for effective bug replay of Android apps via differential GUI state analysis', in ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1095 - 1099, http://dx.doi.org/10.1145/3338906.3341183
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Chen Z; Yan J; Kan S; Qian J; Xue J, 2019, 'Detecting memory errors at runtime with source-level instrumentation', in ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 374 - 377, http://dx.doi.org/10.1145/3293882.3330581
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Zhu X; Feng X; Jiao T; Wen S; Xiang Y; Camtepe S; Xue J, 2019, 'A Feature-oriented corpus for understanding, evaluating and improving fuzz testing', in AsiaCCS 2019 - Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, pp. 658 - 663, http://dx.doi.org/10.1145/3321705.3329845
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Zou C; Sui Y; Yan H; Xue J, 2019, 'TCD: Statically Detecting Type Confusion Errors in C++ Programs', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 292 - 302, http://dx.doi.org/10.1109/ISSRE.2019.00037
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Xu X; Sui Y; Yan H; Xue J, 2019, 'VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences', in Proceedings - International Conference on Software Engineering, pp. 512 - 523, http://dx.doi.org/10.1109/ICSE.2019.00063
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Yuan Z; Xu J; Piao A; Xuey J; Huo W; Feng M; Li F; Ban G; Xiao Y; Wang S; Tang Q; Su H; Yu C, 2019, 'B2SFinder: Detecting open-source software reuse in COTS software', in Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, pp. 1038 - 1049, http://dx.doi.org/10.1109/ASE.2019.00100
    Conference Papers | 2019
    Scientia Professor Jingling Xue
    Yan H; Chen S; Sui Y; Zhang Y; Zou C; Xue J, 2019, 'Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Porto, Portugal, pp. 48 - 72, presented at 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Porto, Portugal, 08 October 2019 - 11 October 2019, http://dx.doi.org/10.1007/978-3-030-32304-2_4
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Zhao J; Cui H; Zhang Y; Xue J; Feng X, 2018, 'Revisiting loop tiling for datacenters: Live and Let Live', in Proceedings of the International Conference on Supercomputing, pp. 328 - 340, http://dx.doi.org/10.1145/3205289.3205306
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Zhang F; Xue J, 2018, 'Poker: Permutation-based simd execution of intensive tree search by path encoding', in CGO 2018 - Proceedings of the 2018 International Symposium on Code Generation and Optimization, pp. 87 - 99, http://dx.doi.org/10.1145/3168808
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Zhou Q; Li L; Wang L; Xue J; Feng X, 2018, 'May-happen-in-parallel analysis with static vector clocks', in CGO 2018 - Proceedings of the 2018 International Symposium on Code Generation and Optimization, pp. 228 - 240, http://dx.doi.org/10.1145/3168813
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    He D; Zheng H; Li L; Li G; Wang L; Xue J, 2018, 'Understanding and detecting evolution-induced compatibility issues in android apps', in ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 167 - 177, http://dx.doi.org/10.1145/3238147.3238185
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Liu J; Wu D; Xue J, 2018, 'TDroid: Exposing app switching attacks in android with control flow specialization', in ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 236 - 247, http://dx.doi.org/10.1145/3238147.3238188
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Barbar M; Sui Y; Zhang H; Chen S; Xue J, 2018, 'POSTER: Live path control flow integrity', in Proceedings - International Conference on Software Engineering, pp. 195 - 196, http://dx.doi.org/10.1145/3183440.3195093
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Barbar M; Sui Y; Zhang H; Chen S; Xue J, 2018, 'Live path CFI against control flow hijacking attacks', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 768 - 779, http://dx.doi.org/10.1007/978-3-319-93638-3_45
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Zheng L; Liao X; Jin H; He B; Xue J; Liu H, 2018, 'Towards concurrency race debugging: An integrated approach for constraint solving and dynamic slicing', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, http://dx.doi.org/10.1145/3243176.3243206
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Yan H; Sui Y; Chen S; Xue J, 2018, 'Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities', in PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), IEEE, Gothenburg, SWEDEN, pp. 327 - 337, presented at 40th ACM/IEEE International Conference on Software Engineering (ICSE), Gothenburg, SWEDEN, 27 May 2018 - 03 June 2018, http://dx.doi.org/10.1145/3180155.3180178
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Zhang Y; Sui Y; Xue J, 2018, 'Launch-Mode-Aware Context-Sensitive Activity Transition Analysis', in PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), IEEE, Gothenburg, SWEDEN, pp. 598 - 608, presented at 40th ACM/IEEE International Conference on Software Engineering (ICSE), Gothenburg, SWEDEN, 27 May 2018 - 03 June 2018, http://dx.doi.org/10.1145/3180155.3180188
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Zhang F; Xue J, 2018, 'Poker: permutation-based SIMD execution of intensive tree search by path encoding', in Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018, ACM Press, presented at the 2018 International Symposium, 24 February 2018 - 28 February 2018, http://dx.doi.org/10.1145/3179541.3168808
    Conference Papers | 2018
    Scientia Professor Jingling Xue
    Zhou Q; Li L; Wang L; Xue J; Feng X, 2018, 'May-happen-in-parallel analysis with static vector clocks', in Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018, ACM Press, presented at the 2018 International Symposium, 24 February 2018 - 28 February 2018, http://dx.doi.org/10.1145/3179541.3168813
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Tan T; Li Y; Xue J, 2017, 'Efficient and precise points-to analysis: modeling the heap by merging equivalent automata', in ACM SIGPLAN Notices, pp. 278 - 291, http://dx.doi.org/10.1145/3062341.3062360
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Fan X; Sui Y; Liao X; Xue J, 2017, 'Boosting the precision of virtual call integrity protection with partial pointer analysis for C++', in ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pp. 329 - 340, presented at ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, 10 July 2017 - 14 July 2017, http://dx.doi.org/10.1145/3092703.3092729
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Yan H; Sui Y; Chen S; Xue J, 2017, 'Machine-learning-guided typestate analysis for static use-After-free detection', in ACM International Conference Proceeding Series, Orlando, FL, USA, pp. 42 - 54, presented at 33rd Annual Computer Security Applications Conference, Orlando, FL, USA, 04 December 2017 - 08 December 2017, http://dx.doi.org/10.1145/3134600.3134620
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Zhang Y; Tan T; Li Y; Xue J, 2017, 'Ripple: Reflection analysis for android apps in incomplete information environments', in CODASPY 2017 - Proceedings of the 7th ACM Conference on Data and Application Security and Privacy, Scottsdale, Arizona, USA, pp. 281 - 288, presented at Seventh ACM on Conference on Data and Application Security and Privacy, Scottsdale, Arizona, USA, 22 March 2017 - 24 March 2017, http://dx.doi.org/10.1145/3029806.3029814
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Li L; Lu Y; Xue J, 2017, 'Dynamic symbolic execution for polymorphism', in ACM International Conference Proceeding Series, Austin, TX, USA, pp. 120 - 130, presented at CC 2017 Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, 05 February 2017 - 06 February 2017, http://dx.doi.org/10.1145/3033019.3033029
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Liu J; Li Y; Tan T; Xue J, 2017, 'Reflection Analysis for Java: Uncovering More Reflective Targets Precisely', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 12 - 23, http://dx.doi.org/10.1109/ISSRE.2017.36
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Su X; Liao X; Xue J, 2017, 'Automatic generation of fast BLAS3-GEMM: A portable compiler approach', in CGO 2017 - Proceedings of the 2017 International Symposium on Code Generation and Optimization, IEEE, Austin, Texas USA, pp. 122 - 133, presented at 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Austin, Texas USA, 04 February 2017 - 08 February 2017, http://dx.doi.org/10.1109/CGO.2017.7863734
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Zhang J; Sui Y; Xue J, 2017, 'Incremental analysis for probabilistic programs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), New York, NY, USA, pp. 450 - 472, presented at 24th International Symposium, SAS 2017, New York, NY, USA, 30 August 2017 - 01 September 2017, http://dx.doi.org/10.1007/978-3-319-66706-5_22
    Conference Papers | 2017
    Scientia Professor Jingling Xue
    Tan T; Li Y; Xue J, 2017, 'Efficient and precise points-to analysis: modeling the heap by merging equivalent automata', in Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, presented at PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation, 18 June 2017 - 23 June 2017, http://dx.doi.org/10.1145/3062341.3062360
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Sui Y; Fan X; Zhou H; Xue J, 2016, 'Loop-Oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Santa Barbara, CA, USA, pp. 41 - 51, presented at 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, Santa Barbara, CA, USA, 13 June 2016 - 14 June 2016, http://dx.doi.org/10.1145/2907950.2907957
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Sui Y; Di P; Xue J, 2016, 'Sparse flow-sensitive pointer analysis for multithreaded programs', in Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016, ASSOC COMPUTING MACHINERY, Barcelona, SPAIN, pp. 160 - 170, presented at 14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 12 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2854038.2854043
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Sui Y; Xue J, 2016, 'SVF: Interprocedural static value-flow analysis in LLVM', in Proceedings of CC 2016: The 25th International Conference on Compiler Construction, Barcelona, Spain, pp. 265 - 266, presented at 25th International Conference on Compiler Construction, Barcelona, Spain, 17 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2892208.2892235
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Yan H; Sui Y; Chen S; Xue J, 2016, 'Automated memory leak fixing on value-flow slices for C programs', in Proceedings of the ACM Symposium on Applied Computing, New York, NY, USA, pp. 1386 - 1393, presented at 31st Annual ACM Symposium on Applied Computing, New York, NY, USA, 04 April 2016 - 08 April 2016, http://dx.doi.org/10.1145/2851613.2851773
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Sui Y; Lu J; Xue J, 2016, 'On-demand Strong Update Analysis via value-flow Refinement', in International symposium on the foundations of software engineering, IEEE, Seattle, pp. 460 - 473, presented at FSE'16, Seattle, 13 November 2016 - 18 November 2016, http://dx.doi.org/10.1145/2950290.2950296
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Tan T; Li Y; Xue J, 2016, 'Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting', in 23rd Static Analysis Symposium, Edinburgh, pp. 489 - 510, presented at SAS'16, Edinburgh, 08 September 2016 - 10 September 2016, http://dx.doi.org/10.1007/978-3-662-53413-7_24
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Zhou H; Xue JL, 2016, 'Exploiting Mixed SIMD Parallelism by Reducing Data Reorganization Overhead', in Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016, Barcelona, Spain, pp. 59 - 69, presented at International symposium on code generation and optimization, Barcelona, Spain, 12 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2854038.2854054
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Zhang F; Di P; Liao XK; Xue J, 2016, 'REGTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities', in Proceedings of the International Conference on Parallel Processing, Philadephia, pp. 562 - 571, presented at International Conference on Parallel Processing, Philadephia, 16 August 2016 - 19 August 2016, http://dx.doi.org/10.1109/ICPP.2016.71
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Xue J; Yan C; Chen C; Tang T; Chen X; Fang J, 2016, 'An Energy-Efficient Implementation of LU Factorization on Heterogeneous Systems', in Parallel and Distributed Systems (ICPADS), 2016 IEEE 22nd International Conference on, IEEE, Wuhan, pp. 971 - 979, presented at Parallel and Distributed Systems (ICPADS), 2016 IEEE 22nd International Conference on, Wuhan, 13 December 2016 - 16 December 2016, http://dx.doi.org/10.1109/ICPADS.2016.0130
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Li Y; Tan T; Zhang Y; Xue J, 2016, 'Program tailoring: Slicing by sequential criteria', in Krishnamurthi S; Lerner B (ed.), Leibniz International Proceedings in Informatics, LIPIcs, Rome, pp. 15:1 - 15:27, presented at 30th European Conference on Object-Oriented Programming, Rome, 18 July 2016 - 22 July 2016, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.15
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Xu J; Meng X; Tan Q; Xue J, 2016, 'Masking soft errors with static bitwise analysis', in Proceedings - Asia-Pacific Software Engineering Conference, APSEC, Hamilton, New Zealand, pp. 281 - 288, presented at 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), Hamilton, New Zealand, 06 December 2016 - 09 December 2016, http://dx.doi.org/10.1109/APSEC.2016.047
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Sui Y; Fan X; Zhou H; Xue J, 2016, 'Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization', in Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, ACM, presented at LCTES'16: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2016, 13 June 2016 - 14 June 2016, http://dx.doi.org/10.1145/2907950.2907957
    Conference Papers | 2016
    Scientia Professor Jingling Xue
    Xu J; Meng X; Tan Q; Xue J, 2016, 'Masking Soft Errors with Static Bitwise Analysis', in Potanin A; Murphy GC; Reeves S; Dietrich J (eds.), 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), IEEE, Hamilton, NEW ZEALAND, pp. 281 - 288, presented at 23rd Asia-Pacific Software Engineering Conference (APSEC), Hamilton, NEW ZEALAND, 06 December 2016 - 09 December 2016, http://dx.doi.org/10.1109/APSEC.2016.21
    Conference Papers | 2015
    Scientia Professor Jingling Xue
    He W; Cui H; Lu B; Zhao J; Li S; Ruan G; Xue J; Feng X; Yang W; Yan Y, 2015, 'Hadoop+: Modeling and evaluating the heterogeneity for MapReduce applications in heterogeneous clusters', in Proceedings of the International Conference on Supercomputing, pp. 143 - 153, http://dx.doi.org/10.1145/2751205.2751236
    Conference Papers | 2015
    Scientia Professor Jingling Xue
    Li Y; Tan T; Xue J, 2015, 'Effective soundness-guided reflection analysis', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 162 - 180, http://dx.doi.org/10.1007/978-3-662-48288-9_10
    Conference Papers | 2015
    Scientia Professor Jingling Xue
    Wang F; Jiang H; Zhuo K; Xue J; Yang C, 2015, 'Design and Implementation of a Highly Efficient DGEMM for 64-bit ARMv8 Multi-Core Processors', in 2015 International Conference on Parallel Processing, Beijing, pp. 200 - 209, presented at 2015 International Conference on Parallel Processing, Beijing, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.29
    Conference Papers | 2015
    Scientia Professor Jingling Xue
    Xue J; Fan X; Sui Y, 2015, 'Contention-Aware Scheduling for Asymmetric Multicore Processors.', in 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), Melbourne, pp. 742 - 751, presented at 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), Melbourne, 14 December 2015 - 17 December 2015, http://dx.doi.org/10.1109/ICPADS.2015.98
    Conference Papers | 2015
    Scientia Professor Jingling Xue
    Di P; Sui Y; Ye D; Xue J, 2015, 'Region-Based May-Happen-in-Parallel Analysis for C Programs', in Proceedings of the International Conference on Parallel Processing, Beijing China, pp. 889 - 898, presented at 2015 44th International Conference on on Parallel Processing (ICPP), Beijing China, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.98
    Conference Papers | 2015
    Scientia Professor Jingling Xue
    Moore R; Childers R; Xue J, 2015, 'Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors', in 2015 IEEE 12th International Conferen on Embedded Software and Systems (ICESS), IEEE, New York, pp. 957 - 963, presented at 2015 IEEE 12th International Conferen on Embedded Software and Systems (ICESS), New York, 24 August 2015 - 26 August 2015, http://dx.doi.org/10.1109/HPCC-CSS-ICESS.2015.151
    Conference Papers | 2015
    Scientia Professor Jingling Xue
    Wang Y; Wang T; Shao Z; Liu D; Xue J, 2015, 'File system-independent block device support for storage class memory', in Proceedings - IEEE INFOCOM, pp. 468 - 473, http://dx.doi.org/10.1109/INFCOMW.2015.7179429
    Conference Papers | 2014
    Scientia Professor Jingling Xue
    Zhang X; Wu H; Sun H; Xue J, 2014, 'Lifetime holes aware register allocation for clustered VLIW processors', in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, IEEE Conference Publications, presented at Design Automation and Test in Europe, 24 March 2014 - 28 March 2014, http://dx.doi.org/10.7873/date.2014.103
    Conference Papers | 2014
    Scientia Professor Jingling Xue
    Zhang X; Wu H; Sun H; Xue J, 2014, 'Lifetime holes aware register allocation for clustered VLIW processors', in Proceedings -Design, Automation and Test in Europe, DATE, Dresden, pp. 90:1 - 90:4, presented at International Conference on Design, Automation and Test in Europe, Dresden, 24 March 2014 - 28 March 2014, http://dx.doi.org/10.7873/DATE2014.103
    Conference Papers | 2014
    Scientia Professor Jingling Xue
    Li Y; Tan T; Sui Y; Xue J, 2014, 'Self-inferencing reflection resolution for Java', in Lecture Notes in Computer Science 8586, Springer Verlag, UppSala, pp. 27 - 53, presented at 8th European Conference on Object-Oriented Programming (ECOOP'14), UppSala, 28 July 2014 - 01 August 2014, http://dx.doi.org/10.1007/978-3-662-44202-9_2
    Conference Papers | 2014
    Scientia Professor Jingling Xue
    Ye S; Sui Y; Xue J, 2014, 'Region-Based Selective Flow-Sensitive Pointer Analysis', in Müller-Olm M; Seidl H (ed.), 21st International Symposium on static Analysis, LNCS, Munich, Germany, pp. 319 - 336, presented at 21st International Symposium on static Analysis, Munich, Germany, 11 September 2014 - 13 September 2014
    Conference Papers | 2014
    Scientia Professor Jingling Xue
    Cui H; Ruan G; Xue J; Xie R; Wang L; Feng X, 2014, 'A collaborative divide-and-conquer k-means clustering algorithm for processing large data', in Proceedings of the 11th ACM Conference on Computing Frontiers, CF 2014, http://dx.doi.org/10.1145/2597917.2597918
    Conference Papers | 2014
    Scientia Professor Jingling Xue
    Su Y; Ye D; Xue J, 2014, 'Parallel pointer analysis with CFL-reachability', in Proceedings of the International Conference on Parallel Processing, Minneapolis, pp. 451 - 460, presented at International Conference on Parallel Processing, Minneapolis, 09 September 2014 - 12 September 2014, http://dx.doi.org/10.1109/ICPP.2014.54
    Conference Papers | 2014
    Scientia Professor Jingling Xue
    Ye D; Su Y; Sui Y; Xue J, 2014, 'WPBOUND: Enforcing spatial memory safety efficiently at runtime with weakest preconditions', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 88 - 99, http://dx.doi.org/10.1109/ISSRE.2014.20
    Conference Papers | 2014
    Scientia Professor Jingling Xue
    Ye D; Sui Y; Xue J, 2014, 'Accelerating dynamic detection of uses of undefined values with static value-flow analysis', in Proceedings of the 12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014, pp. 154 - 164, http://dx.doi.org/10.1145/2544137.2544154
    Conference Papers | 2013
    Scientia Professor Jingling Xue
    Su Y; Ye D; Xue J, 2013, 'Accelerating Inclusion-based Pointer Analysis on Heterogeneous CPU-GPU Systems', in 20th Annual International Conference on High Performance Computing, HiPC 2013, Bengaluru (Bangalore), India, pp. 149 - 158, presented at IEEE International Conference on High Performance Computing (HiPC’13), Bengaluru (Bangalore), India, 18 December 2013 - 21 December 2013, http://dx.doi.org/10.1109/HiPC.2013.6799110
    Conference Papers | 2013
    Scientia Professor Jingling Xue
    Zhao J; Feng X; Cui H; Yan Y; Xue J; Yang W, 2013, 'An empirical model for predicting cross-core performance interference on multicore processors', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp. 201 - 212, http://dx.doi.org/10.1109/PACT.2013.6618817
    Conference Papers | 2013
    Scientia Professor Jingling Xue
    Li Y; Sui Y; Xue J, 2013, 'Query-directed adaptive heap cloning for optimizing compilers', in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, presented at 11th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, 23 February 2013 - 27 February 2013, http://dx.doi.org/10.1109/CGO.2013.6494978
    Conference Papers | 2013
    Scientia Professor Jingling Xue
    Cui H; Yi Q; Feng X; Xue J, 2013, 'Layout Oblivious Compiler Optimization for Matrix Multiplication', in 8th International Conference on High-Performance Embedded Architectures and Compilers, ACM, Berlin, presented at HIPEAC'13, Berlin, 21 June 2013 - 23 June 2013
    Conference Papers | 2012
    Scientia Professor Jingling Xue
    Wan Q; Wu H; Xue J, 2012, 'WCET-Aware Data Selection and Allocation for Scratchpad Memory', in Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, ASSOC COMPUTING MACHINERY, Beijing, pp. 41 - 50, presented at LCTES'12, Beijing, 12 June 2012 - 13 June 2012, http://dx.doi.org/10.1145/2345141.2248425
    Conference Papers | 2012
    Scientia Professor Jingling Xue
    Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', in Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012, ACM Press, presented at the 2012 International Symposium, 15 July 2012 - 20 July 2012, http://dx.doi.org/10.1145/2338965.2336784
    Conference Papers | 2012
    Scientia Professor Jingling Xue
    Shang L; Xie X; Xue J, 2012, 'On-demand dynamic summary-based points-to analysis', in Proceedings - International Symposium on Code Generation and Optimization, CGO 2012, ACM, New York, NY, USA, pp. 264 - 274, presented at 10th International Symposium on Code Generation and Optimization, CGO, San Jose, CA, 31 March 2012 - 04 April 2012, http://dx.doi.org/10.1145/2259016.2259050
    Conference Papers | 2012
    Scientia Professor Jingling Xue
    Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', in 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings, Minneapolis, MN, pp. 254 - 264, presented at 21st International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, 15 July 2012 - 20 July 2012, http://dx.doi.org/10.1145/04000800.2336784
    Conference Papers | 2012
    Scientia Professor Jingling Xue
    Lu Y; Potter JM; Xue J, 2012, 'Ownership Types for Object Synchronisation', in Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, Germany, pp. 18 - 33, presented at APLAS, Kyoto Japan, 11 December 2012, http://dx.doi.org/10.1007/978-3-642-35182-2
    Conference Papers | 2011
    Scientia Professor Jingling Xue
    Mahmud S; Wu H; Xue J, 2011, 'Efficient energy balancing aware multiple base station deployment for WSNs', in Wireless Sensor Networks - 8th European Conference, EWSN 2011, Proceedings, Springer Verlag, Heidelberg, Germany, pp. 179 - 194, presented at 8th European Conference on Wireless Sensor Networks, EWSN 2011, Bonn, Germany, 23 February 2011 - 25 February 2011, http://dx.doi.org/10.1007/978-3-642-19186-2_12
    Conference Papers | 2011
    Scientia Professor Jingling Xue
    Cui H; Xue J; Wang L; Yang Y; Feng X-B; Fan D, 2011, 'Extendable pattern-oriented optimization directives', in Proceedings - International Symposium on Code Generation and Optimization, CGO 2011, IEEE Computer Society, Piscataway, NJ, United States, pp. 107 - 118, presented at 9th International Symposium on Code Generation and Optimization, CGO 2011, Chamonix, France, 02 April 2011 - 06 April 2011, http://dx.doi.org/10.1109/CGO.2011.5764679
    Conference Proceedings (Editor of) | 2011
    Scientia Professor Jingling Xue
    2011, 'EmbeddedCom 2011: Message from the chairs', http://dx.doi.org/10.1109/DASC.2011.9
    Conference Papers | 2010
    Scientia Professor Jingling Xue
    Liu D; Shao Z; Wang M; Guo M; Xue J, 2010, 'Optimal Loop Parallelization for Maximizing Iteration-Level Parallelism', in International Conference on Compilers, Architecture and Synthesis for Embedded Systems archive Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems, ACM, 2009, pp. 67 - 76, presented at International Conferences on Compilers, Architectures, and Synthesis for Embedded Systems, Scottsdale, AZ, 24 October 2010 - 29 October 2010, http://dx.doi.org/10.1145/1629395.1629407
    Conference Proceedings (Editor of) | 2010
    Scientia Professor Jingling Xue
    2010, 'Message from the IWVT-2010 workshop chairs', http://dx.doi.org/10.1109/CIT.2010.27
    Conference Papers | 2010
    Scientia Professor Jingling Xue
    Liao X; Xue J, 2010, 'Message from the PDCAT 2010 program co-chairs', in Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings, pp. 14, http://dx.doi.org/10.1109/PDCAT.2010.5
    Conference Papers | 2009
    Scientia Professor Jingling Xue
    Lu Y; Potter JM; Xue J, 2009, 'Ownership Downgrading for Ownership Types', in Lecture Notes In Computer Science; Vol. 5904: Proceedings of the 7th Asian Symposium on Programming Languages and Systems, Springer-Verlag, Berlin, Heidelberg, pp. 144 - 160, presented at 7th Asian Symposium on Programming Languages and Systems, Seoul, Korea, 14 December 2009 - 16 December 2009, http://dx.doi.org/10.1007/978-3-642-10672-9_12
    Conference Papers | 2009
    Scientia Professor Jingling Xue
    Yang X; Wang L; Xue J; Deng Y; Zhang Y, 2009, 'Comparability graph coloring for optimizing utilization of stream register files in stream processors', in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, 14th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming (PPoPP'09), Raleigh, pp. 111 - 120, presented at 14th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming (PPoPP'09), Raleigh, 14 February 2009 - 18 February 2009, http://dx.doi.org/10.1145/1504176.1504195
    Conference Proceedings (Editor of) | 2009
    Scientia Professor Jingling Xue
    2009, 'Message from the EPS 2009 symposium chairs', Vol. 2, http://dx.doi.org/10.1109/CSE.2009.522
    Conference Papers | 2009
    Scientia Professor Jingling Xue
    Gao L; Li L; Xue J; Ngai T, 2009, 'Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction', in Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Springer-Verlag, Berlin, Heidelberg, pp. 78 - 93, presented at 18th International Conference on Compiler Construction, York, UK, 22 March 2009 - 29 March 2009, http://dx.doi.org/10.1007/978-3-642-00722-4_7
    Conference Proceedings (Editor of) | 2009
    Scientia Professor Jingling Xue
    2009, 'Message from the EUC 2009 program chairs', Vol. 2, http://dx.doi.org/10.1109/CSE.2009.518
    Conference Papers | 2008
    Scientia Professor Jingling Xue
    Wang L; Yang X; Xue J; Deng Y; Yan X; Tang T; Nguyen QH, 2008, 'Optimizing scientific application loops on stream processors', in ACM SIGPLAN Notices, pp. 161 - 170, http://dx.doi.org/10.1145/1379023.1375679
    Conference Papers | 2008
    Scientia Professor Jingling Xue
    Lin L; Nguyen QH; Li L; Xue J, 2008, 'Thread sensitive module scheduling for multicore processors', in 37th international conference on parallel processing, Portland, Oregon, USA, pp. 132 - 140, presented at 37th international conference on parallel processing, Portland, Oregon, USA, 09 September 2008 - 12 September 2008, http://dx.doi.org/10.1109/ICPP.2008.46
    Conference Papers | 2008
    Scientia Professor Jingling Xue
    Yang X; Zhang Y; Xue J; Rogers I; Li G; Wang G, 2008, 'Exploiting loop-dependent stream reuse for stream processors', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp. 22 - 31, http://dx.doi.org/10.1145/1454115.1454121
    Conference Papers | 2008
    Scientia Professor Jingling Xue
    Ku AK; Kuo JY; Xue J, 2008, 'Hardware support for efficient sparse matrix vector multiplication', in 2008 IEEE/IFIP international conference on embedded and ubiquitous computing, Proceedings, Shanghai, China, pp. 37 - 43, presented at 2008 IEEE/IFIP international conference on embedded and ubiquitous computing, Shanghai, China, 17 December 2008 - 20 December 2008, http://dx.doi.org/10.1109/EUC.2008.154
    Conference Papers | 2008
    Scientia Professor Jingling Xue
    Ku AK; Kuo JY; Xue J, 2008, 'A gather/scatter hardware support for efficient fast Fourier transform', in ACSAC 2008 13th IEEE Asia-Pacific computer systems architecture conference, Hsinchu, Taiwan, pp. 1 - 8, presented at ACSAC 2008 13th IEEE Asia-Pacific computer systems architecture conference, Hsinchu, Taiwan, 04 August 2008 - 06 August 2008, http://dx.doi.org/10.1016/j.sysarc.2010.09.007
    Conference Proceedings (Editor of) | 2008
    Scientia Professor Jingling Xue
    2008, 'Advances in high performance computing', Kluwer Academic Publ, Vol. 43, pp. 105 - 106, http://dx.doi.org/10.1007/s11227-007-0127-3
    Conference Papers | 2008
    Scientia Professor Jingling Xue
    Kuo JY; Ku AK; Xue J; Diessel OF; Malik U, 2008, 'ACS: an addressless configuration support for efficient partial reconfigurations', in International conference on field-programmable technology, Proceedings, Taipei, Taiwan, pp. 161 - 168, presented at International conference on field-programmable technology, Taipei, Taiwan, 07 December 2008 - 10 December 2008, http://dx.doi.org/10.1109/FPT.2008.4762379
    Conference Papers | 2007
    Scientia Professor Jingling Xue
    Li L; Wu H; Feng H; Xue J, 2007, 'Towards data tiling for whole programs in scratchpad memory allocation', in 12th Asia-Pacific computer systems architecture conference, Korea, pp. 63 - 74, presented at 12th Asia-Pacific computer systems architecture conference, Korea, 22 August 2007 - 25 August 2007
    Conference Papers | 2007
    Scientia Professor Jingling Xue
    Li L; Nguyen QH; Xue J, 2007, 'Scratchpad allocation for data aggregates in superperfect graphs', in 2007 ACM conference on languages, compilers and tools for embedded systems, San Diego, Californa, USA, pp. 207 - 216, presented at ACM conference on languages, compilers and tools for embedded systems 2007, San Diego, Californa, USA, 13 June 2007 - 15 June 2007, http://dx.doi.org/10.1145/1254766.1254805
    Conference Papers | 2007
    Scientia Professor Jingling Xue
    Lu Y; Potter JM; Xue J, 2007, 'Validity invariants and effects', in 21st European conference on object oriented programming, Berlin, Germany, pp. 202 - 226, presented at 21st European conference on object oriented programming, Berlin, Germany, 30 July 2007 - 03 August 2007
    Conference Papers | 2007
    Scientia Professor Jingling Xue
    Pan L; Xue J; Lai MT; Dillencourt M; Bic L, 2007, 'Toward automatic data distribution for migrating computations', in 2007 International conference on parallel processing, China, presented at International conference on parallel processing 2007, China, 10 September 2007 - 14 September 2007, http://dx.doi.org/10.1109/ICPP.2007.80
    Conference Papers | 2007
    Scientia Professor Jingling Xue
    Gao L; Li L; Xue J; Ngai T, 2007, 'Loop recreation for thread-level speculation', in 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), Hsinchu, Taiwan, presented at 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), Hsinchu, Taiwan, 05 December 2007 - 07 December 2007, http://dx.doi.org/10.1109/ICPADS.2007.4447713
    Conference Papers | 2006
    Scientia Professor Jingling Xue
    Wu H; Jaffar J; Xue J, 2006, 'Instruction scheduling with release times and deadlines on ILP processors', in 12th IEEE international conference on embedded and real-time computing systems, Sydney, pp. 51 - 60, presented at 12th IEEE international conference on embedded and real-time computing systems, Sydney, 16 August 2006 - 18 August 2006, http://dx.doi.org/10.1109/RTCSA.2006.39|
    Conference Papers | 2006
    Scientia Professor Jingling Xue
    Ye B; Guo M; Xue J, 2006, 'CoopStream: a cooperative cache based streaming schedule scheme for on-demand media services on overlay networks', in International conference on parallel processing, Columbus, Ohio, USA, pp. 577 - 584, presented at International conference on parallel processing, Columbus, Ohio, USA, 14 August 2006 - 18 August 2006, http://dx.doi.org/10.1109/ICPP.2006.29
    Conference Papers | 2006
    Scientia Professor Jingling Xue
    Xue J; Knoop J, 2006, 'A fresh look at PRE as a maximum flow problem', in 15th international conference on compiler construction, Vienna, Austria, pp. 139 - 154, presented at 15th international conference on compiler construction, Vienna, Austria, 30 March 2006 - 31 March 2006, http://dx.doi.org/10.1007/11688839_13
    Conference Papers | 2006
    Scientia Professor Jingling Xue
    Scholz B; Burgstaller B; Xue J, 2006, 'Minimizing Bank Selection Instructions for Partitioned Memory Architectures', in International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, Seoul, South Korea, pp. 201 - 211, presented at International Conference on Compilers, Architecture, and Synthesis for Embedded Systems 2009, Seoul, South Korea, 22 October 2006 - 25 October 2006, http://dx.doi.org/10.1145/1176760.1176786
    Conference Papers | 2006
    Scientia Professor Jingling Xue
    Li L; Xue J, 2006, 'Trace-based cache leakage reduction at link time', in Advances in computer systems architecture, 11th Asia-Pacific conference, Shanghai, China, pp. 175 - 188, presented at Advances in computer systems architecture, 11th Asia-Pacific conference, Shanghai, China, 06 September 2006 - 08 September 2006
    Conference Papers | 2005
    Scientia Professor Jingling Xue
    Xue J; Nguyen PH, 2005, 'Completeness analysis for incomplete object-oriented programs', in 2005 international conference on compiler construction, Edinburgh, Scotland, pp. 271 - 286, presented at international conference on compiler construction 2005, Edinburgh, Scotland, 04 April 2005 - 08 April 2005
    Conference Papers | 2005
    Scientia Professor Jingling Xue
    Li L; Gao L; Xue J, 2005, 'Memory coloring: a compiler approach for scratchpad memory management', in 1th International conference on parallel architectures and compilation, Saint Louis, Missouri, USA, pp. 329 - 338, presented at 1th International conference on parallel architectures and compilation, Saint Louis, Missouri, USA, 17 September 2005 - 21 September 2005, http://dx.doi.org/10.1109/PACT.2005.27
    Conference Papers | 2005
    Scientia Professor Jingling Xue
    Chang WL; Ho M; Guo M; Jiang X; Xue J; Li M, 2005, 'Fast parallel DNA-based algorithms for molecular computation: Determining a prime number', in Proceedings - 3rd International Conference on Information Technology and Applications, ICITA 2005, pp. 447 - 452
    Conference Papers | 2005
    Scientia Professor Jingling Xue
    Yang X; Xue J; Yang C, 2005, 'Improving the performance of GCC by exploiting IA-64 architectural features', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, pp. 236 - 251, presented at 10th Asia-Pacific conference on computer systems architecture, Singapore, 24 October 2005 - 26 October 2005
    Conference Papers | 2005
    Scientia Professor Jingling Xue
    Xue J, 2005, 'Aggressive loop fusion for improving locality and parallelism', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, pp. 224 - 238, presented at international symposium on parallel and distributed processing and applications 2005, Nanjing, China, 02 November 2005 - 05 November 2005, http://dx.doi.org/10.1007/11576235_28
    Conference Papers | 2005
    Scientia Professor Jingling Xue
    Xue J; Huang Q; Guo M, 2005, 'Enabling loop fusion and tiling for cache performance by fixing fusion-preventing data dependencies', in 2005 international conference on parallel processing, Oslo, Norway, pp. 107 - 115, presented at international conference on parallel processing 2005, Oslo, Norway, 14 June 2005 - 17 June 2005, http://dx.doi.org/10.1109/ICPP.2005.37
    Conference Proceedings (Editor of) | 2005
    Scientia Professor Jingling Xue
    2005, 'Journal of Computer Science and Technology: Forword', Vol. 20, pp. 575 - 576, http://dx.doi.org/10.1007/s11390-005-0575-2
    Conference Papers | 2005
    Scientia Professor Jingling Xue
    Xue J, 2005, 'Compiler-directed scratchpad memory management', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 2, http://dx.doi.org/10.1007/11599555_2
    Conference Papers | 2005
    Scientia Professor Jingling Xue
    Nguyen PH; Xue J, 2005, 'Interprocedural side-effect analysis and optimisation in the presence of dynamic class loading', in 28th Australasian computer science conference ACSC 2005, Newcastle, NSW, pp. 9 - 18, presented at 28th Australasian computer science conference ACSC 2005, Newcastle, NSW, 31 January 2005 - 03 February 2005
    Conference Proceedings (Editor of) | 2005
    Scientia Professor Jingling Xue
    2005, 'Special section on advanced computer systems architecture - Forward', Science China Press, Vol. 20
    Conference Papers | 2004
    Scientia Professor Jingling Xue
    Li L; Xue J, 2004, 'A trace-based binary compilation framework for energy-aware computing', in Language, Compilers, and Tools for Embedded Systems, Washington DC, USA, pp. 95 - 106, presented at Language, Compilers, and Tools for Embedded Systems, Washington DC, USA, 11 June 2004 - 13 June 2004, http://dx.doi.org/10.1145/998300.997178
    Conference Papers | 2004
    Scientia Professor Jingling Xue
    Li L; Xue J, 2004, 'A trace-based binary compilation framework for energy-aware computing', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 95 - 106, http://dx.doi.org/10.1145/997163.997178
    Conference Papers | 2004
    Scientia Professor Jingling Xue
    Cai Q; Gao L; Xue J, 2004, 'Region-Based Partial Dead Code Elimination on Predicated Code', in 13th International Conference on Compiler Construction, Barcelona, Spain, pp. 150 - 166, presented at 13th International Conference on Compiler Construction, Barcelona, Spain, 29 March 2004 - 02 April 2004
    Conference Papers | 2004
    Scientia Professor Jingling Xue
    Kurniawan B; Xue J, 2004, 'A Comparative Study of Web Application Design Models Using the Java Technologies', in 6th Asia-Pacific Web Conference 2004, Hangzhou, China, pp. 711 - 721, presented at 6th Asia-Pacific Web Conference 2004, Hangzhou, China, 14 April 2004 - 17 April 2004
    Conference Papers | 2004
    Scientia Professor Jingling Xue
    Nguyen PH; Xue J, 2004, 'Strength Reduction for Loop-Invariant Types', in 27th Australasian Computer Science Conference, 27th Australasian Computer Science Conference, Dunedin, New Zealand, presented at 27th Australasian Computer Science Conference, Dunedin, New Zealand, 18 January 2004 - 22 January 2004
    Conference Papers | 2003
    Scientia Professor Jingling Xue
    Vera X; Lisper B; Xue J, 2003, 'Data cache locking for higher program predictability', in Proceedings of the 2003 ACM SIGMETRICS international conference on Measurement and modeling of computer systems - SIGMETRICS '03, ACM Press, presented at the 2003 ACM SIGMETRICS international conference, 11 June 2003 - 14 June 2003, http://dx.doi.org/10.1145/781027.781062
    Conference Papers | 2003
    Scientia Professor Jingling Xue
    Vera X; Lisper B; Xue J, 2003, 'Data cache locking for higher program predictability', in 2003 Joint International Conference on Measurement and Modeling of Computer Systems, San Diego, Californa, USA, pp. 272 - 282, presented at Joint International Conference on Measurement and Modeling of Computer Systems 2003, San Diego, Californa, USA, 11 June 2003 - 14 June 2003, http://dx.doi.org/10.1145/885651.781062
    Conference Papers | 2003
    Scientia Professor Jingling Xue
    Vera X; Lisper B; Xue J, 2003, 'Data caches in mutitasking hard real-time systems', in 24th IEEE International Real-Time Systems Symposium, Cancun, Mexico, pp. 154 - 165, presented at 24th IEEE International Real-Time Systems Symposium, Cancun, Mexico, 03 December 2003 - 05 December 2003
    Conference Papers | 2003
    Scientia Professor Jingling Xue
    Huang Q; Xue J; Vera X, 2003, 'Code Tiling For Improving the Cache Performance of PDE Solvers', in 2003 International Conference on Parallel Processing, Taiwan, pp. 615 - 624, presented at International Conference on Parallel Processing 2003, Taiwan, 06 October 2003 - 09 October 2003, http://dx.doi.org/10.1109/ICPP.2003.1240630
    Conference Papers | 2003
    Scientia Professor Jingling Xue
    Cai Q; Xue J, 2003, 'Optimal and Efficient Speculation-Based Partial Redundancy Elimination', in International Symposium on Code Generation and Optimization (CGO 2003), San Francisco, California USA, pp. 91 - 102, presented at International Symposium on Code Generation and Optimization (CGO`03), San Francisco, California USA, 23 March 2003 - 26 March 2003, http://dx.doi.org/10.1109/CGO.2003.1191536
    Conference Papers | 2002
    Scientia Professor Jingling Xue
    Xue J, 2002, 'Let`s Study Whole-Program Cache Behaviour Analytically', in 8th International Symposium on High-Performance Computer Architecture, Cambridge, Massachusetts, USA, pp. 175 - 186, presented at 8th International Symposium on High-Performance Computer Architecture, Cambridge, Massachusetts, USA, 02 February 2002 - 06 February 2002, http://dx.doi.org/10.1109/HPCA.2002.995708
    Conference Papers | 2002
    Scientia Professor Jingling Xue
    Xue J, 2002, 'Efficient Compile-Time Analysis of Cache Behaviour for Programs with IF Statements', in 5th International Conference on Algorithms and Architectures for Parallel Processing, Beijing, China, pp. 396 - 407, presented at 5th International Conference on Algorithms and Architectures for Parallel Processing, Beijing, China, 23 October 2002 - 25 October 2002, http://dx.doi.org/10.1109/ICAPP.2002.1173608
    Conference Papers | 2002
    Scientia Professor Jingling Xue
    Xue J, 2002, 'A generic localization method for VLSI implementation of algorithms.', in 4th International Conference on Massively Parallel Computng Systems, 4th International Conference on Massively Parallel Computng Systems, Ischia, pp. 396 - 407, presented at 4th International Conference on Massively Parallel Computng Systems, Ischia, 01 April 2002 - 03 April 2002
    Conference Papers | 2001
    Scientia Professor Jingling Xue
    Xue J, 2001, 'On Nonsingular Loop Transformations Using SUIF`s Dependence Abstraction', in 2nd international conference on parallel and distributed computing, applications and technologies, 2nd international conference on parallel and distributed computing, applications and technologies, TAIWAN, presented at 2nd international conference on parallel and distributed computing, applications and technologies, TAIWAN, 09 July 2001
    Conference Papers | 2000
    Scientia Professor Jingling Xue
    Xue J, 2000, 'Time-Minimal and Processor-Time-Minimal Loop Tiling', in 4th International Conference on Algorithms and Architectures for Parallel Processing, 4th International Conference on Algorithms and Architectures for Parallel Processing, Hong Kong, presented at 4th International Conference on Algorithms and Architectures for Parallel Processing, Hong Kong, 11 December 2000 - 13 December 2000
    Conference Papers | 2000
    Scientia Professor Jingling Xue
    Chen S; Xue J, 2000, 'Optimal tiling for loops with parallelogram iteration spaces', in 1st International Conference on Parallel and Distributed Applications and Technologies, 1st International Conference on Parallel and Distributed Applications and Technologies, Hong Kong, presented at 1st International Conference on Parallel and Distributed Applications and Technologies, Hong Kong, 22 May 2000 - 24 May 2000
    Conference Papers | 1999
    Scientia Professor Jingling Xue
    Chen S; Xue J, 1999, 'Communication Overhead on Distributed Memory Machines', in 4th Australasian Computer Architecture Conference, 4th Australasian Computer Architecture Conference, Auckland, New Zealand, presented at 4th Australasian Computer Architecture Conference, Auckland, New Zealand, 18 January 1999 - 21 January 1999
    Conference Papers | 1998
    Scientia Professor Jingling Xue
    Chen S; Xue J, 1998, 'Issues of tiling double loops on distributed memory machines', in he 5th Australasian Conference on Parallel and real-time systems, Springer, Adelaide, pp. 377 - 388, presented at PART'98, Adelaide, 28 September 1998 - 29 September 1998
    Conference Papers | 1998
    Scientia Professor Jingling Xue
    Chen S; Xue J; Zhang Y; Ma J, 1998, 'An expert control system for gas furnace pressure', in proceedings of the Second IEEE International Conference on Intelligent Processing, Gold Coast : Griffith University, 1998, Gold Coast, presented at ICIPS'98, Gold Coast, 04 August 1998 - 07 August 1998, http://trove.nla.gov.au/work/35729463?versionId=44536315
    Conference Papers | 1997
    Scientia Professor Jingling Xue
    Xue J; Huang C-H, 1997, 'Reuse-driven tiling for data locality', in Lecture Notes in Computer Science, Springer, Minnesota, pp. 16 - 33, presented at Languages and Compilers for Parallel Computing, Minnesota, 07 August 1997 - 09 August 1997, http://dx.doi.org/10.1007/BFb0032681
    Conference Papers | 1997
    Scientia Professor Jingling Xue
    Xue J, 1997, 'Eigenvectors-based parallelisation of nested loops with affine dependences', in Algorithms and Architectures for Parallel Processing, 1997. ICAPP 97., 1997 3rd International Conference on, IEEE, Melbourne, pp. 357 - 366, presented at ICA3PP'97, Melbourne, 10 December 1997 - 12 December 1997, http://dx.doi.org/10.1109/ICAPP.1997.651504
    Conference Papers | 1996
    Scientia Professor Jingling Xue
    Xue J, 1996, 'Communication-minimal tiling of uniform dependence loops', in Lecture Notes in Computer Science, Springer, San Jose, pp. 330 - 349, presented at LCPC'96, San Jose, 08 August 1996 - 10 August 1996, http://dx.doi.org/10.1007/BFb0017262
    Conference Papers | 1996
    Scientia Professor Jingling Xue
    Xue J, 1996, 'On loop restructuring by converting imperfect to perfect loop nests', in IEEE 2nd International Conference on Algorithms and Architectures for Parallel Processing, IEEE, Singapore, pp. 421 - 429, presented at ICA3PP'96, Singapore, 11 June 1996 - 13 June 1996, http://dx.doi.org/10.1109/ICAPP.1996.562904
    Conference Papers | 1996
    Scientia Professor Jingling Xue
    Xue J, 1996, 'Affine-by-Statement Transformations of Imperfectly Nested Loops', in Proceedings of the 10th International Parallel Processing Symposium, Hawaii, pp. 34 - 38, presented at IPPS'96, Hawaii, 15 April 1996 - 19 April 1996, http://dl.acm.org/citation.cfm?id=661021
    Conference Papers | 1995
    Scientia Professor Jingling Xue
    Xue J, 1995, 'Non-unimodular code generation for parallel machines', in International Conference on Algorithms and Architectures for Parallel Processing, IEEE, Brisbane, pp. 181 - 184, presented at ICA3PP'95, Brisbane, 19 April 1995 - 21 April 1995, http://dx.doi.org/10.1109/ICAPP.1995.472184
    Conference Papers | 1995
    Scientia Professor Jingling Xue
    Xue J, 1995, 'Constructing DO loops for non-convex iteration spaces in compiling for parallel machines', in 9th international Parallel Processing Symposium, IEEE, Santa Barbara, pp. 364 - 368, presented at IPPS'95, Santa Barbara, 25 April 1995 - 28 April 1995, http://dx.doi.org/10.1109/IPPS.1995.395957
    Conference Papers | 1994
    Scientia Professor Jingling Xue
    Xue J; Lenders P, 1994, 'Avoiding data link and computational conflicts in mapping nested loop algorithms to lower-dimensional processor arrays', in Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS, pp. 567 - 572
    Conference Papers | 1994
    Scientia Professor Jingling Xue
    Xue J, 1994, 'SysPar: a software package for systolising and parallelising nested loop algorithms', in TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994, IEEE, Singapore, pp. 551 - 555, presented at TENCON'94, Singapore, 22 August 1994 - 26 August 1994, http://dx.doi.org/10.1109/TENCON.1994.369239
    Conference Papers | 1993
    Scientia Professor Jingling Xue
    Xue J, 1993, 'An algorithm to automate non-unimodular transformations of loop nests', in Proceedings of the 5th IEEE Symposium on Parallel and Distributed Processing, Dallas, pp. 512 - 519, presented at IEEE Symposium on Parallel and Distributed Systems, Dallas, 01 December 1993 - 04 December 1993, http://dx.doi.org/10.1109/SPDP.1993.395490
    Conference Papers | 1993
    Scientia Professor Jingling Xue
    Xue J, 1993, 'A new formulation of the mapping conditions for the synthesis of linear systolic arrays', in International conference on Application-Specific Array Processors, IEEE, Venice, pp. 297 - 308, presented at ASAP'93, Venice, 25 October 1993 - 27 October 1993, http://dx.doi.org/10.1109/ASAP.1993.397153
    Conference Papers | 1992
    Scientia Professor Jingling Xue
    Xue J, 1992, 'On the loading, recovery and access of stationary data in systolic arrays', in Lecture Notes in Computer Science, Parallel Processing: CONPAR 92—VAPP V, Lyon, pp. 259 - 664, presented at Parallel Processing: CONPAR 92—VAPP V, Lyon, 01 May 1992 - 03 May 1992, http://dx.doi.org/10.1007/3-540-55895-0_420

Awards

Grants

  1. J. Xue. Event Interleaving Analysis for 119 Detecting Event-Driven Order Violations in Android Apps. Australian Research Council (Discovery), 2021 -- 2023, A$315,000.

     

  2. J. Xue. Building Secure Defenses Against Code Reuse Attacks with Modular Pointer Analysis. Australian Research Council (Discovery), 2018 -- 2020, A$362,616.

     

  3. J. Xue. Soundness-Guided Security Analysis for Android Applications. Australian Research Council (Discovery), 2017 -- 2019, A$357,500.

     

  4. J. Xue. Sparse Demand-Driven Analysis to Improve Software Reliability and Security. Australian Research Council (Discovery), 2015 -- 2017, A$266,300.

     

  5. J. Xue and B. Scholz, Finding Concurrency Bugs in Multithreaded Software. Australian Research Council (Discovery), 2013 -- 2015, A$360,000.

     

  6. J. Xue. Automating data placement and movement for explicitly managed memory hierarchies, Australian Research Council (Discovery), 2011 -- 2013, A$390,000.

     

  7. J. Xue and J. Potter. A Programming Model of Object Validity for Secure and Efficient Concurrency Australian Research Council (Discovery), 2009 -- 2011, A$391,000.

     

  8. J. Xue. Scratchpad based Memory Allocation Techniques for Embedded Software, Australian Research Council (Discovery), 2008 -- 2010, A$285,000.

     

  9. J. Xue and J. Potter. Analysis and Optimisation of Incomplete Object-Oriented Programs, Australian Research Council (Discovery), 2006 -- 2008, A$286,000.

     

  10. J. Xue. Compiler-Directed Code Tiling for Higher Program Performance and Predictability on Multi-Level Memory Hierarchies , Australian Research Council (Discovery), 2004 -- 2006, A$150,000.

     

     

  11. M. Chakravarty, G. Heiser, J. Potter and J. Xue. A Safe and Efficient Multi-Language Component Framework Based on Dynamic Compilation, Australian Research Council (Discovery), 2002 -- 2004, $382,000.

     

  12. J. Jin, Y. Zhong and J.Xue. A Scheme of Local Compilation of Mobile Collectors for Image and Video Search Engines, Australian Research Council (Linkage), 2002 -- 2004, $119,490.

     

  13. J. Xue. Compiler Optimisations for Improving Cache Performance of Uniprocessors, Australian Research Council (Discovery), 2000 -- 2002, A$175,000.

     

  14. J. Xue. Compiling for Distributed Memory Machines in the Polyhedron Model, Australian Research Council (Discovery), 1996 -- 1998, A$111,915.

Media