Talks

Talks

2015〜

  • Writing a SAT solver as a hobby project
  • ICSE 2017 の Concurrency セッションの紹介
  • 定理証明+機械学習=?
  • ゼロピッチ: MOOCの紹介
  • SAT/SMT solving in Haskell
  • ICSE 2016 の Compilers and Emerging Trends セッションの紹介
    • PDF
    • ICSE2016勉強会 にて (2016-07-22)
    • Termination-Checking for LLVM Peephole Optimizations (Menendez and Nagarakatte) と iDice: Problem Identification for Emerging Issues (Lin et al.) の紹介を担当。
  • SAT/SMTソルバのしくみ
  • ICSE 2015 の Symbolic Execution セッションの紹介
    • PDF
    • ICSE2015勉強会 にて (2015-07-08)
    • Regular Property Guided Dynamic Symbolic Execution (Yufeng Zhang et.al.) と Combining Symbolic Execution and Model Checking for Data Flow Testing (Ting Su et.al.) の紹介を担当。

2010 〜 2014

〜 2009

see also my slideshare page.

Last modified:2017/10/19 17:10:24
Keyword(s):
References:[酒井 政裕 (SAKAI Masahiro)] [SideMenu]