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
abstracting-definitional-interpreters
Abstracting Definitional Interpretersadapton.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 Executioncheckedc
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