Ivan (K-avi)

Computer Systems, HPC & Architecture

GitHub (@K-avi) • i.m-r.ecole@orange.fr

Hi, I'm Ivan (or K-avi)! I recently completed my Master's degree in Computer Science at Sorbonne Université in Paris. I'm mainly interested in systems programming, high-performance computing (HPC), computer architecture, and vector/SIMD programming (RISC-V Vector, x86 AVX2/AVX-512). I mostly write code in C and C++, and will begrudgingly use Python or Bash when plotting or scripting.

Education

• 2024 – 2026 : Master's Degree in Computer Science — Sorbonne Université
  Specialization: Distributed Systems and Applications (SAR — Systèmes et Applications Réparties).
• 2021 – 2024 : Bachelor's Degree in Computer Science (Licence Informatique) — Sorbonne Université.

Some places where I worked

• Feb 2026 – Jul 2026 : Research Intern — LIP6, ALSOC team (Architecture and System-on-Chip)
  Contributed to MIPPv2 mainly focussing on RVV support. Also worked on different benchmark cases for the library (DGEMM, Numerical Physics, BLAS-1 operations). See gemm-bench for more details.
• Jun 2024 – Aug 2024 : Research Intern — LIP6 / Inria, DELYS team.
• Jun 2023 – Aug 2023 : Research Intern — LIP6, ComplexNetworks team
  Implemented simulation engines for walkers and spreading on graphs (protesting_on_graphs).

Some things I worked on

HPC, SIMD & Computer Architecture

• MIPPv2 [C / C++ / Python] [Contributor] — A portable, zero-overhead SIMD abstraction library. Made various contributions during my research internship at LIP6 (ALSOC), including full RISC-V Vector (RVV) support, benchmark suites for IFPEN industrial workloads, and an open-source GEMM microkernel benchmark (see gemm-bench).
• gemm-bench [C++] — High-performance General Matrix Multiply (DGEMM) microbenchmark suite built on top of MIPPv2. Evaluates architecture-tuned microkernels on RISC-V Vector (RVV 1.0 on SpacemiT K3 X100, achieving 16.43 GFLOP/s — 93% of theoretical peak) and x86 AVX2/FMA.

Complex Networks & Graph Simulations

• protesting_on_graphs [C] — A project I worked on during my internship at LIP6 in the summer of 2023. It's a program to make simulations of walkers on graphs.
• Link Stream Robustness Tester (lsrt) [Rust] — A college project I've worked on with Fur0rem and dassire. Its goal is to implement a way to measure the robustness of a Link Stream (a linkstream is a way to represent a temporal network see this paper for more informations).

Esoteric Languages & Interpreters (Turing Tarpits)

• fibofuck [C] — A fun Fibonacci heap based Turing Tarpit! (Esolangs Wiki • GitHub Pages)
• (SIASL)² [C] — The acronym for (Siasl Is a Silly Language)² which is the abridged version of (Siasl Is A Silly Language). (Siasl Is a Silly Language) is a silly language. It's an overdesigned Turing Tarpit if such a thing is even possible. (Esolangs Wiki • GitHub Pages)
• heapfuck [C] — A small Binary Heap based Turing Tarpit! (Esolangs Wiki • GitHub Pages)

TUI Games

• CTE (C Tablić Engine) [C / ncurses] — Small engine and interactive player for the Balkan card game Tablić. Also used to see whether the fuss around LLMs and agentic AI is justified. I think it is and it kinda makes me sad but hey at least the computer can code on its own!
• edgerunner [C / ncurses] — A TUI rogue-like built with ncurses. The main idea of the game is that the maze is actually a planar graph.

Miscellaneous

• shadimem [C] — A college project I've worked on with PigeonsOwnMe and yoyolejojo for my M1 SAR coursework. Its goal was to implement a Distributed Shared Memory (DSM) in C using unix sockets and paging mechanics.
• MusicTool [C] — My first ever project! It's a command line tool to perform music theory oriented operations (GitHub Pages). It really has a soft spot in my heart.