Sotabase

Career

· Global Visiting Fellow, Seoul National University2025–2025
· Visiting Researcher, Microsoft Corporation2024–2024
· Associate Professor, Purdue University2023–
· Summer Faculty Fellow, U.S. Air Force Research Laboratory2022–2022
· Assistant Professor, Purdue University2016–2023
· Postdoctoral Researcher, Massachusetts Institute of Technology (MIT)2013–2016
· PhD in Computer Science, University of Illinois at Urbana-Champaign2007–2013
· Master of Engineering in Computer Software and Theory, Nanjing University2004–2007
· Bachelor of Science in Computer Science, Nanjing University2000–2004
· Purdue University

Publications (0)

Automatic test case generation for UML activity diagrams
International Conference/Workshop on Automation of Software Test · 2006
179
cited
Natural proofs for structure, data, and separation
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2013
106
cited
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs
Computer/law journal · 2009
90
cited
Decidable logics combining heap structures and data
ACM-SIGACT Symposium on Principles of Programming Languages · 2011
79
cited
Natural proofs for data structure manipulation in C using separation logic
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
79
cited
Recursive proofs for inductive tree data-structures
ACM-SIGACT Symposium on Principles of Programming Languages · 2012
66
cited
Reconciling enumerative and deductive program synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2020
52
cited
JSketch: sketching for Java
ESEC/SIGSOFT FSE · 2015
43
cited
A Formal Architecture Pattern for Real-Time Distributed Systems
IEEE Real-Time Systems Symposium · 2009
40
cited
Synthesizing Framework Models for Symbolic Execution
International Conference on Software Engineering · 2016
39
cited
Adaptive Concretization for Parallel Program Synthesis
International Conference on Computer Aided Verification · 2015
37
cited
Efficient Decision Procedures for Heaps Using STRAND
Sensors Applications Symposium · 2011
32
cited
Natural synthesis of provably-correct data-structure manipulations
Proc. ACM Program. Lang. · 2017
26
cited
Synthesis of Recursive ADT Transformations from Reusable Templates
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2015
20
cited
Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures
IEEE Open Journal of the Computer Society · 2020
17
cited
An empirical study of adaptive concretization for parallel program synthesis
Formal methods in system design · 2017
11
cited
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types
arXiv.org · 2015
11
cited
Program synthesis with algebraic library specifications
Proc. ACM Program. Lang. · 2019
8
cited
UML state machine diagram driven runtime verification of Java programs for message interaction consistency
ACM Symposium on Applied Computing · 2008
6
cited
A Decidable Logic for Tree Data-Structures with Measurements
International Conference on Verification, Model Checking and Abstract Interpretation · 2019
5
cited
Sotabase