Skip to content
View certainly-param's full-sized avatar
🎯
Focusing
🎯
Focusing
0 followers · 7 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Block or report certainly-param

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 supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
certainly-param/README.md

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


Typing SVG

github-snake

> Research Assistant @ UNC Chapel Hill | MS Computer Science

> Currently working on formal verification for RISC-V architectures

Website LinkedIn Email Blog GitHub

$ cat tech_stack.txt

// Languages

Python C/C++ C# Rust TypeScript JavaScript SystemVerilog Bash

// AI & ML

PyTorch vLLM LangChain LangGraph Pydantic--AI MCP Ollama Vector_DBs Spark

// Backend & Cloud

FastAPI Node.js Express .NET PostgreSQL MongoDB AWS GCP Docker

// Cryptography & Security

OpenSSL Post--Quantum ZK_Proofs Formal_Methods

// Systems & Tools

Linux RISC--V Git CI/CD

GitHub Activity Graph

$ 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

  1. 🔒 Closed issue #6947 in verilator/verilator
  2. 🗣 Commented on #6947 in verilator/verilator
  3. ❗ Opened issue #6947 in verilator/verilator

Profile Views GitHub Stars GitHub Forks


Made while doing lot of snacking ;)

param@github: ~ $ exit

Pinned Loading

  1. garuda-accelerator 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 1

  2. Axiom Axiom Public

    Axiomatic Verification for Distributed Systems

    Python

  3. serverless-rag-chatbot 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

  4. tracelens 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

  5. Gopal3746/AI-Ticketing Gopal3746/AI-Ticketing Public

    COMP 523

    JavaScript

  6. VAC-protocol VAC-protocol Public

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

    Rust