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

LCTES 2019Author of WCET-Aware Hyper-Block Construction for Clustered VLIW Processors within the LCTES 2019-track
ISSTA 2019Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track
PLDI 2019Author of Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs within the PLDI Research Papers-track
ICSE 2019Author of VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences within the Technical Track-track
SOAP 2017Keynote Speaker of Static Analysis of Java Reflection within the SOAP-track
LCTES 2017Author 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 2018Committee Member in External Review Committee
ISSTA 2017Author of Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ within the Technical Papers-track
CC 2017Author of Dynamic Symbolic Execution for Polymorphism within the Research Papers-track
LCTES 2016Committee 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 2018Committee Member in Program Committee within the ISSTA Technical Papers-track
PLDI 2017Author 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 2016Author 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 2015Committee Member in External Review Committee within the Research Papers-track