xurongchen

Devoted to producing more bugs for the world

HUAWEIShanghai, China

Pinned Repositories

boogie
Boogie
Language:Boogie514 30 272112
acm
Language:C++1 1 01
AdvancedComputerNetworkHW
homework for Advanced Computer Network
Language:TeX0 2 00
AlgorithmHW
Homework for 'Algorithm Analysis and Design'
Language:TeX1 2 00
AlgorithmHW-Coding
Homework for 'Algorithm Analysis and Design' (Coding part)
Language:C#0 2 00
AlgorithmProblem
Language:C++0 2 00
ASTSerialization
Serialization and deserialization implementations for Microsoft.ProgramSynthesis.AST
Language:C#1 1 00
fse20
artifacts track, fse20
Language:C#0 1 00
GDP2W
Graduation Design materials Pdf2Word for HEU
3 2 00
Python.BEXml
Object-oriented packaging for benchexec
Language:Python0 1 00

xurongchen's Repositories

xurongchen/AlgorithmHW
Homework for 'Algorithm Analysis and Design'
Language:TeX1 2 00
xurongchen/ASTSerialization
Serialization and deserialization implementations for Microsoft.ProgramSynthesis.AST
Language:C#1 1 00
xurongchen/AdvancedComputerNetworkHW
homework for Advanced Computer Network
Language:TeX0 2 00
xurongchen/AlgorithmHW-Coding
Homework for 'Algorithm Analysis and Design' (Coding part)
Language:C#0 2 00
xurongchen/AlgorithmProblem
Language:C++0 2 00
xurongchen/cluster-solution
solution for clustering course work
Language:Python0 2 00
xurongchen/fse20
artifacts track, fse20
Language:C#0 1 00
xurongchen/Python.BEXml
Object-oriented packaging for benchexec
Language:Python0 1 00
xurongchen/AutomatonHW
Homework for 'Automaton and Formal Logic'
Language:TeX2 0
xurongchen/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python1 0
xurongchen/boogie
Boogie
Language:Boogie1 0
xurongchen/cluster-report
Language:TeX2 0
xurongchen/CombinatorialMathematicsHW
Homework for course Combinatorial Mathematics
Language:TeX2 0
xurongchen/CourseTexTemp
A personal latex template for course homework modified from thucoursework
Language:TeX2 0
xurongchen/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Language:C1 0
xurongchen/DataWarehouseHW
Home work for course 'Data Warehouse and Data Mining'
Language:TeX2 0
xurongchen/DataWarehouseProject
Personal project for course Data Warehouse and Data Mining
2 0
xurongchen/ddlTerm-artifact
ddlTerm is a data-driven loop termination analysis tool
Language:C#2 1
xurongchen/DeepLearningHW
Language:Jupyter Notebook2 0
xurongchen/DPLL-Bench
1 0
xurongchen/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Language:ANTLR1 0
xurongchen/IDT4Inv
Interval decision tree learner for loop invariant learning (part of our ESEC/FSE 2020 work)
Language:C++2 0
xurongchen/Interval-Counterexamples-for-Loop-Invariant-Learning
This is our ESEC/FSE 2020 work.
2 0
xurongchen/LoopInvGen
A data-driven SyGuS tool that generates provably sufficient loop invariants for program verification.
Language:OCaml1 0
xurongchen/ManchesterEncoding
Language:JavaScript2 0
xurongchen/ParallelProgramming
Language:C2 0
xurongchen/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.
Language:C#1 0
xurongchen/smack
SMACK Software Verifier and Verification Toolchain
Language:C1 0
xurongchen/xurongchen.github.io
Language:SCSS2 0
xurongchen/z3
The Z3 Theorem Prover
Language:C++1 0