Select Publications

Conference Papers

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

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

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

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

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

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

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

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

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

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 CGO 2018 - Proceedings of the 2018 International Symposium on Code Generation and Optimization, pp. 228 - 240, http://dx.doi.org/10.1145/3168813

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

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

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

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

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, pp. 329 - 340, 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 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 278 - 291, http://dx.doi.org/10.1145/3062341.3062360

Xue J; Yan C; Chen C; Tang T; Chen X; Fang J, 2017, '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

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, pp. 281 - 288, http://dx.doi.org/10.1145/3029806.3029814

Xu J; Meng X; Tan Q; Xue J, 2017, '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

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

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

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

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

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

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

Li Y; Tan T; Zhang Y; Xue J, 2016, 'Program tailoring: Slicing by sequential criteria', in Krishnamurthi S; Lerner B (eds.), Leibniz International Proceedings in Informatics, LIPIcs, 30th European Conference on Object-Oriented Programming, Rome, pp. 15:1 - 15:27, presented at 30th European Conference on Object-Oriented Programming, Rome, 18 - 22 July 2016, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.15

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

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

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

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

Xue J; Fan X; Sui Y, 2016, '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

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

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

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

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

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

Ye S; Sui Y; Xue J, 2015, '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

Su Y; Ye D; Xue J, 2014, 'Parallel pointer analysis with CFL-reachability', in Proceedings of the International Conference on Parallel Processing, International Conference on Parallel Processing, Minneapolis, pp. 451 - 460, presented at International Conference on Parallel Processing, Minneapolis, 09 - 12 September 2014, http://dx.doi.org/10.1109/ICPP.2014.54

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, International Conference on Design, Automation and Test in Europe, Dresden, pp. 90:1 - 90:4, presented at International Conference on Design, Automation and Test in Europe, Dresden, 24 - 28 March 2014, http://dx.doi.org/10.7873/DATE2014.103

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

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

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 - 01 August 2014, http://dx.doi.org/10.1007/978-3-662-44202-9_2


Back to profile page