Programming Languages and Verification at the University of Colorado Boulder

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.

dai

DAI: Demanded Abstract Interpretation

Historia

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

Fixrbot

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

TraceRunner

Tool for generating dynamic traces of android applications.

adapton

Adapton Project Homepage

Waldo

Waldo library for proving indistinguishability properties in F*

cuplv.github.io

Website for CU Programming Languages and Verification (CUPLV)

discard

FdroidDownloader

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

Quark

Schmit

Quantitative Mitigation of Timing Side Channels

snr22

The 8th International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR22)

yurei

Andrew_Abstract

bectex

Personal macros and some starter files for LaTeX projects (Bor-Yuh Evan Chang).

brbo

ccmsg

discard-tpc

dmoon

FlowDroid_ftc

FlowDroid Static Data Flow Tracker

HIMO_intent

Historia_old

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

shawn

Shawn Academic Web Page

shawn_AI

Abstract interpreter of the future project.

ucap-agda

ucap-haskell

ucap-tpc

verify-rt

WCET_via_EVT

The worst case execution times via extreme value theory