Karine Even-Mendoza -

Registered user since Thu 6 Aug 2020

Name:Karine Even-Mendoza

Country:United Kingdom

Affiliation:King's College London

Personal website:https://www.kcl.ac.uk/people/karine-even-mendoza

Twitter:https://twitter.com/KarineEvenMend1

GitHub:https://github.com/karineek

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