Michael O'Boyle Group

Research group at the University of Edinburgh, working at the intersection of compilers, heterogeneous computing and machine learning.

Edinburgh

Pinned Repositories

afl-demo
Demonstration of AFL-Fuzz
Language:C10
compiler-io-eval
Language:Python00
klee
KLEE Symbolic Execution Engine
Language:C++00
klee-demo
Demonstration of KLEE-Float for verifying programs.
Language:C00
lilac-benchmarks
SPMV benchmarks
Language:Fortran10
mob-group.github.io
Github pages site for the group
Language:CSS00
nasbench-grapher
A graphing utility for Neural Architecture Search benchmarks.
Language:Jupyter Notebook00
pact-benchmarks
Performance experiments for refactored applications
Language:Fortran00
synthesis-eval
Collected program synthesis benchmarks and evaluation tools
Language:Shell00

Michael O'Boyle Group's Repositories

mob-group/afl-demo
Demonstration of AFL-Fuzz
Language:C10
mob-group/lilac-benchmarks
SPMV benchmarks
Language:Fortran10
mob-group/compiler-io-eval
Language:Python00
mob-group/klee
KLEE Symbolic Execution Engine
Language:C++00
mob-group/klee-demo
Demonstration of KLEE-Float for verifying programs.
Language:C00
mob-group/mob-group.github.io
Github pages site for the group
Language:CSS00
mob-group/nasbench-grapher
A graphing utility for Neural Architecture Search benchmarks.
Language:Jupyter Notebook00
mob-group/pact-benchmarks
Performance experiments for refactored applications
Language:Fortran00
mob-group/synthesis-eval
Collected program synthesis benchmarks and evaluation tools
Language:Shell00