My PhD dissertation

A benchmark for evaluating the efficiency of LLM-generated code

A tool for management of semantic data specifications

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

A Boolean circuit minimizer

Exocompilation for productive programming of hardware accelerators

KaMPIng: (Near) zero-overhead MPI wrapper for modern C++

Research. Shared.

MACE-like model finder for algebraic structures.

a language for fast, portable data-parallel computation

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

Parallel Code Evaluation Benchmark

KernelBench: Can LLMs Write GPU Kernels? - Benchmark + Toolkit with Torch -> CUDA (+ more DSLs)

Experimental Explicit Communications API for Kokkos

CUDA Templates and Python DSLs for High-Performance Linear Algebra

🔵🟠 Portal Explorer — web visualization of mind-blowing portals using ray-tracing.

EditorConfig universal issue tracker and wiki

Handwritten music image synthesizer for HMR

LiveBench: A Challenging, Contamination-Free LLM Benchmark

A PowerPoint add-in that splits slides according to slideshow-time animation effects

Run compilers interactively from your web browser and interact with the assembly

Compile Time Regular Expression in C++

Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction