Select Publications

Conference Papers

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

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

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

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

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

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

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

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), 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

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

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

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

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, 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 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017, ACM Press, presented at the 38th ACM SIGPLAN Conference, 18 June 2017 - 23 June 2017, 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 ACM SIGPLAN Notices, pp. 278 - 291, 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

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

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

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

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

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 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems - LCTES 2016, ACM Press, presented at the 17th ACM SIGPLAN/SIGBED Conference, 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 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

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', 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

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

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


Back to profile page