By Associate Professor Yulei Sui

Conference Papers

Lei Y; Sui Y, 2019, 'Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 27 - 47, http://dx.doi.org/10.1007/978-3-030-32304-2_3

Nobakht M; Sui Y; Seneviratne A; Hu W, 2018, 'Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks', in Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, Institute of Electrical and Electronics Engineers (IEEE), NY, New York, pp. 533 - 538, presented at 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE), NY, New York, 31 July 2018 - 03 August 2018, http://dx.doi.org/10.1109/TrustCom/BigDataSE.2018.00081

Gao Q; Ma S; Shao S; Sui Y; Zhao G; Ma L; Ma X; Duan F; Deng X; Zhang S; Chen X, 2018, 'CoBOT: Static C/C++ bug detection in the presence of incomplete code', in Proceedings - International Conference on Software Engineering, pp. 385 - 388, http://dx.doi.org/10.1145/3196321.3196367

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

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

Sui Y; Lu J; Xue J, 2016, 'On-demand Strong Update Analysis via value-flow Refinement', in Zimmermann T; ClelandHuang J; Su Z (eds.), 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

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), Association for Computing Machinery (ACM), 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, pp. 41 - 51, 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, Association for Computing Machinery (ACM), 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, Association for Computing Machinery (ACM), 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

Di P; Sui Y, 2016, 'Accelerating dynamic data race detection using static thread interference analysis', in Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2016, Barcelona, Spain, pp. 30 - 39, presented at PMAM'16 Proceedings of the 7th International Workshop, Barcelona, Spain, 12 March 2016 - 16 March 2016, http://dx.doi.org/10.1145/2883404.2883405

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), Institute of Electrical and Electronics Engineers (IEEE), 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, Institute of Electrical and Electronics Engineers (IEEE), 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

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, Institute of Electrical and Electronics Engineers (IEEE), ITALY, Naples, pp. 88 - 99, presented at 2014 IEEE 25th International Symposium on Software Reliability Engineering, ITALY, Naples, 03 November 2014 - 06 November 2014, http://dx.doi.org/10.1109/ISSRE.2014.20

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

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

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

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

Di P; Ye D; Su Y; Sui Y; Xue J, 2012, 'Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs', in Proceedings of the International Conference on Parallel Processing, IEEE Computer Society, Los Alamitos, Calif., pp. 350 - 359, presented at The 41st International Conference on Parallel Processing, Pittsburgh, PA, USA, 10 September 2012 - 13 September 2012

Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', 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

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, ACM, presented at ISSTA '12: International Symposium on Software Testing and Analysis, http://dx.doi.org/10.1145/2338965.2336784

Sui Y; Ye S; Xue J; Yew P-C, 2011, 'SPAS: Scalable path-sensitive pointer analysis on full-sparse SSA', in Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Proceedings, Springer Verlag, Heidelberg, Germany, pp. 155 - 171, presented at 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, Kenting, Taiwan, 05 December 2011 - 07 December 2011, http://dx.doi.org/10.1007/978-3-642-25318-8_14

Yang Y; Zhou X; Yang G; Wang B; Sui Y, 2010, 'Trustworthy Service Scheduling Framework for QoS garantee of composite service', in 2nd International Conference on Information Science and Engineering, ICISE2010 - Proceedings, http://dx.doi.org/10.1109/ICISE.2010.5691645

Back to profile page