• Sign in
  • Sign up
conf.researchr.org / Vasileios Koutavas
  • ICSE 2025 profile
  • ICSE 2027 profile
  • POPL 2024 profile
No Photo

Not registered as user

Name:Vasileios Koutavas
Country:Ireland
Affiliation:Trinity College Dublin

Contributions

2025

FormaliSE

  • Author of LLM-based Generation of Weakest Preconditions and Precise Array Invariants within the Research Track-track

2024

GaLoP

  • Author of Fully Abstract Normal Form Bisimulation for Call-by-Value PCF within the GALOP 2024-track
Share
xThu 5 Jun 14:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up