cuplv/verivita

Stars
2
Language
Python
Created over 8 years ago
Updated over 5 years ago

cuplv/verivita

cuplv

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

Dynamic verification using callbacks

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

raz.ocaml

Random Access Zipper in OCaml

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

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