• Sign in
  • Sign up
conf.researchr.org / Sacha-Élie Ayoun
  • ECOOP and ISSTA 2023 profile
  • PLDI 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2024 profile
Sacha-Élie Ayoun

Registered user since Mon 14 Jan 2019

Name:Sacha-Élie Ayoun
Country:United Kingdom
Affiliation:Imperial College London
Research interests:Formal methods, Program Verification, Programming languages

Contributions

2024

POPL

  • Student Volunteer Co-Chair in Organizing Committee

2023

DEBT

  • Author of Symbolic Debugging with Gillian within the DEBT 2023-track

2022

VMCAI

  • Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track

2021

PLMW

  • Panelist of Panel: Navigating PhD studies within the PLMW 2021-track
  • Panelist in Panelists within the PLMW 2021-track

2020

PLDI

  • Author of Gillian, Part I: A Multi-language Platform for Symbolic Execution within the PLDI Research Papers-track

DeepSpec

  • Author of Gillian: a Multi-language Platform for Program Correctness and Incorrectness within the REMS-DeepSpec 2020-track
Share
xWed 4 Oct 11:09
using conf.researchr.org (v1.61.3)
Support page
Sign Up