Skip to content
View Rmuk655's full-sized avatar
33 followers · 67 following

Block or report Rmuk655

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
Rmuk655/README.md

Hi, I'm Krishnan 👋

Computer Science undergraduate at IIT Hyderabad (B.Tech CSE, 2024-2028). I like systems, compilers, computer architecture and ML inference: building things close to the machine and measuring whether they actually work.

Currently

  • Fixing an X86 backend crash in LLVM on vector atomicrmw (issue #226002, PR #230788, open)
  • Compiler construction: DSL front ends and lowering to LLVM/MLIR
  • Research on speculative decoding and draft-model distillation (write-up on Medium)

Selected work

Project What it is Stack
LLVM contribution Root-caused and fixed an X86 ISel crash: vector atomicrmw operands are now expanded to a cmpxchg loop, with regression tests with and without +cx16 C++, LLVM
RISC-V Toolchain & Web Simulator Assembler, disassembler, debugger, cache simulator and pipeline hazard detector; compiles to WebAssembly for a browser front end C++17, WASM
xv6 Kernel Extensions Syscall-aware MLFQ scheduler, clock page replacement with swap, FCFS/SSTF disk scheduling, RAID 0/1/5-backed swap C, RISC-V
DistillSpec research Multi-GPU platform for speculative-decoding research: 500+ tracked experiments, 71 checkpoints, multi-rollout distillation that beat the JSD baseline, and delayed tree branching extended to trained drafts (write-up) Python, PyTorch, vLLM
OCaml compiler extension Exception handling across lexer, parser, AST, typechecker and runtime OCaml
FPU-assisted integer execution Splitting integer multiply chains across integer and FP units by a throughput model; measured on gem5 (X86 O3) across optimisation levels, IU/FPU latencies and IU counts: about 2x on convolution at -O3 (via compiler vectorisation), no gain on factorial or matmul C
Data Structures Balanced trees (AVL, red-black, 2-4, B-tree), hashing, graphs and 2-SAT, fuzz-tested against std::set C++
Business entity resolution Record-linkage pipeline for the Amazon ML Challenge: blocking, pruning and a two-pass LightGBM matcher Python
Tune DSL Music DSL compiled to audio with three cross-checked backends (Python, C++, MLIR) Python, MLIR

Interests

Operating systems · Compilers · Computer architecture · ML systems · Performance engineering

Profiles

LinkedIn · LeetCode · Codeforces

Pinned Loading

  1. Distill-Spec-Research Distill-Spec-Research Public

    Distilling draft models for speculative decoding (Qwen3 0.6B/8B and 1.7B/32B): a controlled study of loss families against a strong JSD baseline.

    Python 1

  2. RISC-V-Toolchain-Web-Simulator RISC-V-Toolchain-Web-Simulator Public

    Browser-based RISC-V simulator and debugger with cache simulation, hazard visualization, and WebAssembly integration.

    C++ 2

  3. xv6-Kernel-Extensions xv6-Kernel-Extensions Public

    Implemented xv6 kernel extensions including MLFQ scheduling, virtual memory optimizations, RAID simulation, and disk scheduling.

    C 2

  4. Tune-DSL Tune-DSL Public

    A small DSL for writing music as text and compiling it to real audio — three independently cross-checked synthesis backends (Python/NumPy, generated C++, generated MLIR/LLVM), a chord-progression c…

    Python 1

  5. Data-Structures Data-Structures Public

    AVL, red-black, 2-4 and B-trees, hashing, heaps, graph algorithms and 2-SAT in C++, fuzz-tested against std::set under ASan.

    C++ 2

  6. Query-Optimization-and-Performance-Analysis Query-Optimization-and-Performance-Analysis Public

    PostgreSQL query optimization and performance analysis using indexing, execution plans, and cost-based evaluation techniques.

    C 2