LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow

LLMDFA: Analyzing Dataflow in Code with Large Language Models

A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue

AceParse: A Comprehensive Dataset with Diverse Structured Texts for Academic Literature Parsing

A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"

The SQL Standards Project aims to create consensus in SQL semantics

Locally run an Instruction-Tuned Chat-Style LLM

TPC-DS benchmark kit with some modifications/fixes

Benchmarks for SyGuS Competition (SyGuS-Comp)

A points-to and alias analysis benchmark suite

Yet another llvm based obfuscator

PKUAutoElective for 2021 spring semester