Yufan Cai -

Registered user since Mon 24 Apr 2023

Name:Yufan Cai

Contributions

2027

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

2025

ASE

Author of PAT-Agent: Autoformalization for Model Checking within the Research Papers-track

ESEC/FSE

Author of Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle within the Research Papers-track

POPL

Author of Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus within the POPL-track

2024

ISSTA

Author of CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature within the Technical Papers-track