Krister Walfridsson

icon indicating a website link https://kristerw.github.io/ icon indicating an email [email protected]

icon location Lund, Sweden

Results 3 repositories owned by Krister Walfridsson

deadstores

17
Stars
1
Forks
Watchers

A Valgrind tool for finding redundant loads/stores

verified publisher icon kristerw

pysmtgcc

19
Stars
2
Forks
Watchers

Some experiments with SMT solvers and GIMPLE IR

verified publisher icon kristerw

spirv-tools

18
Stars
4
Forks
Watchers

Python API and tools for manipulating and optimizing SPIR-V

verified publisher icon kristerw