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
karineek's Stars
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
csmith-project/csmith
Csmith, a random generator of C programs
mc-imperial/jfs
Constraint solver based on coverage-guided fuzzing
llvm/llvm-test-suite
nordlow/compiler-benchmark
Benchmarks compilation speeds of different combinations of languages and compilers.
arm-university/arm-gem5-rsk
Official repository of the Arm Research Starter Kit on System Modeling using gem5
srg-imperial/GrayC
GrayC: Greybox Fuzzing of Compilers and Analysers for C
gintool/gin
GI in No Time - a Simple Microframework for Genetic Improvement
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.
usi-verification-and-security/upprover
An SMT-based bounded model checker for C
compilerai/ooelala-project
Top-level source repository for OOElala
cran/nnet
:exclamation: This is a read-only mirror of the CRAN R package repository. nnet — Feed-Forward Neural Networks and Multinomial Log-Linear Models. Homepage: http://www.stats.ox.ac.uk/pub/MASS4/
karineek/SearchGEM5
Testing System Simulators Project
SOLAR-group/StableYolo