
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/
Research interests:Model checking, software verification and testing
Contributions
ASE 2020 | Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2020-profile
View general profile
View general profile