Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vasileios Koutavas
conf.researchr.org general profile
* ICSE 2018 * profile
ECOOP 2026 profile
ICFP 2021 profile
ICSE 2025 profile
ICSE 2027 profile
POPL 2024 profile
Registered user since Tue 6 Jan 2026
Name:
Vasileios Koutavas
Country:
Ireland
Affiliation:
Trinity College Dublin
Contributions
2027
ICSE
Awards Co-Chair in Organizing Committee
2026
Unsound
Committee Member in Program Committee within the UNSOUND 2026-track
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
2021
ML Family Workshop
Author of Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques within the ML 2021-track
2018
International Conference on Software Engineering for Adaptive and Self-Managing Systems
Author of Compositional Verification of Self-Adaptive Cyber-Physical Systems within the SEAMS 2018-track
Share
x
Mon 9 Mar 21:46