Pinned Repositories
adapton-lab.rust
Adapton Lab, written in Rust.
chimpcheck
Combinator Library for writing test generators and test properties for Android Apps
dai
DAI: Demanded Abstract Interpretation
droidel
Framework model for static analysis of Android
hopper
Goal-directed static analysis tool for JVM languages.
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
raz.ocaml
Random Access Zipper in OCaml
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.
thresher
Static heap reachability analysis for Java bytecode and Android memory leak finder.
Programming Languages and Verification at the University of Colorado Boulder's Repositories
cuplv/hopper
Goal-directed static analysis tool for JVM languages.
cuplv/droidel
Framework model for static analysis of Android
cuplv/thresher
Static heap reachability analysis for Java bytecode and Android memory leak finder.
cuplv/IC_Edit
Feature-rich text editor written simply, running efficiently with incremental computation by Adapton
cuplv/walautil
WALA utility methods for Scala projects.
cuplv/icedit-calc
Core calculus for IC-Edit, our Incremental Computation-based Editor.
cuplv/Java-Bytecode-Instrumenter
This tool analyses Java bytecode and generates a cost model for Java applications
cuplv/jCupid
cuplv/android-Camera2Basic
cuplv/android-grepcode-mirror
This repository tracks Android source releases from Grepcode, with inserted Droidel stubs.
cuplv/bigdiff-code
bigdiff-code
cuplv/ECOOP2013
cuplv/FixrGraphBugPatterns
cuplv/funlist.rs
Functional Lists in Rust
cuplv/graphtron
cuplv/icedit-demo
Demonstration videos for IC Edit.
cuplv/OpenJDK
cuplv/robinson
A toy web rendering engine
cuplv/TAJS
Type Analyzer for JavaScript