GeezerVison

GeezerVison is showing github.com — ZJU Programming Languages and Automated Reasoning Group

README.md

🔬 Research Areas

Program Analysis & Verification
Program Synthesis & Optimizations
Logic & Automated Reasoning

🛠️ Open-Source Projects

lotus - Program analysis, verification, and optimization framework over LLVM IR
pyflow - Static analysis framework for Python
RepoAudit++ - LLM-driven repol-level code auditor
Aria - Library for constraint solving, theorem proving, and symbolic computation.

Popular repositories Loading

lotus lotus Public

LLVM-based Static Analysis Framework

GAP 43 13
aria aria Public

Automated Reasoning Infrastructure & Applications

SMT 17 5
pyflow pyflow Public

A static analysis framework for Python

Python 14 6
hintpilot hintpilot Public

Code for the paper "HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization"

Python 10
efmc efmc Public archive

Software model checking via exists-forall solving

SMT 9 3
RepoAudit RepoAudit Public

Forked from PurCL/RepoAudit

An autonomous LLM-agent for large-scale, repository-level code auditing

Python 6

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All C GAP HTML Python Rust SMT

Sort

Last updated Name Stars

Showing 10 of 13 repositories

lotus Public
LLVM-based Static Analysis Framework

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/lotus's past year of commit activity

GAP 43 13 0 0 Updated Nov 11, 2026
pyflow Public
A static analysis framework for Python

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/pyflow's past year of commit activity

Python 14 Apache-2.0 6 0 0 Updated Nov 9, 2026
aria Public
Automated Reasoning Infrastructure & Applications

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/aria's past year of commit activity

SMT 17 MIT 5 0 0 Updated Nov 9, 2026
zju-pl.github.io Public

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/zju-pl.github.io's past year of commit activity

HTML 0 0 0 0 Updated Oct 9, 2026
InvFinder Public
Artifact of TOSEM26 paper "A Fresh Look at Best Inductive Loop Invariant Synthesis for Bit-Vector Relations"

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/InvFinder's past year of commit activity

SMT 1 0 0 0 Updated Oct 2, 2026
DatalogBench Public
A benchmark for text-to-Datalog synthesis

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/DatalogBench's past year of commit activity

Python 1 MIT 0 0 0 Updated Sep 30, 2026
ELINAplusplus Public
Abstract interpretation library

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/ELINAplusplus's past year of commit activity

C 2 0 0 0 Updated Aug 29, 2026
static-analyzer-factory Public Forked from Static-Analyzer-Factory/static-analyzer-factory

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/static-analyzer-factory's past year of commit activity

Rust 0 MIT 6 0 0 Updated Aug 13, 2026
.github Public
.github

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/.github's past year of commit activity

0 0 0 0 Updated Jul 24, 2026
efmc Public archive
Software model checking via exists-forall solving

Uh oh!

There was an error while loading. Please reload this page.

ZJU-PL/efmc's past year of commit activity

SMT 9 MIT 3 0 0 Updated Jul 23, 2026

View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.