venkatarun95
I develop Performance Verification and Synthesis, which is a way to use formal methods to design systems that perform reliably
UT Austin
Pinned Repositories
6.829-pset2-3
cc_sim
ccac
Automated tool to formally verify congestion control algorithms and find bugs in them
ccp_copa
Implementation of the Copa congestion control agorithm using CCP
CopaEvaluation
genericCC
An interface to program any congestion control protocol for an unreliable connection based protocol sent over UDP. It comes with a clean TrafficGenerator interface that can generate traffic for each of these various protocols. Also supports other congestion control protocols
monitor-link
Captures pcap and computes statistics in real time
rust-book-hindi
Hindi translation of the Rust book
rust_transform_struct
A rust macro that transforms one struct field-by-field into another with the specified functions
SecureMultipartyComputation
SMPC code for allegation escrows
venkatarun95's Repositories
venkatarun95/mahimahi-1
tools for network emulation and analysis
venkatarun95/eGebra
A front end for popular computer algebra systems which aims to replace traditional 'pen and paper' based symbolic mathematical manipulations
venkatarun95/anony-course-feedback
A course feedback portal with a special emphasis on anonymity and security. It also features a unique anonymous chat where students can chat anonymously and privately with their professors. Here anonymity is maintained, but students can still edit their previous feedback. See the pdf enclosed for more details.
venkatarun95/con-invent
A multiplayer game based on the Conway's Game of Life where players can invent their own machines and design a battleground to go to war!
venkatarun95/gems
Gymkhana Election Management System
venkatarun95/InViSyBlE
Intelligent Vision System for Blind Enablement: An exploratory project on using computer vision to assist the blind
venkatarun95/NetSim
A network simulator built to test MarkovianCC and MultiQueue
venkatarun95/pantheon
venkatarun95/remy
venkatarun95/voice_instrumenter