Xiao Xiao

Orcid: 0000-0001-8174-7277

Affiliations:
  • Sourcebrella, China
  • Hong Kong University of Science and Technology, Hong Kong (former)


According to our database1, Xiao Xiao authored at least 15 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis.
Proc. ACM Program. Lang., 2024

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations.
CoRR, 2024

LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.
ACM Trans. Softw. Eng. Methodol., May, 2023

2021
Efficient Path-Sensitive Data-Dependence Analysis.
CoRR, 2021

2020
Escaping dependency hell: finding build dependency errors with the unified dependency graph.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019
Smoke: scalable path-sensitive memory leak detection for millions of lines of code.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Pinpoint: fast and precise sparse value flow analysis for million lines of code.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016
Casper: an efficient approach to call trace collection.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
Persistent pointer information.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Efficient subcubic alias analysis for C.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2012
Stride: Search-based deterministic replay in polynomial time via bounded linkage.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Geometric encoding: forging the high performance context sensitive points-to analysis for Java.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Tracking data structures for postmortem analysis.
Proceedings of the 33rd International Conference on Software Engineering, 2011


  Loading...