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
Language:Python4 6 04
cc_sim
Language:Jupyter Notebook2 5 82
ccac
Automated tool to formally verify congestion control algorithms and find bugs in them
Language:Python26 7 16
ccp_copa
Implementation of the Copa congestion control agorithm using CCP
Language:Rust12 3 19
CopaEvaluation
Language:Shell4 2 22
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
Language:C++51 11 437
monitor-link
Captures pcap and computes statistics in real time
Language:C++3 2 00
rust-book-hindi
Hindi translation of the Rust book
Language:Rust16 2 24
rust_transform_struct
A rust macro that transforms one struct field-by-field into another with the specified functions
Language:Rust3 2 00
SecureMultipartyComputation
SMPC code for allegation escrows
Language:Java3 2 10

venkatarun95's Repositories

venkatarun95/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
Language:C++51 11 437
venkatarun95/ccac
Automated tool to formally verify congestion control algorithms and find bugs in them
Language:Python26 7 16
venkatarun95/rust-book-hindi
Hindi translation of the Rust book
Language:Rust16 2 24
venkatarun95/ccp_copa
Implementation of the Copa congestion control agorithm using CCP
Language:Rust12 3 19
venkatarun95/6.829-pset2-3
Language:Python4 6 04
venkatarun95/CopaEvaluation
Language:Shell4 2 22
venkatarun95/monitor-link
Captures pcap and computes statistics in real time
Language:C++3 2 00
venkatarun95/rust_transform_struct
A rust macro that transforms one struct field-by-field into another with the specified functions
Language:Rust3 2 00
venkatarun95/SecureMultipartyComputation
SMPC code for allegation escrows
Language:Java3 2 10
venkatarun95/cc_sim
Language:Jupyter Notebook2 5 82
venkatarun95/covid_reliable_articles
Language:Python2 2 04
venkatarun95/pantheon-1
Pantheon of Congestion Control
Language:Python1 2 0
venkatarun95/pyz3_utils
Convenience wrappers for Z3
Language:Python1 2 03
venkatarun95/rocc_kernel
Language:C1 2 01
venkatarun95/usrp_rs
A simple binding to receive/send samples from/to USRP devices
Language:Rust1 2 0
venkatarun95/atom-devanagari
Atom package for phonetically writing Devanagari using an English keyboard
Language:JavaScript2 0
venkatarun95/audio_ct
Language:Rust2 0
venkatarun95/bitvec-rs
Language:Rust1 0
venkatarun95/ccac2
Improved version of CCAC
Language:Python2 01
venkatarun95/ccac_proofs
Language:Lean3 0
venkatarun95/ccac_website
Language:JavaScript2 0
venkatarun95/channel_est
Language:Rust2 0
venkatarun95/email_calendar
Language:Python
venkatarun95/human_chess
Language:Python1 0
venkatarun95/mahimahi
Web performance measurement toolkit
Language:C++2 01
venkatarun95/mit_page
Language:HTML2 0
venkatarun95/mvfst
An implementation of the QUIC transport protocol.
Language:C++1 0
venkatarun95/networks-assignment-transport
Language:Python2 02
venkatarun95/Stockfish
UCI chess engine
Language:C++1 0
venkatarun95/sysml_fair_verif
Language:Python