Skip to content
@mob-group

Michael O'Boyle Group

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

Popular repositories Loading

  1. lilac-benchmarks lilac-benchmarks Public

    SPMV benchmarks

    Fortran 1

  2. afl-demo afl-demo Public

    Demonstration of AFL-Fuzz

    C 1

  3. pact-benchmarks pact-benchmarks Public

    Performance experiments for refactored applications

    Fortran

  4. synthesis-eval synthesis-eval Public

    Collected program synthesis benchmarks and evaluation tools

    Shell

  5. mob-group.github.io mob-group.github.io Public

    Github pages site for the group

    CSS

  6. nasbench-grapher nasbench-grapher Public

    A graphing utility for Neural Architecture Search benchmarks.

    Jupyter Notebook

Repositories

Showing 9 of 9 repositories
  • lilac-benchmarks Public

    SPMV benchmarks

    mob-group/lilac-benchmarks’s past year of commit activity
    Fortran 1 0 0 4 Updated Jul 6, 2023
  • compiler-io-eval Public
    mob-group/compiler-io-eval’s past year of commit activity
    Python 0 0 7 1 Updated Jan 23, 2023
  • synthesis-eval Public

    Collected program synthesis benchmarks and evaluation tools

    mob-group/synthesis-eval’s past year of commit activity
    Shell 0 0 0 0 Updated Oct 17, 2022
  • mob-group.github.io Public

    Github pages site for the group

    mob-group/mob-group.github.io’s past year of commit activity
    CSS 0 0 0 3 Updated Oct 6, 2022
  • nasbench-grapher Public

    A graphing utility for Neural Architecture Search benchmarks.

    mob-group/nasbench-grapher’s past year of commit activity
    Jupyter Notebook 0 Apache-2.0 0 0 0 Updated Jun 18, 2021
  • afl-demo Public

    Demonstration of AFL-Fuzz

    mob-group/afl-demo’s past year of commit activity
    C 1 0 0 0 Updated May 11, 2021
  • klee-demo Public

    Demonstration of KLEE-Float for verifying programs.

    mob-group/klee-demo’s past year of commit activity
    C 0 0 0 0 Updated May 10, 2021
  • klee Public Forked from qrort/klee

    KLEE Symbolic Execution Engine

    mob-group/klee’s past year of commit activity
    C++ 0 694 0 0 Updated Feb 12, 2021
  • pact-benchmarks Public

    Performance experiments for refactored applications

    mob-group/pact-benchmarks’s past year of commit activity
    Fortran 0 0 0 0 Updated Aug 9, 2019

Top languages

Loading…

Most used topics

Loading…