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 2019	Author of WCET-Aware Hyper-Block Construction for Clustered VLIW Processors within the LCTES 2019-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 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