Karine Even-Mendoza

Registered user since Thu 6 Aug 2020

Name:Karine Even-Mendoza
Country:United Kingdom
Affiliation:King's College London
Research interests:Model checking, software verification, testing and compilers

Contributions

‹Programming› 2024 Committee Member in Program Committee within the Research Papers-track
SPLASH 2024 Committee Member in Review Committee within the OOPSLA 2024-track
ECOOP 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee within the Research Papers-track
ISSTA 2023 Author of GrayC: Greybox Fuzzing of Compilers and Analysers for C within the Technical Papers-track
PLDI 2023 Author in Artifact Evaluation Committee within the Research Artifacts-track
ASE 2022 Session Chair of Technical Session 7 - Fuzzing II (part of Research Papers)
Author of CSMITHEDGE: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively within the Journal-first Papers-track
Session Chair of Technical Session 20 - Web, Cloud, Networking (part of Research Papers)
PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2021 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ISSTA 2021 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ASE 2020 Author of Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour within the NIER track-track