conf.researchr.org / Xiao Xiao
Xiao Xiao

Registered user since Fri 17 Nov 2017

Name:Xiao Xiao
Affiliation:Sourcebrella Inc.
Personal website:https://www.sourcebrella.com
Research interests:Static analysis, format methods, large scale system

Contributions

ISSTA 2020 Author of Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph within the Technical Papers-track
ICSE 2019 Author of SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code within the Technical Track-track
PLDI 2018 Author of Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code within the PLDI Research Papers-track
SOAP 2016 Author of Invited Talk: Falcon: Towards an industrial strength heap analyzer within the SOAP-track