SAKAI Masahiro - Talks Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= Talks
== 2020〜
* BNN verification dataset for Max-SAT Evaluation 2020
* ((<NII Shonan Meeting (No.180) on “The Art of SAT”|URL:https://shonan.nii.ac.jp/seminars/180/>)), 2023-10-02- 2023-10-05
* ((<Program|URL:https://nikolajbjorner.github.io/ShonanArtOfSAT/program.html>))
* ((<Slides|URL:https://nikolajbjorner.github.io/ShonanArtOfSAT/MasahiroSakai-slides.pdf>))
* キャリアトークセッション「様々なキャリアでご活躍の方々によるパネルセッション」
* ((<"ソフトウェアエンジニアリングシンポジウム2022 / IPSJ/SIGSE Software Engineering Symposium (SES2022)"|URL:https://ses.sigse.jp/2022/>))、2022-09-07
* AI によるプラント自動運転の実証と信頼性評価について
* 平井 太一朗, 鹿沼 光誠, 河村 圭吾, 酒井 政裕, 千々岩 大志
* ((<"第54回安全工学研究発表会"|URL:https://www.jsse.or.jp/multidatabases/multidatabase_contents/detail/1165/df9ff0e79b160585f2af040f87a089dc>)) オーガナイズドセッション「AI によるプラント保安力向上」 、2021-12-03
== 2015〜2019
* Graph Neural Networkを用いたグラフの木幅予測
* 中野 裕太, 酒井 政裕, 劉 鴻志
* ((<"基盤(S) 離散構造処理系プロジェクト 2019年度 秋のワークショップ"|URL:http://www-erato.ist.hokudai.ac.jp/html/php/sub_html.php?id=56>)), November, 2019.
* ICSE 2019 の Static Analysis セッションの紹介
* ((<PDF (preview)|URL:https://www.dropbox.com/sh/sl09ghap2w76bgx/AAA2pd497lA5RvrvSYU882u0a?dl=0&preview=05.pdf>))
* ((<ICSE2019勉強会|URL:https://sites.google.com/site/sereadings/icse2019-reading>)) にて (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|URL:https://www.dropbox.com/s/id90zbvvxg8pwzv/10.pdf?dl=0>))
* ((<ICSE2018勉強会|URL:https://sites.google.com/site/sereadings/icse2018-reading>)) にて (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を使う嬉しさとツラミを分かちあう会|URL:https://mlxse.connpass.com/event/77315/>)) (2018-02-27)
* ((<"Slides (slideshare)"|URL:https://www.slideshare.net/sakai/mlxse20180227-python>))
* Writing a SAT solver as a hobby project
* PFN Thursday Seminar (2017-10-12)
* ((<"Video (youtube)"|URL: https://www.youtube.com/watch?v=BR_nxNRXn5g>))
* ((<"Slides (slideshare)"|URL:https://www.slideshare.net/sakai/writing-a-sat-solver-as-a-hobby-project>))
* ICSE 2017 の Concurrency セッションの紹介
* ((<ICSE2017勉強会|URL:https://sites.google.com/site/sereadings/icse2017-reading>)) にて (2017-08-24)
* RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay (Lu Zhang and Chao Wang) の紹介を担当。
* ((<セッション全体のPDF|URL:https://www.dropbox.com/s/g0cm7s9ivjz1f36/09.pdf?dl=0>))
* ((<"担当部分のスライド (Slideshare)"|URL:https://www.slideshare.net/sakai/rclassify-classifying-race-conditions-in-web-applications-via-deterministic-replay>))
* 定理証明＋機械学習＝？
* 八幡 啓祐, 酒井 政裕, 片岡 俊基
* ((<Slideshare|URL:https://www.slideshare.net/KeisukeYahata/proof-summit-2017-for-slideshare>))
* ((<Proof Summit 2017|URL:proof-summit.connpass.com/event/58803/>)) にて。 (2017-07-23)
* ゼロピッチ: MOOCの紹介
* ((<Slideshare|URL:http://www.slideshare.net/sakai/zeropitchmooc>)), ((<PDF|URL:http://msakai.jp/d/data/201610/20161005-zero-pitch-MOOC.pdf>))
* 2016-10-05
* SAT/SMT solving in Haskell
* ((<Slideshare|URL:http://www.slideshare.net/sakai/satsmt-solving-in-haskell>)), ((<PDF|URL:http://msakai.jp/d/data/201609/HaskellDay2016_sakai.pdf>))
* at ((<Haskell Day 2016|URL:http://connpass.com/event/37892/>)) (2016-09-17)
* ICSE 2016 の Compilers and Emerging Trends セッションの紹介
* ((<PDF|URL:https://www.dropbox.com/s/qdhqm8e8vfahb3v/05.pdf?dl=0>))
* ((<ICSE2016勉強会|URL:https://sites.google.com/site/sereadings/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|URL:http://www.slideshare.net/sakai/satsmt>)), ((<PDF|URL:/d/data/201509/ProofSummit2015sakai_revised.pdf>))
* ((<Proof Summit 2015|URL:http://proof-summit.connpass.com/event/16189/>)) にて。 (2015-09-12)
* ICSE 2015 の Symbolic Execution セッションの紹介
* ((<PDF|URL:https://www.dropbox.com/s/j580j57onypfn2s/19.pdf?dl=0>))
* ((<ICSE2015勉強会|URL:https://sites.google.com/site/sereadings/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|URL:http://qwik.jp/se-reading/10.files/M.pdf>))
* ((<ICSE'14勉強会|URL:http://qwik.jp/se-reading/10.html>)) にて (2014-07-22)
* Introduction to Max-SAT and Max-SAT Evaluation
* ((<Slideshare|URL:http://www.slideshare.net/sakai/2014-0227-sakaimaxsatrevisedweb>)), ((<PDF|URL:/d/data/201402/2014-02-27_Sakai_MaxSAT_revised_web.pdf>)), ((<Keynote|URL:/d/data/201402/2014-02-27_Sakai_MaxSAT_revised.key>))
* 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)|URL:http://people.cs.kuleuven.be/~dave.clarke/FMSPLE2013.html>)), August 27, 2013. (presentation only)
* “Aluminum: Principled Scenario Exploration through Minimality” の紹介
* ((<SlideShare|URL:http://www.slideshare.net/sakai/aluminum-24053213>))
* ((<ICSE'13勉強会|URL:http://qwik.jp/se-reading/9.html>)) にて (2013-07-09)
* (Haskellによる)代数的実数とCADの実装紹介
* ((<PDF|URL:/d/data/201305/RCF.pdf>)), ((<Keynote|URL:/d/data/201305/RCF.key>)), ((<Slideshare|URL:http://www.slideshare.net/sakai/rcf-20540067>))
* ((<Haskellで計算機代数勉強会|URL:http://partake.in/events/451a51b0-b18e-4e01-bda4-423bf57f4051>)) にて。 (2013-05-04)
* ((<"住井英二郎（監訳者）＆翻訳チーム 「いまこそ学ぶ！ 型システム ～ TAPL日本語出版までの道のり ～」"|URL:https://www.youtube.com/watch?v=JELIVTVuFHo>))
* 『型システム入門 プログラミング言語と型の理論』（オーム社）刊行記念トークセッション (2013-03-19)
* ((<Omega test and beyond|URL:http://www.slideshare.net/sakai/omega-test-and-beyond>))
* ((<Proof Summit 2012|URL:http://partake.in/events/3df37687-ccf7-440c-865c-3ddb1409f5df>)) にて。 (2012-09-02)
* ((<自動定理証明の紹介|URL:/d/20110925.html#p01>))
* ((<ProofSummit2011|URL:http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8>)) にて。(2011-09-25)
* ((<“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介|URL:/d/20100211.html#p01>))
* PLDIr#6 にて (2010-02-11)
* ((<“Design and Implementation of Generics for the .NET Common Language Runtime”他の紹介|URL:/d/20100106.html#p01>))
* PLDIr#5 にて (2010-01-06)
== 〜 2009
* ((<Haskell 2010 の Relaxed Dependency Analysis|URL:/d/20091222.html#p01>))
* ((<Haskell 2009年末の集い(忘年会前哨戦)|URL:http://www.sampou.org/cgi-bin/haskell.cgi?2009%c7%af%cb%ba%c7%af%b2%f1>)) にて。(2009-12-22)
* ((<“Symbolic bounds analysis of pointers, array indices, and accessed memory regions”他の紹介|URL:/d/20091202.html#p01>))
* PLDIr#4 にて (2009-12-02)
* ((<自然言語をラムダ式で解釈する体系PTQのHaskell実装|URL:/d/20091120.html#p01>))
* Haskellナイト にて。 (2009-11-20)
* ((<Whole Program Paths 等の紹介|URL:/d/20091103.html#p01>))
* PLDIr#3 にて (2009-11-03)
* ((<"Run-time Code Generation and Modal-ML の紹介 / Improving Performance by Branch Reordering の紹介"|URL:/d/20090930.html#p01>))
* PLDIr #2 にて (2009-09-30)
* ((<Introduction to Categorical Programming|URL:/d/20090920.html#p01>))
* ((<HAMA.jp 2009|URL:http://atnd.org/events/1048>)) にて。(2009-09-20)
* ((<未来言語Alloy|URL:/d/20090830.html#p01>))
* ((<FLTV(Future Language TV)|URL:http://atnd.org/events/1102>)) にて。(2009-08-30)
* Fusion Transformation for Non-strict functions
* ((<The 36th ToPS|URL:http://www.ipl.t.u-tokyo.ac.jp/~tops/done_seminar07.html>)) にて。(2007-10-23)
* LLRing2006: Language Update (Haskell)
* ((<PPT|URL:/d/data/200608/LLRing-Haskell.ppt>)), ((<PDF|URL:/d/data/200608/LLRing-Haskell.pdf>)), ((<Slideshare|URL:http://www.slideshare.net/sakai/haskell-llring2006-language-update>)), ((<動画|URL:http://www.sbbit.jp/article/2658/>)), ((<日記|URL:/d/20060826.html#p01>))
* LLRing2006 にて。(2006-08-26)
* ((<"LLDN2005: 君ならどう書く? (Haskell)"|URL:/talks/LLDN/>))
* LLDN2005 にて。(2005-08-27)
* ((<"LLW2004: その場でどう書く? (Haskell)"|URL:/talks/LLW2004/>))
* LLW2004 にて。(2004-08-08)
see also ((<my slideshare page|URL:http://www.slideshare.net/sakai>)).
== 2020〜
* BNN verification dataset for Max-SAT Evaluation 2020
* ((<NII Shonan Meeting (No.180) on “The Art of SAT”|URL:https://shonan.nii.ac.jp/seminars/180/>)), 2023-10-02- 2023-10-05
* ((<Program|URL:https://nikolajbjorner.github.io/ShonanArtOfSAT/program.html>))
* ((<Slides|URL:https://nikolajbjorner.github.io/ShonanArtOfSAT/MasahiroSakai-slides.pdf>))
* キャリアトークセッション「様々なキャリアでご活躍の方々によるパネルセッション」
* ((<"ソフトウェアエンジニアリングシンポジウム2022 / IPSJ/SIGSE Software Engineering Symposium (SES2022)"|URL:https://ses.sigse.jp/2022/>))、2022-09-07
* AI によるプラント自動運転の実証と信頼性評価について
* 平井 太一朗, 鹿沼 光誠, 河村 圭吾, 酒井 政裕, 千々岩 大志
* ((<"第54回安全工学研究発表会"|URL:https://www.jsse.or.jp/multidatabases/multidatabase_contents/detail/1165/df9ff0e79b160585f2af040f87a089dc>)) オーガナイズドセッション「AI によるプラント保安力向上」 、2021-12-03
== 2015〜2019
* Graph Neural Networkを用いたグラフの木幅予測
* 中野 裕太, 酒井 政裕, 劉 鴻志
* ((<"基盤(S) 離散構造処理系プロジェクト 2019年度 秋のワークショップ"|URL:http://www-erato.ist.hokudai.ac.jp/html/php/sub_html.php?id=56>)), November, 2019.
* ICSE 2019 の Static Analysis セッションの紹介
* ((<PDF (preview)|URL:https://www.dropbox.com/sh/sl09ghap2w76bgx/AAA2pd497lA5RvrvSYU882u0a?dl=0&preview=05.pdf>))
* ((<ICSE2019勉強会|URL:https://sites.google.com/site/sereadings/icse2019-reading>)) にて (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|URL:https://www.dropbox.com/s/id90zbvvxg8pwzv/10.pdf?dl=0>))
* ((<ICSE2018勉強会|URL:https://sites.google.com/site/sereadings/icse2018-reading>)) にて (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を使う嬉しさとツラミを分かちあう会|URL:https://mlxse.connpass.com/event/77315/>)) (2018-02-27)
* ((<"Slides (slideshare)"|URL:https://www.slideshare.net/sakai/mlxse20180227-python>))
* Writing a SAT solver as a hobby project
* PFN Thursday Seminar (2017-10-12)
* ((<"Video (youtube)"|URL: https://www.youtube.com/watch?v=BR_nxNRXn5g>))
* ((<"Slides (slideshare)"|URL:https://www.slideshare.net/sakai/writing-a-sat-solver-as-a-hobby-project>))
* ICSE 2017 の Concurrency セッションの紹介
* ((<ICSE2017勉強会|URL:https://sites.google.com/site/sereadings/icse2017-reading>)) にて (2017-08-24)
* RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay (Lu Zhang and Chao Wang) の紹介を担当。
* ((<セッション全体のPDF|URL:https://www.dropbox.com/s/g0cm7s9ivjz1f36/09.pdf?dl=0>))
* ((<"担当部分のスライド (Slideshare)"|URL:https://www.slideshare.net/sakai/rclassify-classifying-race-conditions-in-web-applications-via-deterministic-replay>))
* 定理証明＋機械学習＝？
* 八幡 啓祐, 酒井 政裕, 片岡 俊基
* ((<Slideshare|URL:https://www.slideshare.net/KeisukeYahata/proof-summit-2017-for-slideshare>))
* ((<Proof Summit 2017|URL:proof-summit.connpass.com/event/58803/>)) にて。 (2017-07-23)
* ゼロピッチ: MOOCの紹介
* ((<Slideshare|URL:http://www.slideshare.net/sakai/zeropitchmooc>)), ((<PDF|URL:http://msakai.jp/d/data/201610/20161005-zero-pitch-MOOC.pdf>))
* 2016-10-05
* SAT/SMT solving in Haskell
* ((<Slideshare|URL:http://www.slideshare.net/sakai/satsmt-solving-in-haskell>)), ((<PDF|URL:http://msakai.jp/d/data/201609/HaskellDay2016_sakai.pdf>))
* at ((<Haskell Day 2016|URL:http://connpass.com/event/37892/>)) (2016-09-17)
* ICSE 2016 の Compilers and Emerging Trends セッションの紹介
* ((<PDF|URL:https://www.dropbox.com/s/qdhqm8e8vfahb3v/05.pdf?dl=0>))
* ((<ICSE2016勉強会|URL:https://sites.google.com/site/sereadings/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|URL:http://www.slideshare.net/sakai/satsmt>)), ((<PDF|URL:/d/data/201509/ProofSummit2015sakai_revised.pdf>))
* ((<Proof Summit 2015|URL:http://proof-summit.connpass.com/event/16189/>)) にて。 (2015-09-12)
* ICSE 2015 の Symbolic Execution セッションの紹介
* ((<PDF|URL:https://www.dropbox.com/s/j580j57onypfn2s/19.pdf?dl=0>))
* ((<ICSE2015勉強会|URL:https://sites.google.com/site/sereadings/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|URL:http://qwik.jp/se-reading/10.files/M.pdf>))
* ((<ICSE'14勉強会|URL:http://qwik.jp/se-reading/10.html>)) にて (2014-07-22)
* Introduction to Max-SAT and Max-SAT Evaluation
* ((<Slideshare|URL:http://www.slideshare.net/sakai/2014-0227-sakaimaxsatrevisedweb>)), ((<PDF|URL:/d/data/201402/2014-02-27_Sakai_MaxSAT_revised_web.pdf>)), ((<Keynote|URL:/d/data/201402/2014-02-27_Sakai_MaxSAT_revised.key>))
* 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)|URL:http://people.cs.kuleuven.be/~dave.clarke/FMSPLE2013.html>)), August 27, 2013. (presentation only)
* “Aluminum: Principled Scenario Exploration through Minimality” の紹介
* ((<SlideShare|URL:http://www.slideshare.net/sakai/aluminum-24053213>))
* ((<ICSE'13勉強会|URL:http://qwik.jp/se-reading/9.html>)) にて (2013-07-09)
* (Haskellによる)代数的実数とCADの実装紹介
* ((<PDF|URL:/d/data/201305/RCF.pdf>)), ((<Keynote|URL:/d/data/201305/RCF.key>)), ((<Slideshare|URL:http://www.slideshare.net/sakai/rcf-20540067>))
* ((<Haskellで計算機代数勉強会|URL:http://partake.in/events/451a51b0-b18e-4e01-bda4-423bf57f4051>)) にて。 (2013-05-04)
* ((<"住井英二郎（監訳者）＆翻訳チーム 「いまこそ学ぶ！ 型システム ～ TAPL日本語出版までの道のり ～」"|URL:https://www.youtube.com/watch?v=JELIVTVuFHo>))
* 『型システム入門 プログラミング言語と型の理論』（オーム社）刊行記念トークセッション (2013-03-19)
* ((<Omega test and beyond|URL:http://www.slideshare.net/sakai/omega-test-and-beyond>))
* ((<Proof Summit 2012|URL:http://partake.in/events/3df37687-ccf7-440c-865c-3ddb1409f5df>)) にて。 (2012-09-02)
* ((<自動定理証明の紹介|URL:/d/20110925.html#p01>))
* ((<ProofSummit2011|URL:http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8>)) にて。(2011-09-25)
* ((<“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介|URL:/d/20100211.html#p01>))
* PLDIr#6 にて (2010-02-11)
* ((<“Design and Implementation of Generics for the .NET Common Language Runtime”他の紹介|URL:/d/20100106.html#p01>))
* PLDIr#5 にて (2010-01-06)
== 〜 2009
* ((<Haskell 2010 の Relaxed Dependency Analysis|URL:/d/20091222.html#p01>))
* ((<Haskell 2009年末の集い(忘年会前哨戦)|URL:http://www.sampou.org/cgi-bin/haskell.cgi?2009%c7%af%cb%ba%c7%af%b2%f1>)) にて。(2009-12-22)
* ((<“Symbolic bounds analysis of pointers, array indices, and accessed memory regions”他の紹介|URL:/d/20091202.html#p01>))
* PLDIr#4 にて (2009-12-02)
* ((<自然言語をラムダ式で解釈する体系PTQのHaskell実装|URL:/d/20091120.html#p01>))
* Haskellナイト にて。 (2009-11-20)
* ((<Whole Program Paths 等の紹介|URL:/d/20091103.html#p01>))
* PLDIr#3 にて (2009-11-03)
* ((<"Run-time Code Generation and Modal-ML の紹介 / Improving Performance by Branch Reordering の紹介"|URL:/d/20090930.html#p01>))
* PLDIr #2 にて (2009-09-30)
* ((<Introduction to Categorical Programming|URL:/d/20090920.html#p01>))
* ((<HAMA.jp 2009|URL:http://atnd.org/events/1048>)) にて。(2009-09-20)
* ((<未来言語Alloy|URL:/d/20090830.html#p01>))
* ((<FLTV(Future Language TV)|URL:http://atnd.org/events/1102>)) にて。(2009-08-30)
* Fusion Transformation for Non-strict functions
* ((<The 36th ToPS|URL:http://www.ipl.t.u-tokyo.ac.jp/~tops/done_seminar07.html>)) にて。(2007-10-23)
* LLRing2006: Language Update (Haskell)
* ((<PPT|URL:/d/data/200608/LLRing-Haskell.ppt>)), ((<PDF|URL:/d/data/200608/LLRing-Haskell.pdf>)), ((<Slideshare|URL:http://www.slideshare.net/sakai/haskell-llring2006-language-update>)), ((<動画|URL:http://www.sbbit.jp/article/2658/>)), ((<日記|URL:/d/20060826.html#p01>))
* LLRing2006 にて。(2006-08-26)
* ((<"LLDN2005: 君ならどう書く? (Haskell)"|URL:/talks/LLDN/>))
* LLDN2005 にて。(2005-08-27)
* ((<"LLW2004: その場でどう書く? (Haskell)"|URL:/talks/LLW2004/>))
* LLW2004 にて。(2004-08-08)
see also ((<my slideshare page|URL:http://www.slideshare.net/sakai>)).