Pinned Repositories
asej20-sm
bibliography
Personal bibtex file
cv
Personal CV
gossip-protocol
Gossip Protocol that sends UDP datagram packets
icse21-sm
icse22-sm
os-scheduling-research
OS final project researching scheduling algorithms
phosphor
Phosphor: Dynamic Taint Tracking for the JVM
turtlebot-monitoring-infrastructure
Project to study performance and behavior of TurtleBot
web
Personal page for research institutions
miguelvelezmj25's Repositories
miguelvelezmj25/icse21-sm
miguelvelezmj25/asej20-sm
miguelvelezmj25/bibliography
Personal bibtex file
miguelvelezmj25/comprx
miguelvelezmj25/ConfigCrusher
miguelvelezmj25/cv
Personal CV
miguelvelezmj25/density-converter
Copy from https://github.com/patrickfav/density-converter
miguelvelezmj25/fabfiles
Collection of fabfiles for servers
miguelvelezmj25/FlowDroid
FlowDroid Static Data Flow Tracker
miguelvelezmj25/glimps
miguelvelezmj25/icse22-sm
miguelvelezmj25/java-bytecode-instrumenter
miguelvelezmj25/joana-slicer
miguelvelezmj25/local-models
miguelvelezmj25/meme
miguelvelezmj25/min-configs-generator
miguelvelezmj25/perf-debug-config
miguelvelezmj25/performance-mapper-evaluation
miguelvelezmj25/phosphor
Phosphor: Dynamic Taint Tracking for the JVM
miguelvelezmj25/producer-consumer-4j
miguelvelezmj25/ros2-pub-sub
miguelvelezmj25/ros2-teleop
miguelvelezmj25/soot
Soot - A Java optimization framework
miguelvelezmj25/subtrace-explorer
miguelvelezmj25/web
Personal page for research institutions
miguelvelezmj25/yugioh-db
Yu-Gi-Oh! cards that I own
miguelvelezmj25/yugioh-scrapper
miguelvelezmj25/berkeley-db
miguelvelezmj25/joana
Joana - Information Flow Control for Java
miguelvelezmj25/sros