Publication
Degree Bounded Matroids and Submodular Flows
Project
F7: Refinement Types for F#
F7 is an enhanced typechecker for the F# programming language, a dialect of ML. F7 pioneers the static checking of security properties expressed with refinement types. Although the original motivation was to check security properties,…
Publication
Agnostically Learning Decision Trees
Publication
Agnostic Boosting and Parity Learning
Publication