Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Khashayar Etemadi
conf.researchr.org general profile
ASE 2023 profile
ICFP/SPLASH 2025 profile
ICSE 2024 profile
ICSE 2025 profile
ICSME 2024 profile
Registered user since Wed 16 Aug 2023
Name:
Khashayar Etemadi
Affiliation:
KTH Royal Institute of Technology
Contributions
2025
LMPL
Committee Member in Program Committee within the LMPL 2025-track
FormaliSE
Author of VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models within the Research Track-track
2024
ICSME
Committee Member in Rose Festival & Artifacts Track - Program Committee within the Artifact Evaluation Track and ROSE Festival-track
ICSE
Author of Augmenting Diffs With Runtime Information within the Journal-first Papers-track
2023
ASE
Author of Estimating the Potential of Program Repair Search Spaces with Commit Analysis within the Journal-first Papers-track
Share
x
Wed 9 Apr 20:52
