karineek

Lecturer at KCL and was a Research associate@Imperial. PhD from KCL UK; worked before at eBay (Data Scientist), IBM Research (Formal Verification).

King's College LondonLondon, UK

Pinned Repositories

csmith
Csmith, a random generator of C programs
Language:C++1k 35 99144
gem5
The official repository for the gem5 computer-system architecture simulator.
Language:C++1.6k 70 3261.2k
graphicsfuzz
A testing framework for automatically finding and simplifying bugs in graphics shader compilers.
Language:Java563 23 404117
csmith
Csmith, a random generator of C programs
Language:C++0 0 00
CsmithEdge
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.
Language:C14 2 00
graphicsfuzz
A testing framework for automatically finding and simplifying bugs in graphics shader compilers.
Language:Java0 0 00
KEM_CodeU_Assignments
Karine EM CodeU 2017: Assignments
Language:Java0 5 00
latticeref
Lattice Refinement Algorithms and Benchmarks
Language:C0 0 00
SearchGEM5
Testing System Simulators Project
Language:C3 3 00
GrayC
GrayC: Greybox Fuzzing of Compilers and Analysers for C
Language:C++50 6 21

karineek/CsmithEdge
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.
Language:C14 2 00
karineek/SearchGEM5
Testing System Simulators Project
Language:C3 3 00
karineek/csmith
Csmith, a random generator of C programs
Language:C++0 0 00
karineek/graphicsfuzz
A testing framework for automatically finding and simplifying bugs in graphics shader compilers.
Language:Java0 0 00
karineek/KEM_CodeU_Assignments
Karine EM CodeU 2017: Assignments
Language:Java0 5 00
karineek/latticeref
Lattice Refinement Algorithms and Benchmarks
Language:C0 0 00