Jingling Xue

Registered user since Thu 10 Jul 2014

Name:Jingling Xue
Country:Australia
Affiliation:UNSW Sydney
Research interests:Programming Languages, Compilers and Program Analysis

Contributions

CGO 2024 Program Co-Chair (First Round) in Program Committee within the Main Conference-track
Steering Committee Member in Steering Committee
Program Co-Chair (First Round) in Organizing Committee
SAS 2023 PC Member in Program Committee within the SAS 2023-track
ASE 2023 Committee Member in Program Committee within the Research Papers-track
ISSTA 2023 Author of Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis within the Technical Papers-track
Author of Reducing the Memory Footprint of IFDS-based Data-Flow Analyses Using Fine-Grained Garbage Collection within the Technical Papers-track
CGO 2023 Committee Member in Program Committee within the Main Conference-track
Steering Committee Member in Steering Committee within the Main Conference-track
ASE 2022 Committee Member in Program Committee within the Research Papers-track
ECOOP 2022 Author of Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
LCTES 2022 Steering Committee Member in Steering Committee within the LCTES 2022-track
ICSE 2022 Author of A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation within the DEMO - Demonstrations-track
CGO 2022 Author of Recovering Container Class Types in C++ Binaries within the Main Conference-track
Author of M3V: Multi-Modal Multi-View Context Embedding for Repair Operator Prediction within the Main Conference-track
Committee Member in Steering Committee within the Main Conference-track
CC 2022 PC Member in Program Committee within the CC Research Papers-track
ASE 2021 Author of Context Debloating for Object-Sensitive Pointer Analysis within the Artifact Evaluation-track
Author of Detecting TensorFlow Program Bugs in Real-World Industrial Environment within the Research Papers-track
Author of Context Debloating for Object-Sensitive Pointer Analysis within the Research Papers-track
SAS 2021 Author of Automatic Synthesis of Data-Flow Analyzers within the SAS-track
Author of Selective Context-Sensitivity for k-CFA with CFL-Reachability within the SAS-track
ECOOP 2021 Author of Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability within the ECOOP Technical Papers-track
Author of Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability within the ECOOP Artifacts-track
ISSTA 2021 Author of Runtime Detection of Memory Errors with Smart Status within the Technical Papers-track
Author of Runtime Detection of Memory Errors with Smart Status within the Artifact Evaluation-track
LCTES 2021 Committee Member in Steering Committee within the LCTES 2021-track
ICSE 2021 Committee Member in Program Committee within the Technical Track-track
CC 2021 Committee Member in Program Committee within the CC Research Papers-track
Committee Member in Steering Committee
CGO 2021 Committee Member in Steering Committee
Committee Member in Program Committee within the Main Conference-track
Author of Unleashing the Low-Precision Computation Potential of Tensor Cores on GPUs within the Main Conference-track
Author of GoBench: a Benchmark Suite of Real-World Go Concurrency Bugs within the Main Conference-track
SPLASH 2020 Committee Member in Review Committee within the OOPSLA-track
ICSE 2020 Author of Burn After Reading: A Shadow Stack with Microsecond-level Runtime Rerandomization for Protecting Return Addresses within the Technical Papers-track
LCTES 2020 General Chair in Organizing Committee within the LCTES 2020-track
ASE 2019 Author of B2SFinder: Detecting Open-Source Software Reuse in COTS Software within the Research Papers-track
Author of Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis within the Research Papers-track
SPLASH 2019 Author of Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity within the OOPSLA Artifacts-track
Author of Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity within the OOPSLA-track
ISSTA 2019 Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track
LCTES 2019 Author of WCET-Aware Hyper-Block Construction for Clustered VLIW Processors within the LCTES 2019-track
PLDI 2019 Author of Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs within the PLDI Research Papers-track
ICSE 2019 Author of VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences within the Technical Track-track
ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track
PLDI 2018 Committee Member in External Review Committee
* ICSE 2018 * Author of Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps within the Technical Papers -track
Author of Poster W39: Live Path Control Flow Integrity within the Posters -track
Author of Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities within the Technical Papers -track
ISSTA 2017 Author of Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ within the Technical Papers-track
PLDI 2017 Author of Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata within the PLDI Research Papers-track
LCTES 2017 Author of Static Analysis for Improving Software Performance, Safety and Security within the LCTES 2017-track
Committee Member in Program Committee
Committee Member in Steering Committee
SOAP 2017 Keynote Speaker of Static Analysis of Java Reflection within the SOAP-track
CC 2017 Author of Dynamic Symbolic Execution for Polymorphism within the Research Papers-track
ECOOP 2016 Author of Program Tailoring: Slicing by Sequential Criteria within the Artifacts-track
Author of Program Tailoring: Slicing by Sequential Criteria within the Research Track-track
LCTES 2016 Committee Member in Program Committee
Committee Member in Steering Committee
Author of Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization within the LCTES-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track