Name: Karine EM
Type: User
Company: King's College London
Bio: Lecturer at KCL and was a Research associate@Imperial. PhD from KCL UK; worked before at eBay (Data Scientist), IBM Research (Formal Verification).
Twitter: KarineEvenMend1
Location: London, UK
Blog: https://www.kcl.ac.uk/people/karine-even-mendoza
Karine EM's Projects
Csmith, a random generator of C programs
A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and code-execution time solutions.
A testing framework for automatically finding and simplifying bugs in graphics shader compilers.
Karine EM CodeU 2017: Assignments
Lattice Refinement Algorithms and Benchmarks
KCL's fork
gem5 testing project