Name: Amir Shaikhha
Type: User
Bio: Assistant Professor (Lecturer) at Edinburgh,
Former PhD Student at EPFL and Lecturer at Oxford,
Interested in Databases, Programming Languages, and Compilers
Twitter: ashaikhha
Location: Edinburgh, United Kingdom
Blog: https://amirsh.github.io
Amir Shaikhha's Projects
ADA course
My personal website
A simple arithmetic (external) DSL implemented in Scala
Benchmarking the performance of cake patterns in Scala
Testing Choco Solver (a constraints programming library) with Scala
Persistence Benchmark for the JVM
A framework for building database systems by high-level programming, and getting really good performance nevertheless.
DBToaster OCAML code
The Delite Git Repo
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
egg is a flexible, high-performance e-graph library
A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
Just in case, just in case.
Shallow Library for Generating Forge DSL
Library of F# type providers and data access tools
Notes, examples, and general work on automatic differentiation and probabilistic programming
A test program for testing jipopt
SBT project to run the JZY3D samples
The Leon system for verification, synthesis, and more.
The project that generates Scala release notes.
My Master Thesis
A minimalistic version of DBLAB :)