Sreehari Sanjeev

A LeetCode-style platform where players queue up, get matched by difficulty in real time, and battle through algorithmic problems in a Monaco-powered editor. Every submission runs untrusted code in isolated Docker sandboxes.

• Docker-sandboxed code execution with strict resource caps, memory limits & timeouts
• Real-time 1v1 matchmaking and live submission events via Socket.IO
• JWT + bcrypt auth, testcase validation against custom Python/C++ images

A multi-programmed operating system kernel hand-built for the XSM architecture simulator — interrupts, exceptions, ABI, process queues and system calls, all written in SPL/EXpL with Lex & Yacc tooling.

• Preemptive Round-Robin scheduler with full context-switch mechanics
• Hardware interrupt handlers, exception routines & application binary interface
• Child process lifecycle managed end-to-end via kernel system calls

A complete compiler for the EXpL language built with Lex and Yacc in C — tokenizing, parsing and generating machine code for the XSM architecture as part of the Compiler Design lab.

• Full lexer → parser → code-gen pipeline built from scratch
• Error recovery and type-checking across phases
• Emitted assembly validated on the XSM simulator

A custom relational database management system in C++ with a layered architecture supporting CREATE, INSERT, SELECT, PROJECT and Equi-Join over disk-backed tables, accelerated by B+ Tree indexes.

• 8-layer architecture: frontend → parser → executor → buffer → storage
• B+ Tree indexing for O(log n) key lookups and range scans
• Equi-join execution with structured storage management