GeezerVison

● ○ ○ param@github: ~/certainly-param

github-snake

> Research Assistant @ UNC Chapel Hill | MS Computer Science

> Currently working on formal verification for RISC-V architectures

$ cat tech_stack.txt

// Languages

// AI & ML

// Backend & Cloud

// Cryptography & Security

// Systems & Tools

$ ls ~/projects

Project	Description
Garuda	RISC-V INT8 accelerator with 7.5-9× latency reduction for attention microkernels
PSF Design Lab	AI predictability assessment toolkit with hybrid measurement (entropy + KL divergence + LLM)
TraceLens	Visual debugger for LangGraph workflows with time-travel debugging and real-time visualization
VAC	Capability-based security for AI agents with task-scoped credentials and instant revocation
Axiom	Hybrid verification framework (KLEE + TLA+) for distributed systems with 100% coverage for Raft
Serverless RAG Chatbot	Scale-to-zero RAG architecture with $0/month when idle and 30-60% cost reduction via caching

$ git log --author=param --oneline

Contribution	Description
pydantic-ai	Fixed race condition in parallel tool execution with targeted locking
vLLM	INT8 quantization fix for Blackwell GPUs (SM100+) with early validation and FP8 guidance
CVA6 RISC-V	Fixed interrupt encoding in RV64 + inferred latch fix - improves hardware reliability
MCP Python SDK	Resource leak fix in SSE handlers with comprehensive test suite
Anthropic Skills	Performance optimization: 90% reduction in bounding box comparisons for multi-page forms

$ curl blog.rss

$ tail -f activity.log

🎉 Merged PR #8 in Maxed-OSS/maxed-mcp
💪 Opened PR #8 in Maxed-OSS/maxed-mcp
🎉 Merged PR #3259 in emmabostian/developer-portfolios

Made while doing lot of snacking ;)

param@github: ~ $ exit

Pinned Loading

garuda-accelerator

Public

Garuda: CVXIF coprocessor optimizing batch-1 attention microkernels with 7.5-9× lower p99 latency. RISC-V INT8 MAC accelerator for transformer inference.

SystemVerilog 8 3

Axiom

Public

Axiomatic Verification for Distributed Systems

Python

serverless-rag-chatbot

Public

A modern, cost-efficient RAG (Retrieval Augmented Generation) chatbot that lets you upload PDFs and ask questions about them. Features client-side PDF parsing, free built-in embeddings via Upstash …

JavaScript

tracelens

Public

Tracelens - Visual Debugger and Replay Engine for LangGraph Agentic Workflows - Real-time monitoring, time-travel debugging, and interactive graph visualization for AI agents

Python

Gopal3746/AI-Ticketing

Public

COMP 523

JavaScript

VAC-protocol

Public

VAC Protocol - Capability-based security for AI agents. Task-scoped credentials, receipt-based state, instant revocation.

Rust 1

GeezerVison

Param Chaudhari certainly-param

Achievements

Achievements

Highlights

Organizations

$ cat tech_stack.txt

$ ls ~/projects

$ git log --author=param --oneline

$ curl blog.rss

$ tail -f activity.log

Pinned Loading

Uh oh!