Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Meng Sun
conf.researchr.org general profile
APLAS 2023 profile
ETAPS 2019 profile
FSE 2025 profile
FSE 2026 profile
FSEN 2025 profile
ICSE 2020 profile
ICSE 2023 profile
ICSE 2026 profile
POPL 2022 profile
Registered user since Tue 1 Oct 2019
Name:
Meng Sun
Affiliation:
Peking University
Contributions
2026
ESEC/FSE
Author of ReGA: Model-based Safeguard for LLMs via Representation-Guided Abstraction within the Research Papers-track
ICSE
Author of Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving within the Research Track-track
2025
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
FSEN
Committee Member in Program Committee
2023
DeepTest
Author of DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks within the DeepTest 2023-track
2022
VMCAI
Author of EPMC Gets Knowledge in Multi-Agent Systems within the VMCAI 2022-track
2020
ICSE
Author of Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty within the Technical Papers-track
FormaliSE
PC Member in Program Committee within the FormaliSE 2020-track
2019
TACAS
Committee Member in Program Committee within the TACAS 2019-track
Share
x
Sun 26 Apr 12:35