Jaeseong Lee -

Registered user since Thu 10 Mar 2022

Name:Jaeseong Lee

Affiliation:The University of Texas at Dallas

GitHub: https://github.com/jasonlee27

Contributions

2026

Symposium on Practical Aspects of Declarative Languages

Author of Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning within the PADL 2026-track

2025

ICSE

Author of Automated Testing Linguistic Capabilities of NLP Models within the Journal-first Papers-track