plum-umd/adaptive-concretization plum-umd/adaptive-concretization

  • Stars
    star
    3
  • Rank 3,891,913 (Top 79 %)
  • Language
    Python
  • License
    MIT License
  • Created about 9 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
plum-umd/adaptive-concretization
github

plum-umd

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Adaptive Concretization for Parallel Program Synthesis

More Repositories

1

redexer

The Redexer binary instrumentation framework for Dalvik bytecode
Smali
157
star
2

rtc

Ruby
84
star
3

abstracting-definitional-interpreters

Abstracting Definitional Interpreters
TeX
65
star
4

adapton.ocaml

(Nominal) Adapton in OCaml
OCaml
46
star
5

cgc

Constructive Galois connections
Agda
31
star
6

rubah

Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs
Java
24
star
7

adapton.racket

Racket-based implementation of Adapton
Racket
21
star
8

java-sketch

a Java front-end for Sketch synthesis tool
Java
19
star
9

fuzzing-benchmarks

The collection of programs for evaluating fuzzing techniques
C
19
star
10

troyd

Troyd: Integration Testing for Android
Ruby
19
star
11

adapton

Adapton Project Homepage
16
star
12

dexdump

The dexdump tool
C
16
star
13

cmsc330-public

Publicly visible materials for UMD course CMSC 330
JavaScript
16
star
14

pasket

Synthesizing Framework Models for Symbolic Execution
Java
15
star
15

fundamentals

Systematic Program Design I & II
Racket
13
star
16

checkedc

Contributions to Microsoft's Checked C project developed by PLUMmers
Coq
11
star
17

parsing-with-derivatives

TeX
10
star
18

kvolve

KVolve: an extension to the popular Redis database, to support the evolution of high-availability applications and their data online.
C
9
star
19

systematic-abstraction

Code from the paper "Systematic Abstraction of Abstract Machines"
Haskell
8
star
20

c-strider

C-Strider: Type-Aware Heap Traversal for C
OCaml
6
star
21

oblivml

A Language for Oblivious Computation
OCaml
6
star
22

inc-imp

An incremental IMP interpreter, built using Adapton.
OCaml
5
star
23

bibifi-code

Source code for the Build-it Break-it Fix-it competition's infrastructure.
Haskell
5
star
24

QNP

Quantum Natural Proof
Coq
3
star
25

symphony-lang

Haskell
3
star
26

the-838e-compiler

Compiler for CMSC 838E
Racket
2
star
27

qif

TeX
2
star
28

contract-corpus

Corpus of programs with contracts
Racket
2
star
29

android-intents

Bree and Kris' work on the 828x project
Ruby
2
star
30

dvanhorn

Webpage for DVH
CSS
2
star
31

JANA

Java Numeric ANalysis
Scala
2
star
32

checkedc-icecast-m4

M4
1
star
33

plumlib.ocaml

Useful stuff for OCaml programs
OCaml
1
star
34

checkedc-libtiff

C
1
star
35

android-callback

Android Callback
Java
1
star
36

lmonad-meta

Haskell
1
star
37

checkedc-eval-vsftpd

C
1
star
38

cmsc838e

CMSC 838E Advanced Compilers
Racket
1
star
39

oopsla2020-artifact

Dockerfile
1
star
40

checkedc-icecast

C
1
star
41

liquid-base

Haskell
1
star
42

webpage

The PLUM webpage
Ruby
1
star
43

checkedc-icecast-common

C
1
star
44

cmsc388q

Course material for CMSC 388Q
Racket
1
star
45

QAM

Quantum Abstract Machine
Coq
1
star