Jingling Xue -

Registered user since Thu 10 Jul 2014

Name:Jingling Xue

Country:Australia

Affiliation:UNSW Sydney

Personal website:http://www.cse.unsw.edu.au/~jingling/

Research interests:Programming Languages, Compilers and Program Analysis

Contributions

ECOOP 2022	Committee Member in Program Committee within the Research Papers-track
CC 2022	Steering Committee Member in Steering Committee
CGO 2022	Committee Member in Steering Committee within the Main Conference-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
LCTES 2021	Committee Member in Steering Committee within the LCTES 2021-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
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
CC 2021	Committee Member in Program Committee within the CC Research Papers-track Committee Member in Steering Committee
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 2020	General Chair in Organizing Committee within the LCTES 2020-track
CGO 2020
SPLASH 2020	Committee Member in Review Committee within the OOPSLA-track
ICSE 2021	Committee Member in Program Committee within the Technical Track-track
LCTES 2019	Author of WCET-Aware Hyper-Block Construction for Clustered VLIW Processors within the LCTES 2019-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
PLDI 2019	Author of Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs within the PLDI Research Papers-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
ICSE 2019	Author of VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences within the Technical Track-track
SOAP 2017	Keynote Speaker of Static Analysis of Java Reflection within the SOAP-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
PLDI 2018	Committee Member in External Review Committee
ISSTA 2017	Author of Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ within the Technical Papers-track
CC 2017	Author of Dynamic Symbolic Execution for Polymorphism within the Research Papers-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
ISSTA 2018	Committee Member in Program Committee within the ISSTA 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
* 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
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
PLDI 2015	Committee Member in External Review Committee within the Research Papers-track