Talks

2020〜

• BNN verification dataset for Max-SAT Evaluation 2020
  • NII Shonan Meeting (No.180) on “The Art of SAT”, 2023-10-02- 2023-10-05
  • Program
  • Slides
• キャリアトークセッション「様々なキャリアでご活躍の方々によるパネルセッション」
  • ソフトウェアエンジニアリングシンポジウム2022 / IPSJ/SIGSE Software Engineering Symposium (SES2022)、2022-09-07
• AI によるプラント自動運転の実証と信頼性評価について
  • 平井 太一朗, 鹿沼 光誠, 河村 圭吾, 酒井 政裕, 千々岩 大志
  • 第54回安全工学研究発表会 オーガナイズドセッション「AI によるプラント保安力向上」 、2021-12-03

2015〜2019

• Graph Neural Networkを用いたグラフの木幅予測
  • 中野 裕太, 酒井 政裕, 劉 鴻志
  • 基盤(S) 離散構造処理系プロジェクト 2019年度 秋のワークショップ, November, 2019.
• ICSE 2019 の Static Analysis セッションの紹介
  • PDF (preview)
  • ICSE2019勉強会 にて (2019-07-13)
  • SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code (Gang Fan et al.) の紹介を担当。
• ICSE 2018 のProgram Reduction Techniques セッションの紹介
  • PDF
  • ICSE2018勉強会 にて (2018-07-13)
  • Spatio-Temporal Context Reduction:A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities (H. Yan et al.) と Chopped Symbolic Execution (A. Mattavelli et al.) の紹介を担当。
• 関数型プログラマから見たPythonと機械学習
  • 機械学習・ディープラーニングでPythonを使う嬉しさとツラミを分かちあう会 (2018-02-27)
  • Slides (slideshare)
• Writing a SAT solver as a hobby project
  • PFN Thursday Seminar (2017-10-12)
  • Video (youtube)
  • Slides (slideshare)
• ICSE 2017 の Concurrency セッションの紹介
  • ICSE2017勉強会 にて (2017-08-24)
  • RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay (Lu Zhang and Chao Wang) の紹介を担当。
  • セッション全体のPDF
  • 担当部分のスライド (Slideshare)
• 定理証明＋機械学習＝？
  • 八幡 啓祐, 酒井 政裕, 片岡 俊基
  • Slideshare
  • Proof Summit 2017 にて。 (2017-07-23)
• ゼロピッチ: MOOCの紹介
  • Slideshare, PDF
  • 2016-10-05
• SAT/SMT solving in Haskell
  • Slideshare, PDF
  • at Haskell Day 2016 (2016-09-17)
• 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ソルバのしくみ
  • Slideshare, PDF
  • Proof Summit 2015 にて。 (2015-09-12)
• 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

• “Micro Execution” (Patrice Godefroid; ICSE 2014) の紹介
  • PDF
  • ICSE'14勉強会 にて (2014-07-22)
• Introduction to Max-SAT and Max-SAT Evaluation
  • Slideshare, PDF, Keynote
  • Talk at ZIB (2014-02-27)
• Masahiro Sakai, Takeo Imai, Mikito Iwamasa, Takeshi Nagaoka and Mari Inoki, A Decision Table Analyzer for Detecting Variability in Source Code, Fourth Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013), August 27, 2013. (presentation only)
• “Aluminum: Principled Scenario Exploration through Minimality” の紹介
  • SlideShare
  • ICSE'13勉強会 にて (2013-07-09)
• (Haskellによる)代数的実数とCADの実装紹介
  • PDF, Keynote, Slideshare
  • Haskellで計算機代数勉強会 にて。 (2013-05-04)
• 住井英二郎（監訳者）＆翻訳チーム 「いまこそ学ぶ！ 型システム ～ TAPL日本語出版までの道のり　～」
  • 『型システム入門 プログラミング言語と型の理論』（オーム社）刊行記念トークセッション (2013-03-19)
• Omega test and beyond
  • Proof Summit 2012 にて。 (2012-09-02)
• 自動定理証明の紹介
  • ProofSummit2011 にて。(2011-09-25)
• “Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介
  • PLDIr#6 にて (2010-02-11)
• “Design and Implementation of Generics for the .NET Common Language Runtime”他の紹介
  • PLDIr#5 にて (2010-01-06)

〜 2009

• Haskell 2010 の Relaxed Dependency Analysis
  • Haskell 2009年末の集い(忘年会前哨戦) にて。(2009-12-22)
• “Symbolic bounds analysis of pointers, array indices, and accessed memory regions”他の紹介
  • PLDIr#4 にて (2009-12-02)
• 自然言語をラムダ式で解釈する体系PTQのHaskell実装
  • Haskellナイト にて。 (2009-11-20)
• Whole Program Paths 等の紹介
  • PLDIr#3 にて (2009-11-03)
• Run-time Code Generation and Modal-ML の紹介 / Improving Performance by Branch Reordering の紹介
  • PLDIr #2 にて (2009-09-30)
• Introduction to Categorical Programming
  • HAMA.jp 2009 にて。(2009-09-20)
• 未来言語Alloy
  • FLTV(Future Language TV) にて。(2009-08-30)
• Fusion Transformation for Non-strict functions
  • The 36th ToPS にて。(2007-10-23)
• LLRing2006: Language Update (Haskell)
  • PPT, PDF, Slideshare, 動画, 日記
  • LLRing2006 にて。(2006-08-26)
• LLDN2005: 君ならどう書く? (Haskell)
  • LLDN2005 にて。(2005-08-27)
• LLW2004: その場でどう書く? (Haskell)
  • LLW2004 にて。(2004-08-08)

see also my slideshare page.