Home Blog Contact Projects kartoschatatoscha

• Bachelor's Thesis: "Maximum Matching with Disjunctive Constraints"[pdf]
• PLT Redex Model of subset of LLVM's Undefined Behaviour[link]