• Sign in
  • Sign up
conf.researchr.org / Meng Sun
  • ETAPS 2019 profile
  • ICSE 2020 profile
  • POPL 2022 profile

Registered user since Tue 1 Oct 2019

Name:Meng Sun
Affiliation:Peking University

Contributions

VMCAI 2022 Author of EPMC Gets Knowledge in Multi-Agent Systems within the VMCAI 2022-track
FormaliSE 2020 PC Member in Program Committee within the FormaliSE 2020-track
TACAS 2019 Committee Member in Program Committee within the TACAS 2019-track
ICSE 2020 Author of Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty within the Technical Papers-track

Share
xWed 6 Jul 12:43
using conf.researchr.org (v1.56.1)
Support page
Sign Up