cuplv/biggroum cuplv/biggroum

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Python
  • License
    Apache License 2.0
  • Created about 8 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cuplv/biggroum
github

cuplv

Reviews

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

Repository Details

Top-level project for the graph extraction

More Repositories

1

hopper

Goal-directed static analysis tool for JVM languages.
Scala
56
star
2

droidel

Framework model for static analysis of Android
Java
45
star
3

text-to-sql-wizardcoder

Leveraging large language models for text-to-SQL synthesis, this project fine-tunes WizardLM/WizardCoder-15B-V1.0 with QLoRA on a custom Spider training dataset. The resultant model, achieves 61% execution accuracy, incorporating database context for validation.
Jupyter Notebook
43
star
4

thresher

Static heap reachability analysis for Java bytecode and Android memory leak finder.
Java
31
star
5

dai

DAI: Demanded Abstract Interpretation
OCaml
15
star
6

adapton-lab.rust

Adapton Lab, written in Rust.
Rust
15
star
7

iodyn-lang.rust

IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
Rust
14
star
8

raz.ocaml

Random Access Zipper in OCaml
OCaml
13
star
9

iodyn.rust

Collections Library for Adapton, in Rust
Rust
13
star
10

chimpcheck

Combinator Library for writing test generators and test properties for Android Apps
Java
12
star
11

dist-prog-19sp

Distributed Programming reading group (Spring 2019)
7
star
12

adapton-talk

Talks about Adapton
6
star
13

IC_Edit

Feature-rich text editor written simply, running efficiently with incremental computation by Adapton
Rust
6
star
14

incremental-flashfill

Incremental FlashFill (http://research.microsoft.com/en-us/um/people/sumitg/pubs/popl11-synthesis.pdf)
Rust
6
star
15

Historia

Application only analysis of event-driven Android applications using message history logics.
Scala
5
star
16

ScalaBashing

A higher level library for shell scripting in Scala
Scala
4
star
17

TraceRunner

Tool for generating dynamic traces of android applications.
Java
3
star
18

Fixrbot

Fixrbot is a GitHub App that analyses the API usage patterns.
TypeScript
3
star
19

lettuce-language

Lettuce
Scala
3
star
20

walautil

WALA utility methods for Scala projects.
Scala
2
star
21

Waldo

Waldo library for proving indistinguishability properties in F*
F*
2
star
22

FixrGraphExtractor

Scala
2
star
23

verivita

Dynamic verification using callbacks
Python
2
star
24

FixrGraphPatternSearch

Implement the search of a pattern from a GROUM
Python
1
star
25

discard

Haskell
1
star
26

Quark

Jupyter Notebook
1
star
27

FdroidDownloader

A (formerly Scala) Python program to download fdroid apps.
Jupyter Notebook
1
star
28

DPDEBUGGER

Differential Performance Debugging with Discriminant Regression Trees
Python
1
star
29

js_value_refiner

Demand-Driven Value Refinement for JavaScript
Scala
1
star
30

cuanto

Scala
1
star
31

Java-Bytecode-Instrumenter

This tool analyses Java bytecode and generates a cost model for Java applications
Java
1
star
32

vmfuture

The VM of the Future: The middle way that balances between static and dynamic language techniques
Rust
1
star
33

FixrGraphIso

Implementation of the approximate graph isomorphism
C++
1
star
34

cuplv.github.io

Website for CU Programming Languages and Verification (CUPLV)
HTML
1
star
35

icedit-calc

Core calculus for IC-Edit, our Incremental Computation-based Editor.
Makefile
1
star
36

droidstar

DroidStar is an active learning tool that synthesizes behavioral specifications for event-driven framework classes that explain how and when their callbacks occur.
Java
1
star
37

Schmit

Quantitative Mitigation of Timing Side Channels
Python
1
star