• Sign in
  • Sign up
conf.researchr.org / Jun Pang
  • * ICSE 2018 * profile
  • APSEC 2022 profile
  • ETAPS 2019 profile
  • Internetware 2023 profile
  • MODELS 2021 profile
  • SPLASH 2024 profile
Jun Pang

Registered user since Mon 15 May 2017

Name:Jun Pang
Country:Luxembourg
Affiliation:University of Luxembourg
Personal website: http://satoss.uni.lu/members/jun/
Research interests:Formal methods, security and privacy, data mining, computational systems biology, complex networks

Contributions

2024

SPLASH

  • Author of Mechanizing the CMP Abstraction for Parameterized Verification within the OOPSLA 2024-track

2023

Internetware

  • Author of Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models within the Main Track-track

2022

APSEC

  • Author of NEGAR: Network Embedding Guided Architecture Recovery for Software Systems within the Technical Track-track

2021

MODELS

  • PC Member in Program Committee within the Workshops-track

2019

FASE

  • Committee Member in Program Committee within the FASE 2019-track

2018

ICSE

  • Committee Member in Program Committee within the SRC - ACM Student Research Competition -track
Share
xThu 15 May 20:22
using conf.researchr.org (v1.69.0)
Support page
Sign Up