Karine Even-Mendoza -

Registered user since Thu 6 Aug 2020

Name: Karine Even-Mendoza

Country: United Kingdom

Affiliation: Imperial College London

Personal website: https://srg.doc.ic.ac.uk/people/karine-evenmendoza/

Twitter: https://twitter.com/KarineEvenMend1

GitHub: https://github.com/karineek

Research interests: Model checking, software verification, testing and compilers

Contributions

PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ISSTA 2021	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-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