plum-umd/java-sketch
a Java front-end for Sketch synthesis tool
Developer Profile
plum-umd
Discovered public repositories for plum-umd in the GitHub catalog.
plum-umd/facets-in-agda
Playing with embedding faceted semantics in Agda
plum-umd/adaptive-concretization
Adaptive Concretization for Parallel Program Synthesis
plum-umd/parsing-with-derivatives
Public repository.
plum-umd/aic-praise
clone of https://code.google.com/p/aic-praise/
plum-umd/systematic-abstraction
Code from the paper "Systematic Abstraction of Abstract Machines"
plum-umd/racket
The Racket repository
plum-umd/contract-corpus
Corpus of programs with contracts
plum-umd/rubah-voldemort
An open source clone of Amazon's Dynamo.
plum-umd/adapton.ocaml
(Nominal) Adapton in OCaml
plum-umd/c-strider
C-Strider: Type-Aware Heap Traversal for C
plum-umd/h2-rubah
H2 database with patches for Rubah
plum-umd/schema_update
This is the original (python) prototype of the Kvolve paper
plum-umd/rubah
Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs
plum-umd/try-scv-racket
Web REPL for Soft Contract Verification (SCV) Racket
plum-umd/qif
Public repository.
plum-umd/marketing
Public repository.
plum-umd/dexdump
The dexdump tool
plum-umd/android-callback
Android Callback
plum-umd/dvanhorn
Webpage for DVH
plum-umd/catsreading
Category theory reading group
plum-umd/pubs
Public repository.
plum-umd/webpage
The PLUM webpage
plum-umd/ruby
The Ruby Programming Language
plum-umd/android-intents
Bree and Kris' work on the 828x project
plum-umd/plum-logo
Public repository.
plum-umd/troyd
Troyd: Integration Testing for Android
plum-umd/redexer
The Redexer binary instrumentation framework for Dalvik bytecode
plum-umd/abstracting-definitional-interpreters
Abstracting Definitional Interpreters
plum-umd/rtc
Public repository.