Pinned Repositories
apron
Apron Numerical Abstract Domain Library
bennostein.github.io
Buckets-JS
A complete, fully tested and documented data structure library written in pure JavaScript.
bugswarm
checker-framework
Pluggable type-checking for Java
cvx
Generate web-based CV from XML
defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
dotfiles
configs for emacs, zsh, git, etc.
hw02
Assignment 2: Language Design and Implementation
WALA-callgraph
generate application-only Java callgraphs using WALA
bennostein's Repositories
bennostein/WALA-callgraph
generate application-only Java callgraphs using WALA
bennostein/dotfiles
configs for emacs, zsh, git, etc.
bennostein/apron
Apron Numerical Abstract Domain Library
bennostein/bennostein.github.io
bennostein/Buckets-JS
A complete, fully tested and documented data structure library written in pure JavaScript.
bennostein/bugswarm
bennostein/checker-framework
Pluggable type-checking for Java
bennostein/cvx
Generate web-based CV from XML
bennostein/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
bennostein/hw02
Assignment 2: Language Design and Implementation
bennostein/hw03
Assignment 3: Compilation and Interpretation
bennostein/nlp_iob
IOB tagging based on HMM
bennostein/ocaml-tree-sitter
Generate OCaml parsers based on tree-sitter grammars.
bennostein/ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
bennostein/ocaml-tree-sitter-languages
Generate OCaml parsers from tree-sitter parsers
bennostein/RxThreadEffectChecker
Static checker for Rx Threading Effects, based on the Checker Framework
bennostein/semantic
Parsing, analyzing, and comparing source code across many languages
bennostein/skdb
SKDB is an embedded SQL database that stays in sync.
bennostein/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses