Masahiro Sakai

haskell satisfiability sat machine learning smt satisfiability modulo theories deep learning solver cdcl dpll quantifier elimination optimization compiler category theory categorical programming fusion llw testing software testing coverage adversarial example formal verification smt solver sat solver neural network type system python web applicaiton javascript race condition concurrency icse2017 icse coursera mooc theory combination pbo pseudo boolean pbs max-sat model finding software engineering alloy cad decidacility computer algebra real closed field algorithm presburger coq omega arithmetic theorem proving proofsummit jit type-state linear types vault matlab model checking clr generics net parametric polymorphism haskell2010 verification pointer-analysis montague grammar ptq ml code generation modal logic gobject gtk ruby gc gnome llring