Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJingling Xue
薛京灵
Person information
- unicode name: 薛京灵
- affiliation: University of New South Wales, School of Computer Science and Engineering, Sydney, NSW, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j93]Jifeng Wu
, Wei Li, Libing Wu, Mengting Yuan, Chun Jason Xue, Jingling Xue, Qingan Li:
Effective Stack Wear Leveling for NVM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(10): 3250-3263 (2023)- [j92]Dongjie He, Jingbo Lu, Jingling Xue:
IFDS-based Context Debloating for Object-Sensitive Pointer Analysis. ACM Trans. Softw. Eng. Methodol. 32(4): 101:1-101:44 (2023) - [j91]Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue:
Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis. IEEE Trans. Software Eng. 49(2): 719-742 (2023) - [j90]Zhe Chen, Qi Zhang, Jun Wu, Junqi Yan, Jingling Xue:
A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety. IEEE Trans. Software Eng. 49(4): 2107-2127 (2023) - [c169]Zhongcheng Zhang, Yan Ou, Ying Liu, Chenxi Wang, Yongbin Zhou, Xiaoyu Wang, Yuyang Zhang, Yucheng Ouyang, Jiahao Shan, Ying Wang, Jingling Xue, Huimin Cui, Xiaobing Feng:
Occamy: Elastically Sharing a SIMD Co-processor across Multiple CPU Cores. ASPLOS (3) 2023: 483-497 - [c168]Long Zheng, Xiangyu Ye, Haifeng Liu, Qinggang Wang, Yu Huang, Chuangyi Gui, Pengcheng Yao, Xiaofei Liao, Hai Jin, Jingling Xue:
AFaVS: Accurate Yet Fast Version Switching for Graph Processing Systems. ICDE 2023: 53-66 - [c167]Haifeng Liu, Long Zheng, Yu Huang, Chaoqiang Liu, Xiangyu Ye, Jingrui Yuan, Xiaofei Liao, Hai Jin, Jingling Xue:
Accelerating Personalized Recommendation with Cross-level Near-Memory Processing. ISCA 2023: 66:1-66:13 - [c166]Dongjie He, Yujiang Gui, Yaoqing Gao, Jingling Xue:
Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection. ISSTA 2023: 101-113 - [c165]Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue:
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. ISSTA 2023: 114-126 - [c164]Yujiang Gui, Dongjie He, Jingling Xue:
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows. ASE 2023: 319-331 - [c163]Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue:
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis. ASE 2023: 624-636 - [c162]Jingbo Lu, Dongjie He, Wei Li, Yaoqing Gao, Jingling Xue:
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis. ASE 2023: 736-747 - [c161]Jiawei Yin, Menghao Li, Yuekang Li, Yong Yu, Boru Lin, Yanyan Zou, Yang Liu, Wei Huo, Jingling Xue:
RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing. SP 2023: 2155-2169 - 2022
- [j89]Dongjie He, Jingbo Lu, Jingling Xue:
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact). Dagstuhl Artifacts Ser. 8(2): 06:1-06:3 (2022) - [j88]Guangli Li, Xiu Ma, Xueying Wang, Hengshan Yue, Jiansong Li, Lei Liu, Xiaobing Feng, Jingling Xue:
Optimizing deep neural networks on intelligent edge accelerators via flexible-rate filter pruning. J. Syst. Archit. 124: 102431 (2022) - [j87]Changwei Zou, Yaoqing Gao, Jingling Xue:
Practical Software-Based Shadow Stacks on x86-64. ACM Trans. Archit. Code Optim. 19(4): 61:1-61:26 (2022) - [j86]Yu Huang, Long Zheng, Pengcheng Yao, Qinggang Wang, Haifeng Liu, Xiaofei Liao, Hai Jin, Jingling Xue:
ReaDy: A ReRAM-Based Processing-in-Memory Accelerator for Dynamic Graph Convolutional Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3567-3578 (2022) - [j85]Long Zheng, Haifeng Liu, Yu Huang, Dan Chen, Chaoqiang Liu, Haiheng He, Xiaofei Liao, Hai Jin, Jingling Xue:
A Flexible Yet Efficient DNN Pruning Approach for Crossbar-Based Processing-in-Memory Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3745-3756 (2022) - [j84]Changwei Zou, Xudong Wang, Yaoqing Gao, Jingling Xue:
Buddy Stacks: Protecting Return Addresses with Efficient Thread-Local Storage and Runtime Re-Randomization. ACM Trans. Softw. Eng. Methodol. 31(2): 35e:1-35e:37 (2022) - [j83]Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng, Jingling Xue:
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement. IEEE Trans. Software Eng. 48(2): 662-677 (2022) - [c160]Xudong Wang, Xuezheng Xu, Qingan Li, Mengting Yuan, Jingling Xue:
Recovering Container Class Types in C++ Binaries. CGO 2022: 131-143 - [c159]Xuezheng Xu, Xudong Wang, Jingling Xue:
M3V: Multi-modal Multi-view Context Embedding for Repair Operator Prediction. CGO 2022: 266-277 - [c158]Dongjie He, Jingbo Lu, Jingling Xue:
Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis. ECOOP 2022: 30:1-30:29 - [c157]Pengcheng Yao, Long Zheng, Yu Huang, Qinggang Wang, Chuangyi Gui, Zhen Zeng, Xiaofei Liao, Hai Jin, Jingling Xue:
ScalaGraph: A Scalable Accelerator for Massively Parallel Graph Processing. HPCA 2022: 199-212 - [c156]Yu Huang, Long Zheng, Pengcheng Yao, Qinggang Wang, Xiaofei Liao, Hai Jin, Jingling Xue:
Accelerating Graph Convolutional Networks Using Crossbar-based Processing-In-Memory Architectures. HPCA 2022: 1029-1042 - [c155]Zhe Chen, Jun Wu, Qi Zhang, Jingling Xue:
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation. ICSE-Companion 2022: 6-10 - [c154]Qinggang Wang, Long Zheng, Ao Hu, Yu Huang, Pengcheng Yao, Chuangyi Gui, Xiaofei Liao, Hai Jin, Jingling Xue:
A Data-Centric Accelerator for High-Performance Hypergraph Processing. MICRO 2022: 1326-1341 - [c153]Jiawei Yin, Menghao Li, Wei Wu, Dandan Sun, Jianhua Zhou, Wei Huo, Jingling Xue:
Finding SMM Privilege-Escalation Vulnerabilities in UEFI Firmware with Protocol-Centric Static Analysis. SP 2022: 1623-1637 - [i6]Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue:
Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework. CoRR abs/2210.14436 (2022) - 2021
- [j82]Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue:
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact). Dagstuhl Artifacts Ser. 7(2): 12:1-12:3 (2021) - [j81]Daniele D'Agostino, Francesco Leporati, Massimo Torquati, Jingling Xue:
Guest Editorial: Special Section on New Trends in Parallel and Distributed Computing for Human Sensible Applications. IEEE Trans. Emerg. Top. Comput. 9(4): 1640-1641 (2021) - [j80]Jingbo Lu, Dongjie He, Jingling Xue:
Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity. ACM Trans. Softw. Eng. Methodol. 30(4): 46:1-46:46 (2021) - [c152]Guangli Li, Jingling Xue, Lei Liu, Xueying Wang, Xiu Ma, Xiao Dong, Jiansong Li, Xiaobing Feng:
Unleashing the Low-Precision Computation Potential of Tensor Cores on GPUs. CGO 2021: 90-102 - [c151]Ting Yuan, Guangwei Li, Jie Lu, Chen Liu, Lian Li, Jingling Xue:
GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. CGO 2021: 187-199 - [c150]Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue:
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability. ECOOP 2021: 16:1-16:31 - [c149]Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue:
Runtime detection of memory errors with smart status. ISSTA 2021: 296-308 - [c148]Chen Liu, Jie Lu, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang You, Jingling Xue:
Detecting TensorFlow Program Bugs in Real-World Industrial Environment. ASE 2021: 55-66 - [c147]Dongjie He, Jingbo Lu, Jingling Xue:
Context Debloating for Object-Sensitive Pointer Analysis. ASE 2021: 79-91 - [c146]Jingbo Lu, Dongjie He, Jingling Xue:
Selective Context-Sensitivity for k-CFA with CFL-Reachability. SAS 2021: 261-285 - [c145]Xuezheng Xu, Xudong Wang, Jingling Xue:
Automatic Synthesis of Data-Flow Analyzers. SAS 2021: 453-478 - 2020
- [j79]Chunwei Xia, Jiacheng Zhao, Huimin Cui, Xiaobing Feng, Jingling Xue:
DNNTune: Automatic Benchmarking DNN Models for Mobile-cloud Computing. ACM Trans. Archit. Code Optim. 16(4): 49:1-49:26 (2020) - [j78]Qinggang Wang, Long Zheng, Jieshan Zhao, Xiaofei Liao, Hai Jin, Jingling Xue:
A Conflict-free Scheduler for High-performance Graph Processing on Multi-pipeline FPGAs. ACM Trans. Archit. Code Optim. 17(2): 14:1-14:26 (2020) - [j77]Guangli Li, Xiu Ma, Xueying Wang, Lei Liu, Jingling Xue, Xiaobing Feng:
Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3614-3626 (2020) - [j76]Yulei Sui, Jingling Xue:
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++. IEEE Trans. Software Eng. 46(8): 812-835 (2020) - [c144]Mingchuan Wu, Ying Liu, Huimin Cui, Qingfu Wei, Quanfeng Li, Limin Li, Fang Lv, Jingling Xue, Xiaobing Feng:
Bandwidth-Aware Loop Tiling for DMA-Supported Scratchpad Memory. PACT 2020: 97-109 - [c143]Feng Yu, Jiacheng Zhao, Huimin Cui, Xiaobing Feng, Jingling Xue:
VTensor: Using Virtual Tensors to Build a Layout-oblivious AI Programming Framework. PACT 2020: 345-346 - [c142]Wei Li, Libing Wu, Mengting Yuan, Chun Jason Xue, Jingling Xue, Qingan Li:
Loop2Recursion: Compiler-Assisted Wear Leveling for Non-Volatile Memory. ICCD 2020: 581-588 - [c141]Changwei Zou, Jingling Xue:
Burn after reading: a shadow stack with microsecond-level runtime rerandomization for protecting return addresses. ICSE 2020: 258-270 - [c140]Xuezheng Xu, Changwei Zou, Jingling Xue:
Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates. ICSME 2020: 196-207 - [c139]Yu Huang, Long Zheng, Pengcheng Yao, Jieshan Zhao, Xiaofei Liao, Hai Jin, Jingling Xue:
A Heterogeneous PIM Hardware-Software Co-Design for Energy-Efficient Graph Processing. IPDPS 2020: 684-695 - [c138]Long Zheng, Jieshan Zhao, Yu Huang, Qinggang Wang, Zhen Zeng, Jingling Xue, Xiaofei Liao, Hai Jin:
Spara: An Energy-Efficient ReRAM-Based Accelerator for Sparse Graph Analytics Applications. IPDPS 2020: 696-707 - [c137]Jie Liu, Dongjie He, Diyu Wu, Jingling Xue:
Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis. ISSRE 2020: 241-252 - [c136]Diyu Wu, Dongjie He, Shiping Chen, Jingling Xue:
Exposing Android Event-Based Races by Selective Branch Instrumentation. ISSRE 2020: 265-276 - [c135]Pengcheng Yao, Long Zheng, Zhen Zeng, Yu Huang, Chuangyi Gui, Xiaofei Liao, Hai Jin, Jingling Xue:
A Locality-Aware Energy-Efficient Accelerator for Graph Mining Applications. MICRO 2020: 895-907 - [c134]Long Zheng, Xianliang Li, Yaohui Zheng, Yu Huang, Xiaofei Liao, Hai Jin, Jingling Xue, Zhiyuan Shao, Qiang-Sheng Hua:
Scaph: Scalable GPU-Accelerated Graph Processing with Value-Driven Differential Scheduling. USENIX Annual Technical Conference 2020: 573-588 - [c133]Fang Lv, Hao Li, Lei Wang, Ying Liu, Huimin Cui, Jingling Xue, Xiaobing Feng:
Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers. SANER 2020: 1-12 - [e5]Jingling Xue, Changhee Jung:
Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2020, London, UK, June 16, 2020. ACM 2020, ISBN 978-1-4503-7094-3 [contents] - [i5]Guangli Li, Xiu Ma, Xueying Wang, Lei Liu, Jingling Xue, Xiaobing Feng:
Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices. CoRR abs/2010.16165 (2020)
2010 – 2019
- 2019
- [j75]Wang Li, Jingling Xue, Xiangke Liao, Yunchuan Wen, Min Chen:
LCCFS: a lightweight distributed file system for cloud computing without journaling and metadata services. Sci. China Inf. Sci. 62(7): 72101:1-72101:14 (2019) - [j74]Jingbo Lu, Jingling Xue:
Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity. Proc. ACM Program. Lang. 3(OOPSLA): 148:1-148:29 (2019) - [j73]Xing Su, Xiangke Liao, Hao Jiang, Canqun Yang, Jingling Xue:
SCP: Shared Cache Partitioning for High-Performance GEMM. ACM Trans. Archit. Code Optim. 15(4): 43:1-43:21 (2019) - [j72]Feng Zhang, Jingling Xue:
Poker: Permutation-Based SIMD Execution of Intensive Tree Search by Path Encoding. ACM Trans. Archit. Code Optim. 15(4): 46:1-46:28 (2019) - [j71]Yue Li, Tian Tan, Jingling Xue:
Understanding and Analyzing Java Reflection. ACM Trans. Softw. Eng. Methodol. 28(2): 7:1-7:50 (2019) - [c132]Ying Liu, Lei Huang, Mingchuan Wu, Huimin Cui, Fang Lv, Xiaobing Feng, Jingling Xue:
PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion. CC 2019: 2-16 - [c131]Xiaogang Zhu, Xiaotao Feng, Tengyun Jiao, Sheng Wen, Yang Xiang, Seyit Camtepe, Jingling Xue:
A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing. AsiaCCS 2019: 658-663 - [c130]Xuezheng Xu, Yulei Sui, Hua Yan, Jingling Xue:
VFix: value-flow-guided precise program repair for null pointer dereferences. ICSE 2019: 512-523 - [c129]Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen, Jingling Xue:
Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. ICST 2019: 276-287 - [c128]Changwei Zou, Yulei Sui, Hua Yan, Jingling Xue:
TCD: Statically Detecting Type Confusion Errors in C++ Programs. ISSRE 2019: 292-302 - [c127]Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue:
Detecting memory errors at runtime with source-level instrumentation. ISSTA 2019: 341-351 - [c126]Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue:
Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. ASE 2019: 267-279 - [c125]Muyue Feng, Zimu Yuan, Feng Li, Gu Ban, Shiyang Wang, Qian Tang, He Su, Chendong Yu, Jiahuan Xu, Aihua Piao, Jingling Xue, Wei Huo:
B2SFinder: Detecting Open-Source Software Reuse in COTS Software. ASE 2019: 1038-1049 - [c124]Xuesong Su, Hui Wu, Jingling Xue:
WCET-aware hyper-block construction for clustered VLIW processors. LCTES 2019: 110-122 - [c123]Jieyuan Zhang, Jingling Xue:
Incremental precision-preserving symbolic inference for probabilistic programs. PLDI 2019: 237-252 - [c122]Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue:
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. SAS 2019: 48-72 - [c121]Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, Jingling Xue:
Event trace reduction for effective bug replay of Android apps via differential GUI state analysis. ESEC/SIGSOFT FSE 2019: 1095-1099 - [i4]Xiaogang Zhu, Xiaotao Feng, Tengyun Jiao, Sheng Wen, Yang Xiang, Seyit Camtepe, Jingling Xue:
A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing. CoRR abs/1905.01405 (2019) - 2018
- [j70]Yulei Sui, Hua Yan, Zheng Zheng, Yunpeng Zhang, Jingling Xue:
Parallel construction of interprocedural memory SSA form. J. Syst. Softw. 146: 186-195 (2018) - [j69]Yifei Zhang, Yue Li, Tian Tan, Jingling Xue:
Ripple: Reflection analysis for Android apps in incomplete information environments. Softw. Pract. Exp. 48(8): 1419-1437 (2018) - [j68]Yulei Sui, Xiaokang Fan, Hao Zhou, Jingling Xue:
Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization. ACM Trans. Embed. Comput. Syst. 17(2): 56:1-56:31 (2018) - [c120]Long Zheng, Xiaofei Liao, Hai Jin, Bingsheng He, Jingling Xue, Haikun Liu:
Towards concurrency race debugging: an integrated approach for constraint solving and dynamic slicing. PACT 2018: 26:1-26:13 - [c119]Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue:
Live Path CFI Against Control Flow Hijacking Attacks. ACISP 2018: 768-779 - [c118]Feng Zhang, Jingling Xue:
Poker: permutation-based SIMD execution of intensive tree search by path encoding. CGO 2018: 87-99 - [c117]Qing Zhou, Lian Li, Lei Wang, Jingling Xue, Xiaobing Feng:
May-happen-in-parallel analysis with static vector clocks. CGO 2018: 228-240 - [c116]Jiacheng Zhao, Huimin Cui, Yalin Zhang, Jingling Xue, Xiaobing Feng:
Revisiting Loop Tiling for Datacenters: Live and Let Live. ICS 2018: 328-340 - [c115]Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue:
Live path control flow integrity. ICSE (Companion Volume) 2018: 195-196 - [c114]Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue:
Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities. ICSE 2018: 327-337 - [c113]Yifei Zhang, Yulei Sui, Jingling Xue:
Launch-mode-aware context-sensitive activity transition analysis. ICSE 2018: 598-608 - [c112]Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue:
Understanding and detecting evolution-induced compatibility issues in Android apps. ASE 2018: 167-177 - [c111]Jie Liu, Diyu Wu, Jingling Xue:
TDroid: exposing app switching attacks in Android with control flow specialization. ASE 2018: 236-247 - [e4]Christophe Dubach, Jingling Xue:
Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria. ACM 2018 [contents] - 2017
- [j67]Yi Wang, Tianzheng Wang, Duo Liu, Zili Shao, Jingling Xue:
Fine grained, direct access file system support for storage class memory. J. Syst. Archit. 72: 80-92 (2017) - [j66]Xuesong Su, Hui Wu, Jingling Xue:
An Efficient WCET-Aware Instruction Scheduling and Register Allocation Approach for Clustered VLIW Processors. ACM Trans. Embed. Comput. Syst. 16(5s): 120:1-120:21 (2017) - [j65]Duo Liu, Kan Zhong, Tianzheng Wang, Yi Wang, Zili Shao, Edwin Hsing-Mean Sha, Jingling Xue:
Durable Address Translation in PCM-Based Flash Storage Systems. IEEE Trans. Parallel Distributed Syst. 28(2): 475-490 (2017) - [c110]Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue:
Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection. ACSAC 2017: 42-54 - [c109]Lian Li, Yi Lu, Jingling Xue:
Dynamic symbolic execution for polymorphism. CC 2017: 120-130 - [c108]Xing Su, Xiangke Liao, Jingling Xue:
Automatic generation of fast BLAS3-GEMM: a portable compiler approach. CGO 2017: 122-133 - [c107]Yifei Zhang, Tian Tan, Yue Li, Jingling Xue:
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. CODASPY 2017: 281-288 - [c106]Jie Liu, Yue Li, Tian Tan, Jingling Xue:
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely. ISSRE 2017: 12-23 - [c105]Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue:
Boosting the precision of virtual call integrity protection with partial pointer analysis for C++. ISSTA 2017: 329-340 - [c104]Tian Tan, Yue Li, Jingling Xue:
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. PLDI 2017: 278-291 - [c103]Jieyuan Zhang, Yulei Sui, Jingling Xue:
Incremental Analysis for Probabilistic Programs. SAS 2017: 450-472 - [i3]Yulei Sui, Jingling Xue:
Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement. CoRR abs/1701.05650 (2017) - [i2]Yue Li, Tian Tan, Jingling Xue:
Understanding and Analyzing Java Reflection. CoRR abs/1706.04567 (2017) - 2016
- [j64]Zhiyuan Wang, Yuhua Tang, Juan Chen, Jingling Xue, Yun Zhou, Yong Dong:
Energy Wall for Exascale Supercomputing. Comput. Informatics 35(4): 941-962 (2016) - [j63]Tian Tan, Yue Li, Yifei Zhang, Jingling Xue:
Program Tailoring: Slicing by Sequential Criteria (Artifact). Dagstuhl Artifacts Ser. 2(1): 08:1-08:3 (2016) - [j62]Hao Zhou, Jingling Xue:
A Compiler Approach for Exploiting Partial SIMD Parallelism. ACM Trans. Archit. Code Optim. 13(1): 11:1-11:26 (2016) - [j61]Juan Chen, Yuhua Tang, Yong Dong, Jingling Xue, Zhiyuan Wang, Wenhao Zhou:
Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning. IEEE Trans. Computers 65(8): 2588-2602 (2016) - [j60]Yu Su, Ding Ye, Jingling Xue, Xiangke Liao:
An Efficient GPU Implementation of Inclusion-Based Pointer Analysis. IEEE Trans. Parallel Distributed Syst. 27(2): 353-366 (2016) - [j59]