Pranav Kumar
open-menu closeme
Home
Projects
Publications
Blog
CV
Achievements
Links icon
GitHub Google Scholar LinkedIn
github linkedin rss

  • FUSE: Single-Pass Binary Co-Instrumentation for Accurate Vulnerability Detection

    calendar May 4, 2026 · 3 min read · Binary Analysis Binary Instrumentation AddressSanitizer Fuzzing Memory Safety Static Analysis Register Liveness  ·
    Share on: twitter facebook linkedin copy

    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 More

  • Advanced Linux Kernel Modules & Performance Monitoring

    calendar May 15, 2025 · 8 min read · Systems Kernel Development Rust Memory Management Performance Monitoring Device Drivers Fuzzing Security Testing  ·
    Share on: twitter facebook linkedin copy

    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 More

Pranav Kumar

Open Source Contributer, Engineer, Perpetual student, reader, builder.
Read More

Featured Posts

  • Road Rage: An FPGA Real-Time Game in SystemVerilog
  • FUSE: Single-Pass Binary Co-Instrumentation for Accurate Vulnerability Detection
  • Floating-Point Arithmetic: Performance vs. Area on an FPGA
  • Concurrent Data Structures: Memory Reclamation Benchmarking (SEIZE)
  • STSPIN220 Stepper Driver Library for Arduino

Recent Posts

  • Daily Dial — a 24-Hour Time-Tracking Chrome Extension
  • JobHakken — a Local-First Job Search Application
  • File System Consistency Checker (xv6 fsck)
  • IoT Security Case Study: Edge AI & Federated Learning in Smart Grids
  • Virtual Memory Analysis: Page Table Walker
  • Advanced Linux Kernel Modules & Performance Monitoring
  • LLVM Optimization Passes: Function Analysis & Local Optimizations
  • Register Allocation Optimization through Coalescing & Live Range Splitting

Categories

PROJECTS 16 PROJECT 4 COMPILER DESIGN 2 COMPUTER ARCHITECTURE 2 DIGITAL DESIGN 2 OPEN SOURCE 2 OPERATING SYSTEMS 2 PERSONAL 2 SIDE PROJECTS 2 TECHNOLOGY 2 CONCURRENT PROGRAMMING 1 CYBERSECURITY 1 LIBRARY 1 REAL-TIME SYSTEMS 1
All Categories
COMPILER DESIGN2 COMPUTER ARCHITECTURE2 CONCURRENT PROGRAMMING1 CYBERSECURITY1 DIGITAL DESIGN2 LIBRARY1 OPEN SOURCE2 OPERATING SYSTEMS2 PERSONAL2 PROJECT4 PROJECTS16 REAL-TIME SYSTEMS1 RESEARCH1 SIDE PROJECTS2 SYSTEMS PROGRAMMING1 TECHNOLOGY2
[A~Z][0~9]

Series

PERSONAL 2 SETUP-GUIDE 2 LIBRARY 1 RESEARCH 1

Tags

OPEN SOURCE 5 ARDUINO 3 PLATFORMIO 3 CODE GENERATION 2 COMPILERS 2 CYCLONE V 2 EMBEDDED LINUX 2 EMBEDDED SYSTEMS 2 ESP32 2 FPGA 2 FUZZING 2 GSOC 2 HARDWARE DESIGN 2 KERNEL PROGRAMMING 2
All Tags
ACHIEVEMENT1 ADDRESSSANITIZER1 ARDUINO3 BEAGLEBOARD1 BEAGLEBONE1 BENCHMARKING1 BINARY ANALYSIS1 BINARY INSTRUMENTATION1 BLOG1 BOOM1 BRANCH PREDICTION1 CAN1 CAN-FD1 CHIPYARD1 CHROME EXTENSION1 CODE GENERATION2 COMPILER ALGORITHMS1 COMPILER OPTIMIZATION1 COMPILERS2 CONCURRENT PROGRAMMING1 CRASH CONSISTENCY1 CYCLONE V2 DATA INTEGRITY1 DATA STRUCTURES1 DE1-SOC1 DESIGN SPACE EXPLORATION1 DESKTOP APPLICATION1 DEVICE DRIVERS1 DRIVER DEVELOPMENT1 ELECTRON1 EMBEDDED LINUX2 EMBEDDED SYSTEMS2 ENERGY SYSTEMS1 ESP322 FILE SYSTEM RECOVERY1 FILE SYSTEMS1 FLOATING POINT1 FPGA2 FREERTOS1 FUZZING2 GOOGLE SUMMER OF CODE1 GPIO1 GSOC2 HARDWARE1 HARDWARE DESIGN2 HARDWARE-BUTTONS1 IN NEWS1 IOT1 IR ANALYSIS1 JAVASCRIPT1 KERNEL DEVELOPMENT1 KERNEL PROGRAMMING2 LIBRARY1 LINUX INTERNALS1 LLM1 LLVM2 LOCAL FIRST2 LOCK-FREE ALGORITHMS1 LOOP ANALYSIS1 LVGL2 MACHINE LEARNING1 MANIFEST V31 MEMORY ANALYSIS1 MEMORY HIERARCHY1 MEMORY MANAGEMENT2 MEMORY SAFETY1 MMU MANAGEMENT1 MOTOR CONTROL2 NEXT.JS1 OPEN SOURCE5 OPERATING SYSTEMS2 OPTIMIZATION1 OPTIMIZATION PASSES1 PAGE TABLES1 PERFORMANCE ANALYSIS2 PERFORMANCE MONITORING1 PERFORMANCE TUNING1 PIPELINING1 PLATFORMIO3 POCKETBEAGLE1 PORTFOLIO1 PRIORITY INVERSION1 PRIVACY1 PROGRAMMING1 PROJECTS1 PRU1 QUARTUS2 RATE MONOTONIC1 REAL-TIME SYSTEMS1 REGISTER ALLOCATION1 REGISTER LIVENESS1 REGULATORY COMPLIANCE1 RISC-V2 ROBOTICS1 ROCKET CHIP1 ROS1 RTL DESIGN1 RUST2 SCHEDULING1 SECURITY1 SECURITY TESTING1 ST7735S1 STATIC ANALYSIS1 STEPPER MOTOR2 STM321 STSPIN2202 SYSTEMS1 SYSTEMVERILOG2 TAG_NAME11 TAG_NAME21 TECHNICAL1 TFT-DISPLAY1 THREAT ANALYSIS1 TYPESCRIPT1 USER-INPUT1 VGA1 VIRTUAL MEMORY1
[A~Z][0~9]
Copyright © 2016–2030, Pranav Kumar

Copyright  COPYRIGHT © 2016–2030, PRANAV KUMAR. All Rights Reserved

to-top