Trips

2024

• 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, 강원대학교, 춘천, 대한민국