Skip to content
View aravinth-kanesh's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report aravinth-kanesh

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.

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

Aravinth Kaneshalingam

I like taking things apart until I understand exactly how they work - these days that's mostly LLMs and AI systems, with some compilers and distributed systems in the mix.

Projects

Fuzzing the Poly/ML Compiler: C · LLVM · AFL++

First systematic coverage-guided fuzzer for Poly/ML (Isabelle/HOL's trusted computing base) on ARM64. Dissertation scored 84%. Found 3 defects, including one confirmed and fixed upstream, and an ARM64 overflow I diagnosed with a proposed fix.

DCache: Go · Redis protocol

Redis-compatible distributed cache. 50M+ ops/sec, sub-25ns GET latency across a 256-shard concurrent map.

Crux: C++ · CMake

Optimal Rubik's Cube solver. Guarantees ≤20-move solutions via IDA* with pattern databases; solves 12-move scrambles in under 30ms.

Real-Time Market Data Simulator: Python · asyncio

Streaming market data engine. 1.4M+ ticks/sec, sub-200μs p99 latency, zero message loss.

Auteur: Python · FastAPI · React

Local RAG app that builds a conversational "cinematic identity" profile from personal watch history.

Experience

Software Engineer Intern, The Kusp Hub - Jun-Sep 2025 Built an AI-powered career discovery platform: LLM-based CV extraction and a semantic job-matching pipeline, cutting latency from 75s to under 2s.

Contact

LinkedIn · aravinth_kanesh@hotmail.com

Pinned Loading

  1. polyml-fuzz polyml-fuzz Public

    AFL++ fuzzing framework for the Poly/ML compiler on ARM64. Finds bugs using ASan/UBSan instrumentation on Linux ARM64

    C

  2. crux crux Public

    Optimal Rubik's cube solver in C++ - guaranteed minimum-move solutions via IDA* with pattern databases, 12-move scrambles under 30ms

    C++

  3. distributed-cache distributed-cache Public

    High-performance distributed cache in Go - 50M+ ops/sec, sub-25ns GET latency, Redis-compatible

    Go

  4. market-data-simulator market-data-simulator Public

    High-performance market data simulator - 1.4M+ ticks/s, sub-200µs p99 latency, 10 concurrent subscribers

    Python

  5. stock-volatility-analysis stock-volatility-analysis Public

    Sector-level volatility, Sharpe ratios and correlation analysis across major US stocks using Polygon.io

    Python

  6. auteur auteur Public

    Personal cinema intelligence: RAG-powered film taste engine with conversational AI

    JavaScript