ORCID as entered in ROS
https://orcid.org/0000-0002-9510-6574
Select Publications
Conference Papers
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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
, 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, '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
, 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, '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
, 2014, 'Self-inferencing reflection resolution for Java', in Lecture Notes in Computer Science 8586, Springer Verlag, UppSala, pp. 27 - 53, presented at
, 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
, 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
, 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
, 2012, 'Static memory leak detection using full-sparse value-flow analysis', Minneapolis, MN, pp. 254 - 264, presented at
, 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
, 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
, 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
https://orcid.org/0000-0002-9510-6574