lpzun

I am a SWE @ Google.

Google LLCSunnyvale, CA

Pinned Repositories

abs
Abdulla's Backward Search
Language:C++00
bssp
Infinite-State System Backward Search with Symbolic Pruning
Language:C++0 1 00
bws
BWS = Backward Search for Infinite-State Systems
Language:C++0 2 00
cav-artifact
CAV 2019 artifact
Language:HTML00
ctse
c++ version of thread state equation
Language:C++00
cuba
Context-Unbounded Analysis for Concurrent Software
Language:C++00
cutr
CUTR = Concolic Unbounded-Thread Reachability via Loop Summaries
Language:C++1 1 00
dotfiles
:wrench: .files, including ~/.macos — sensible hacker defaults for macOS
Language:Shell00
ecut
eCut is the alias of explore: a dynamic cutoff detection tool
Language:C++0 1 00
fws
fws: using standard bounded forward search to find (un-)reachable thread states
Language:C++00

lpzun's Repositories

lpzun/cutr
CUTR = Concolic Unbounded-Thread Reachability via Loop Summaries
Language:C++1 1 00
lpzun/abs
Abdulla's Backward Search
Language:C++00
lpzun/bssp
Infinite-State System Backward Search with Symbolic Pruning
Language:C++0 1 00
lpzun/bws
BWS = Backward Search for Infinite-State Systems
Language:C++0 2 00
lpzun/cav-artifact
CAV 2019 artifact
Language:HTML00
lpzun/ctse
c++ version of thread state equation
Language:C++00
lpzun/cuba
Context-Unbounded Analysis for Concurrent Software
Language:C++00
lpzun/dotfiles
:wrench: .files, including ~/.macos — sensible hacker defaults for macOS
Language:Shell00
lpzun/ecut
eCut is the alias of explore: a dynamic cutoff detection tool
Language:C++0 1 00
lpzun/fws
fws: using standard bounded forward search to find (un-)reachable thread states
Language:C++00
lpzun/gkm
A generalized karp-miller procedure
Language:C++
lpzun/ijit
Interface for Just-In-Time translation
Language:C++
lpzun/infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml
lpzun/lpzun.github.io
Peizun's Homepage
Language:HTML
lpzun/mcbs
Multithreading and Cloud-Based Backward Coverability Analysis
Language:Java
lpzun/P
The P programming language.
Language:C#
lpzun/personal-site
My personal website
lpzun/qultl
A model checker for QuLTL.
Language:C++
lpzun/rapa
Website for resource-aware program analysis
Language:HTML
lpzun/ucob
UCOB = Unbounded-thread COverability analysis for Boolean programs
Language:C++
lpzun/z3
The Z3 Theorem Prover
Language:C++