Daily Dial — a 24-Hour Time-Tracking Chrome Extension
Open source · MIT · Chrome Web Store · github.com/pranav083/daily-dial-extension Paint your day onto a 24-hour dial and see whether the time went where you meant it to. Most time-tracking tools ask you to start and stop timers, which means they measure the intention rather than the day. Daily Dial inverts that: you …
Read MoreJobHakken — a Local-First Job Search Application
jobhakken.com · proprietary, closed source A local-first desktop application that centralises job listings from LinkedIn, Indeed, Dice and others, scores each posting against your résumé, and helps you apply faster — running entirely on your own machine. The idea Job searching produces a large volume of low-signal …
Read MoreRoad Rage: An FPGA Real-Time Game in SystemVerilog
May 5, 2026 · 3 min read · FPGA SystemVerilog RTL Design DE1-SoC Cyclone V VGA Quartus Hardware Design ·ECE 4515 — Digital Design II · Virginia Tech · Spring 2026 Team project with Rahul Muthuraman Shanmugam. A top-down lane-dodge racing game, implemented entirely in hardware on a Terasic DE1-SoC (Cyclone V 5CSEMA5F31C6). No processor, no software — the game is a state machine driving datapath modules at pixel rate. Why …
Read MoreFUSE: Single-Pass Binary Co-Instrumentation for Accurate Vulnerability Detection
May 4, 2026 · 3 min read · Binary Analysis Binary Instrumentation AddressSanitizer Fuzzing Memory Safety Static Analysis Register Liveness ·MS thesis · Virginia Tech · defended May 4, 2026 Systems Software Research Group, advised by Prof. Binoy Ravindran and Prof. Freek Verbeek Committee: Binoy Ravindran (Chair), Freek Verbeek, Kendall Giles Part of the LLRM project — the Low-Level Reasoning Machine Research question Compilers can detect memory-safety …
Read MoreFloating-Point Arithmetic: Performance vs. Area on an FPGA
Apr 20, 2026 · 3 min read · FPGA SystemVerilog Floating Point Pipelining Design Space Exploration Cyclone V Quartus Hardware Design ·ECE 4515 — Digital Design II · Virginia Tech · Spring 2026 A hardware design-space exploration: build the same floating-point datapath at different pipeline depths, synthesise each on a Cyclone V, and measure what the extra performance actually costs in silicon. The question Deeper pipelines let a datapath run at a …
Read MoreFile System Consistency Checker (xv6 fsck)
Nov 15, 2025 · 10 min read · Operating Systems File Systems Data Integrity Crash Consistency RISC-V Kernel Programming File System Recovery ·Course: CS 5204 - Advanced Operating Systems Project 1 | Semester: Fall 2025 Technical Focus: Crash Consistency, File System Reliability, Recovery Algorithms Problem Statement & Motivation File systems can become corrupted when systems crash mid-operation. xv6's simple inode/block-based design is vulnerable to …
Read MoreIoT Security Case Study: Edge AI & Federated Learning in Smart Grids
Nov 15, 2025 · 12 min read · Security Privacy IoT Machine Learning Energy Systems Regulatory Compliance Threat Analysis ·Course: IoT Security & Privacy | Semester: Fall 2025 Technical Focus: Threat Modeling, Privacy-Preserving ML, Critical Infrastructure Protection Problem Statement & Motivation The electrical grid is critical national infrastructure (150M+ customers). Modernization through smart grid technology introduces connectivity …
Read MoreVirtual Memory Analysis: Page Table Walker
Nov 15, 2025 · 8 min read · Operating Systems Virtual Memory Page Tables Kernel Programming Memory Analysis Linux Internals MMU Management ·Course: CS 5204 - Advanced Operating Systems Project 2 | Semester: Fall 2025 Technical Focus: Virtual Memory Management, Page Table Structures, TLB Behavior Problem Statement & Motivation Modern systems use multi-level page tables for virtual-to-physical (VA→PA) address translation. Understanding memory layout is …
Read MoreAdvanced Linux Kernel Modules & Performance Monitoring
May 15, 2025 · 8 min read · Systems Kernel Development Rust Memory Management Performance Monitoring Device Drivers Fuzzing Security Testing ·Course: Advanced Linux Kernel | Semester: Spring 2025 Technical Focus: Kernel-Space Systems, Memory Allocation Strategies, Device Driver Architecture Problem Statement & Motivation Kernel development traditionally requires unsafe C for performance; safety violations cause system crashes. Rust in Linux kernel (since …
Read MoreLLVM Optimization Passes: Function Analysis & Local Optimizations
May 15, 2025 · 10 min read · Compilers LLVM Compiler Optimization IR Analysis Code Generation Loop Analysis Optimization Passes ·Course: Compiler Optimization | Semester: Spring 2025 Technical Focus: IR Analysis, Pass Infrastructure, Optimization Algorithms Problem Statement & Motivation LLVM's optimization infrastructure provides extensibility but lacks accessible tutorials for custom passes. Students must navigate complex APIs: Function, …
Read More