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