Pinned Repositories
slumps
Cool code analysis research for WebAssembly
gnuradio
GNU Radio – the Free and Open Software Radio Ecosystem
x86optimiser
Optimisation Algorithm code by Rudy
Bluetooth_App
Mini Project for TE ETRX
Cpractise
Practice for 'C' Programming language
gitTest
Just another Test file for Git
JavaVPN
VPN_Project
Noma
Matlab code for 'NOMA with SiC' and comparison to other OFDMA techniques
SDNProject
SDN project 2019 on Mininet
stoke
STOKE: A stochastic superoptimizer and program synthesizer
shrin18's Repositories
shrin18/Bluetooth_App
Mini Project for TE ETRX
shrin18/gitTest
Just another Test file for Git
shrin18/WasmExplorer
shrin18/assert-gold-mine
This is an informal repo for ASSERT teammates to share awesome stuff.
shrin18/class
Oriented Object Programming for Lua
shrin18/code-in-5
shrin18/DynamicMultiChannelRL
Contains Implementation of Paper " S Wang, H Liu, P H Gomes, and B Krishnamachari ; Deep Reinforcement Learning for Dynamic Multichannel Access in Wireless Networks"
shrin18/klee
KLEE Symbolic Execution Engine
shrin18/NakovForwardServer
TCP port forwarding software, written in Java: forwards local TCP port (e.g. 127.0.0.1:1521) to external port (0.0.0.0:1522)
shrin18/openflow-tutorial
Openflow Tutorial on Mininet
shrin18/pox
The POX network software platform
shrin18/POX_Firewall
Firewall controller module for POX OpenFlow controller
shrin18/repairnator
Software development bot that automatically repairs build failures on Travis Continuous Integration. Join the bot revolution! :star2::robot::star2::revolving_hearts:
shrin18/sensorapi
Simple .NET Core REST API server for Mobile/IoT sensors
shrin18/souper
A superoptimizer for LLVM IR
shrin18/stokepresentation
An HTML presentation about my work on the Stoke Super-Optimiser
shrin18/torch7
http://torch.ch
shrin18/tutorials
shrin18/xPerturb
perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology