There are no reviews yet. Be the first to send feedback to the community and the maintainers!
redexer
The Redexer binary instrumentation framework for Dalvik bytecodertc
adapton.ocaml
(Nominal) Adapton in OCamlcgc
Constructive Galois connectionsrubah
Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMsadapton.racket
Racket-based implementation of Adaptonjava-sketch
a Java front-end for Sketch synthesis toolfuzzing-benchmarks
The collection of programs for evaluating fuzzing techniquestroyd
Troyd: Integration Testing for Androidadapton
Adapton Project Homepagedexdump
The dexdump toolcmsc330-public
Publicly visible materials for UMD course CMSC 330pasket
Synthesizing Framework Models for Symbolic Executionfundamentals
Systematic Program Design I & IIcheckedc
Contributions to Microsoft's Checked C project developed by PLUMmersparsing-with-derivatives
kvolve
KVolve: an extension to the popular Redis database, to support the evolution of high-availability applications and their data online.systematic-abstraction
Code from the paper "Systematic Abstraction of Abstract Machines"c-strider
C-Strider: Type-Aware Heap Traversal for Coblivml
A Language for Oblivious Computationinc-imp
An incremental IMP interpreter, built using Adapton.bibifi-code
Source code for the Build-it Break-it Fix-it competition's infrastructure.adaptive-concretization
Adaptive Concretization for Parallel Program SynthesisQNP
Quantum Natural Proofsymphony-lang
the-838e-compiler
Compiler for CMSC 838Eqif
contract-corpus
Corpus of programs with contractsandroid-intents
Bree and Kris' work on the 828x projectdvanhorn
Webpage for DVHJANA
Java Numeric ANalysisoopsla2020-artifact
checkedc-icecast-m4
plumlib.ocaml
Useful stuff for OCaml programscheckedc-libtiff
android-callback
Android Callbacklmonad-meta
checkedc-eval-vsftpd
cmsc838e
CMSC 838E Advanced Compilerscheckedc-icecast
liquid-base
webpage
The PLUM webpagecheckedc-icecast-common
cmsc388q
Course material for CMSC 388QQAM
Quantum Abstract MachineLove Open Source and this site? Check out how you can help us