A Fast and Precise Pointer Analysis Tool (Open-Source Tool) Paper: A Principled Approach to Selective Context Sensitivity for Pointer Analysis (TOPLAS 2020)
	A Highly Scalable Pointer Analysis Tool (Open-Source Tool) Paper: Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity (FSE 2018)
	A Precision-guided Pointer Analysis Tool (Open-Source Tool) Paper: Precision-Guided Context Sensitivity for Pointer Analysis (OOPSLA 2018)
	An Efficient and Precise Points-To Analysis Tool for Type-Dependent Clients (Open-Source Tool) Paper: Efficient and Precise Points-To Analysis: Modeling the Heap by Merging Equivalent Automata (PLDI 2017)
	A Precise Points-To Analysis Tool (Open-Source Tool) Paper: Making k-object-sensitive pointer analysis more precise with still k-limiting (SAS 2016)
	A Scalable Program Slicing Tool (Open-Source Tool) Paper: Program Tailoring: Slicing by Sequential Criteria (ECOOP 2016)
	A Controllable Reflection Analysis Tool for Java (Open-Source Tool) Paper: Effective Soundness-Guided Reflection Analysis (SAS 2015)
	A Precise Reflection Analysis Tool for Java (with good soundness) (Open-Source Tool) Paper: Self-Inferencing Reflection Resolution for Java (ECOOP 2014)
	A Self-Healing Framework for Operating System Hang Failure (Open-Source Tool) Paper: What is System Hang and How to Handle it ? (ISSRE 2012)