Registered user since Sun 16 Jul 2017
Name:Yang Liu
Country:Singapore
Affiliation:Nanyang Technological University
Personal website: https://personal.ntu.edu.sg/yangliu
Research interests:Formal Methods, Software Engineering, Security
Contributions
2025
2030 Software Engineering
ESEC/FSE
- Software Fairness Dilemma: Is Bias Mitigation a Zero-Sum Game?
- Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle
- Smart Contract Fuzzing Towards Profitable Vulnerabilities
- Element-based Automated DNN Repair with Fine-tuned Masked Language Model
- Eliminating Backdoors in Neural Code Models for Secure Code Understanding
- Committee Member in Program Committee within the Ideas, Visions and Reflections-track
Using general profile