Skip to content
View cderici's full-sized avatar
💬
typing ...
💬
typing ...
60 followers · 20 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report cderici

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
cderici/README.md

👋 Hi! I'm Caner*, I'm a computer scientist, compiler engineer and a programming languages researcher. I currently work at Amazon/AWS - Automated Reasoning Group (Strata team) as an Applied Scientist.

🧙‍♂️ I like languages, formal methods, optimizing compilers, fast runtimes, and smart systems. My PhD is in programming languages and compilers. I have experience in both compilers and distributed orchestration at scale, and I have a master's degree in machine learning.

🛠️ I speak C++ (STL, LLVM, Clang, MLIR), Python, Racket, Lean, Go, and some more languages. I compute on mostly CPU, but also on GPU (cuda, ptx), on containers (lxd, docker) and cloud as well (kubernetes).

✨ More info at dericilab.live & my resume.

📊 Weekly development data straight from my IDEs (neovim, obsidian, vscode):

From: 25 October 2026 - To: 01 November 2026

Lean4                  22 hrs 38 mins        ███████████▓░░░░░░░░░░░░░   46.18 %
Markdown               14 hrs 3 mins         ███████▒░░░░░░░░░░░░░░░░░   28.67 %
Text                   4 hrs 40 mins         ██▒░░░░░░░░░░░░░░░░░░░░░░   09.52 %
Python                 3 hrs                 █▓░░░░░░░░░░░░░░░░░░░░░░░   06.12 %
Other                  2 hrs 38 mins         █▒░░░░░░░░░░░░░░░░░░░░░░░   05.38 %
Writing/Taking Notes   42 mins               ▒░░░░░░░░░░░░░░░░░░░░░░░░   01.44 %
JSON                   36 mins               ▒░░░░░░░░░░░░░░░░░░░░░░░░   01.23 %
systemd                26 mins               ▒░░░░░░░░░░░░░░░░░░░░░░░░   00.89 %
Diff                   12 mins               ░░░░░░░░░░░░░░░░░░░░░░░░░   00.44 %
TOML                   3 mins                ░░░░░░░░░░░░░░░░░░░░░░░░░   00.12 %

wakatime (since Mar 5, 2025)


Homepage LinkedIN Instagram Twitter

Pinned Loading

  1. pycket/pycket pycket/pycket Public

    A self-hosting Racket on RPython meta-tracing JIT back-end.

    Python 280 24

  2. around-the-world-in-compilers around-the-world-in-compilers Public

    A lab of experimental compilers and languages playing around LLVM, MLIR, CUDA, PTX, x86_64, etc.

    C++

  3. abstract-machine-interp abstract-machine-interp Public

    Executable theoretical computation model in PLT Redex. Investigates a balanced use of stack & heap to reduce memory pressure on CESK machines.

    Racket

  4. llvm-project llvm-project Public

    Forked from llvm/llvm-project

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

    LLVM

  5. juju/juju juju/juju Public

    Orchestration engine that enables the deployment, integration and lifecycle management of applications at any scale, on any infrastructure (Kubernetes or otherwise).

    Go 2.7k 618

  6. rax rax Public

    Racket to x86_64 assembly nanopass compiler.

    Racket 2