Xiao Xiao -

Registered user since Fri 17 Nov 2017

Name:Xiao Xiao

Affiliation:Ant Group

Personal website: https://richardxx.github.io

Research interests:Static analysis, format methods, large scale system

Contributions

2020

ISSTA

Author of Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph within the Technical Papers-track

2019

ICSE

Author of SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code within the Technical Track-track

2018

PLDI

Author of Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code within the PLDI Research Papers-track

2016

SOAP

Author of Invited Talk: Falcon: Towards an industrial strength heap analyzer within the SOAP-track