xurongchen

AlgorithmHW

Homework for 'Algorithm Analysis and Design'

ASTSerialization

Serialization and deserialization implementations for Microsoft.ProgramSynthesis.AST

AdvancedComputerNetworkHW

homework for Advanced Computer Network

AlgorithmHW-Coding

Homework for 'Algorithm Analysis and Design' (Coding part)

AlgorithmProblem

cluster-solution

solution for clustering course work

fse20

artifacts track, fse20

Python.BEXml

Object-oriented packaging for benchexec

AutomatonHW

Homework for 'Automaton and Formal Logic'

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

boogie

Boogie

cluster-report

CombinatorialMathematicsHW

Homework for course Combinatorial Mathematics

CourseTexTemp

A personal latex template for course homework modified from thucoursework

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

DataWarehouseHW

Home work for course 'Data Warehouse and Data Mining'

DataWarehouseProject

Personal project for course Data Warehouse and Data Mining

ddlTerm-artifact

ddlTerm is a data-driven loop termination analysis tool

DeepLearningHW

DPLL-Bench

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

IDT4Inv

Interval decision tree learner for loop invariant learning (part of our ESEC/FSE 2020 work)

Interval-Counterexamples-for-Loop-Invariant-Learning

This is our ESEC/FSE 2020 work.

LoopInvGen

A data-driven SyGuS tool that generates provably sufficient loop invariants for program verification.

ManchesterEncoding

ParallelProgramming

prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

smack

SMACK Software Verifier and Verification Toolchain

xurongchen.github.io

z3

The Z3 Theorem Prover