Select Publications

Conference Papers

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

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), pp. 110 - 122, http://dx.doi.org/10.1145/3316482.3326349

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

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

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

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

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

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

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

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

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

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

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

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

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

Zhang Y; Sui Y; Xue J, 2018, 'Launch-Mode-Aware Context-Sensitive Activity Transition Analysis', in Proceedings - International Conference on Software Engineering, pp. 598 - 608, http://dx.doi.org/10.1145/3180155.3180188

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

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 - International Conference on Software Engineering, pp. 327 - 337, http://dx.doi.org/10.1145/3180155.3180178

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

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

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

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

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

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, http://dx.doi.org/10.1145/3062341.3062360

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

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

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

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

Yang C; Chen C; Tang T; Chen X; Fang J; Xue J, 2016, 'An Energy-Efficient Implementation of LU Factorization on Heterogeneous Systems', in Liao X; Lovas R; Shen X; Zheng R (eds.), 2016 IEEE 22ND INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), IEEE, PEOPLES R CHINA, Wuhan, pp. 971 - 979, presented at 22nd IEEE International Conference on Parallel and Distributed Systems (ICPADS), PEOPLES R CHINA, Wuhan, 13 December 2016 - 16 December 2016, http://dx.doi.org/10.1109/ICPADS.2016.128

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

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, NEW ZEALAND, Hamilton, pp. 281 - 288, presented at 23rd Asia-Pacific Software Engineering Conference (APSEC), NEW ZEALAND, Hamilton, 06 December 2016 - 09 December 2016, http://dx.doi.org/10.1109/APSEC.2016.21

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, presented at FSE'16, Seattle, 13 November 2016 - 18 November 2016

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, presented at SAS'16, Edinburgh, 08 September 2016 - 10 September 2016, http://staticanalysis.org/sas2016/accepted.html

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, presented at International Conference on Parallel Processing, Philadephia, 16 August 2016 - 19 August 2016

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

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

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, http://dx.doi.org/10.1145/2907950.2907957

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

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

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

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

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

Di P; Sui Y; Ye D; Xue J, 2015, 'Region-Based May-Happen-in-Parallel Analysis for C Programs', 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

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, presented at 2015 International Conference on Parallel Processing, Beijing, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.29

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

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

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

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

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

Xu CZ; Xiang Y; Xue J; Lu Y; Li KC, 2014, 'Message from U-science 2014 program chairs', in Proceedings - 2014 World Ubiquitous Science Congress: 2014 IEEE 12th International Conference on Dependable, Autonomic and Secure Computing, DASC 2014, pp. xv, http://dx.doi.org/10.1109/DASC.2014.6


Back to profile page