Pinned Repositories
auto-code-rover
A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 30.67% tasks (pass@1) in SWE-bench lite and 38.40% tasks (pass@1) in SWE-bench verified with each task costs less than $0.7.
pace
Social network for runners - iOS
cpr-experiments
eusolver
Fork of the original eusolver.
infer-release
jlitec
A compiler for a small object-oriented language jlite.
LowFat-new
Forked from https://github.com/ddcc/LowFat
redfat-experiments
SWE-bench
vulnfix
Program Vulnerability Repair via Inductive Inference
yuntongzhang's Repositories
yuntongzhang/vulnfix
Program Vulnerability Repair via Inductive Inference
yuntongzhang/SWE-bench
yuntongzhang/redfat-experiments
yuntongzhang/cpr-experiments
yuntongzhang/eusolver
Fork of the original eusolver.
yuntongzhang/infer-release
yuntongzhang/VulnLoc
yuntongzhang/AFL-demo
A simple demo showing how to use AFL.
yuntongzhang/auto-code-rover
A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 15.95% tasks in full SWE-bench
yuntongzhang/cs5242
Neural Networks and Deep Learning
yuntongzhang/daikon
Dynamic detection of likely invariants
yuntongzhang/devin-swebench-results
Cognition's results and methodology on SWE-bench
yuntongzhang/e9afl
AFL binary instrumentation
yuntongzhang/fuzz-rustc
setup for fuzzing the Rust compiler
yuntongzhang/gumtree-spoon-ast-diff
Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
yuntongzhang/infer
A static analyzer for Java, C, C++, and Objective-C
yuntongzhang/pfix-benchmark
yuntongzhang/PreciseBugs
yuntongzhang/ptaint-bench
yuntongzhang/RedFat
A binary hardening system
yuntongzhang/rewritecond
yuntongzhang/saver-artifact
yuntongzhang/senx-experiments
yuntongzhang/SWE-bench-docker
A Docker based solution of the SWE-bench evaluation framework
yuntongzhang/swe-bench-experiments
Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.
yuntongzhang/synet
SyNET Network-wide Configuration Synthesis
yuntongzhang/test
yuntongzhang/validation-experiment
yuntongzhang/vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
yuntongzhang/yuntongzhang.github.io
Personal webpage