Trips

2025

• 2025.06.30 - 2025.07.04, ECOOP 2025, Bergen, Norway
  (Talk: 
  )
• 2025.06.23 - 2025.06.27, FSE 2025, Trondheim, Norway
  (Talk: 
  )(Report:  
  )
• 2025.06.16 - 2025.06.20, PLDI 2025, Seoul, South Korea
  (Talk: 
  )(Report:  
  )

2024

• 2024.10.22 - 2024.10.25, OOPSLA 2024, Pasadena, CA, USA
• 2024.08.21 - 2024.08.23, SIGPL Summer School 2024, 성균관대학교, 수원, 대한민국
• 2024.06.26 - 2024.06.28, PLDI 2024, Copenhagen, Denmark
  (Report:  
  )
• 2024.06.23 - 2024.06.24, Técnico Lisboa, Lisbon, Portugal
  (Talk: 
  )(Report:  
  )
• 2024.01.31 - 2024.02.02, SIGPL Winter School 2024, KAIST, 대전, 대한민국

2023

• 2023.08.23 - 2023.08.25, SIGPL Summer School 2023, 강원대학교, 춘천, 대한민국