Jingtao Xia is an author at Peking University specializing in automated reasoning, computational complexity, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationKnowledge CompilationComputational Complexity
Publications per year
2021–2021
1
1
Generalizable synthesis through unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong et al. · Proceedings of the ACM on Programming Languages · 2021 · 13 citations · Full text
Rows per page
1–1 of 1