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/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.
cuplv/dai
DAI: Demanded Abstract Interpretation
cuplv/Historia
Application only analysis of event-driven Android applications using message history logics.
cuplv/Fixrbot
Fixrbot is a GitHub App that analyses the API usage patterns.
cuplv/TraceRunner
Tool for generating dynamic traces of android applications.
cuplv/adapton
Adapton Project Homepage
cuplv/Waldo
Waldo library for proving indistinguishability properties in F*
cuplv/cuplv.github.io
Website for CU Programming Languages and Verification (CUPLV)
cuplv/discard
cuplv/FdroidDownloader
A (formerly Scala) Python program to download fdroid apps.
cuplv/Quark
cuplv/Schmit
Quantitative Mitigation of Timing Side Channels
cuplv/snr22
The 8th International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR22)
cuplv/yurei
cuplv/Andrew_Abstract
cuplv/bectex
Personal macros and some starter files for LaTeX projects (Bor-Yuh Evan Chang).
cuplv/brbo
cuplv/ccmsg
cuplv/discard-tpc
cuplv/dmoon
cuplv/FlowDroid_ftc
FlowDroid Static Data Flow Tracker
cuplv/HIMO_intent
cuplv/Historia_old
Application only analysis of event-driven Android applications using message history logics.
cuplv/shawn
Shawn Academic Web Page
cuplv/shawn_AI
Abstract interpreter of the future project.
cuplv/ucap-agda
cuplv/ucap-haskell
cuplv/ucap-tpc
cuplv/verify-rt
cuplv/WCET_via_EVT
The worst case execution times via extreme value theory