aziem/popl2015-papers
Accepted papers for POPL 2015
Developer Profile
aziem
Discovered public repositories for aziem in the GitHub catalog.
aziem/T2
T2 Temporal Prover
aziem/literature_review
Survey of program analysis research with a focus on machine code
aziem/llvm-nwa
LLVM pass that outputs an NWA CFG
aziem/ukoct
An octagon domain library and solver infrastructure.
aziem/RE-for-beginners
Reverse Engineering for Beginners
aziem/Lilian
Machine Learning Toolkit
aziem/subdue
Graph Based Knowledge Discovery
aziem/capstone
Capstone engine: Core + Python + Ocaml + Java + C# bindings
aziem/startbootstrap
Better HTML Starter Templates for Twitter Bootstrap
aziem/sovereign
A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.
aziem/swm
Scheme Window Manager (port of dwm in Chicken Scheme)
aziem/Z3Rankfinder
Public repository.
aziem/ocaml-buddy
binding for the BDD buddy library
aziem/RoadRunner
Public repository.
aziem/LinearRank-ESOP
Implementation of Termination Analyser from ESOP 2007 (Ranking Abstractions)
aziem/mini-invader
Toy implementation of a separation logic based program analysis