cuplv/raz.ocaml

Stars
13
Rank 1,512,713 (Top 30 %)
Language
OCaml
Created over 8 years ago
Updated almost 8 years ago

cuplv/raz.ocaml

cuplv

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

Random Access Zipper in OCaml

hopper

Goal-directed static analysis tool for JVM languages.

droidel

Framework model for static analysis of Android

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

thresher

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

dai

DAI: Demanded Abstract Interpretation

adapton-lab.rust

Adapton Lab, written in Rust.

iodyn-lang.rust

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

iodyn.rust

Collections Library for Adapton, in Rust

chimpcheck

Combinator Library for writing test generators and test properties for Android Apps

biggroum

Top-level project for the graph extraction

dist-prog-19sp

Distributed Programming reading group (Spring 2019)

adapton-talk

Talks about Adapton

IC_Edit

Feature-rich text editor written simply, running efficiently with incremental computation by Adapton

incremental-flashfill

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

Historia

Application only analysis of event-driven Android applications using message history logics.

ScalaBashing

A higher level library for shell scripting in Scala

TraceRunner

Tool for generating dynamic traces of android applications.

Fixrbot

Fixrbot is a GitHub App that analyses the API usage patterns.

lettuce-language

walautil

WALA utility methods for Scala projects.

Waldo

Waldo library for proving indistinguishability properties in F*

FixrGraphExtractor

verivita

Dynamic verification using callbacks

FixrGraphPatternSearch

Implement the search of a pattern from a GROUM

discard

Quark

Jupyter Notebook

FdroidDownloader

A (formerly Scala) Python program to download fdroid apps.

Jupyter Notebook

DPDEBUGGER

Differential Performance Debugging with Discriminant Regression Trees

js_value_refiner

Demand-Driven Value Refinement for JavaScript

cuanto

Java-Bytecode-Instrumenter

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

vmfuture

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

FixrGraphIso

Implementation of the approximate graph isomorphism

cuplv.github.io

Website for CU Programming Languages and Verification (CUPLV)

icedit-calc

Core calculus for IC-Edit, our Incremental Computation-based Editor.

droidstar

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

Schmit

Quantitative Mitigation of Timing Side Channels