Pinned Repositories
cast-checker
value-inference
checker-framework-inference
Inference of pluggable types for Java
units-inference
aws-kms-compliance-checker
A Java compiler plugin that proves, at compile-time, that Java code only requests 256-bit data keys from AWS KMS.
bmc
boogie
Boogie
cast-inference
checker-framework
Pluggable type-checking for Java
corpus-utils
A repository holds util scripts for automating common processes running on a corpus.
txiang61's Repositories
txiang61/checker-framework-inference
Inference of pluggable types for Java
txiang61/checker-framework
Pluggable type-checking for Java
txiang61/units-inference
txiang61/dafny
Dafny is a verification-aware programming language
txiang61/boogie
Boogie
txiang61/aws-kms-compliance-checker
A Java compiler plugin that proves, at compile-time, that Java code only requests 256-bit data keys from AWS KMS.
txiang61/cast-inference
txiang61/corpus-utils
A repository holds util scripts for automating common processes running on a corpus.
txiang61/bmc
txiang61/plume-lib
A library of useful abstractions for programming