LinerSu
PhD@UWaterloo; Formal Methods, Abstract Interpretation & Model Checking
University of WaterlooCanada
Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
crab
CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
nyu-pl-spring-20-rec
This is a repository for CSCI-GA.2110-001 recitation class.
NYU-Spr19-Abstract-Interpretation
This is an optional project for static analyzer via different abstract domains.
NYU-Spr19-Compiler-Construction
This is a repository for Compiler Construction project (CSCI-GA.2130-001)
seahorn
SeaHorn Verification Framework
verify-c-common
drift
An abstract-interpretation-based static analysis for inferring refinement types
LinerSu's Repositories
LinerSu/nyu-pl-spring-20-rec
This is a repository for CSCI-GA.2110-001 recitation class.
LinerSu/NYU-Spr19-Abstract-Interpretation
This is an optional project for static analyzer via different abstract domains.
LinerSu/NYU-Spr19-Compiler-Construction
This is a repository for Compiler Construction project (CSCI-GA.2130-001)
LinerSu/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
LinerSu/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
LinerSu/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
LinerSu/crab
CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
LinerSu/ReviewInspector
A source code of detector for Yelp fake reviews
LinerSu/seahorn
SeaHorn Verification Framework
LinerSu/verify-c-common
LinerSu/drift
An abstract-interpretation-based static analysis for inferring refinement types
LinerSu/exper_data
LinerSu/HackMD
The repo for markdown notes
LinerSu/lab-bluemix-cf
This repo demonstrates how deploy a simple Python Flask RESTful service using Bluemix Cloud Foundry
LinerSu/lab-travis-ci
This lab demonstrates how to use Travis CI with Redis for Continuous Integration
LinerSu/MoCHi
MoCHi: Model Checker for Higher-Order Programs
LinerSu/NN
Python code for Neural network
LinerSu/nyu-pl-sum19-rec
Repository for NYU summer CSCI-GA.2110-001 PL 2019 recitation
LinerSu/RNN
RNN Implementation
LinerSu/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
LinerSu/smack-data
LinerSu/verifyTrusty