@unpublished{talk2023tpp, author = {Reynald Affeldt and Zachary Stone}, title = {The Fundamental Theorem of Calculus for the {Lebesgue} Integral in {MathComp-Analysis}}, abstract = {19th Theorem Proving and Provers Meeting (TPP2023), Tokyo Institute of Technology, 2023/10/30}, month = {Oct}, year = {2023} }
@unpublished{poster2023ppl, author = {Ayumu Saito and Reynald Affeldt}, title = {A tentative formalization of a syntax for a probabilistic programming language}, abstract = {Poster. 25th Workshop on Programming and Programming Languages (PPL2023), Nagoya University, 2023/03/06-07}, month = {Mar}, year = {2023} }
@unpublished{poster2022ppl, author = {Reynald Affeldt and Cyril Cohen}, title = {Formalization of integration theory in {Coq}}, abstract = {Poster. 24th Workshop on Programming and Programming Languages (PPL2022), 2022/03/08}, month = {Mar}, year = {2022} }
@unpublished{talk2021tpp, author = {Reynald Affeldt and Cyril Cohen}, title = {Progress Report on the Formalization of the {Lebesgue} Integral in {MathComp-Analysis}}, abstract = {17th Theorem Proving and Provers Meeting (TPP2021), Kitami Institute of Technology, 2021/11/22}, month = {Nov}, year = {2021} }
@unpublished{saito2021tpp, author = {Ayumu Saito and Reynald Affeldt}, title = {Extending {Monae} to formalize quicksort using monads in {Coq}}, abstract = {17th Theorem Proving and Provers Meeting (TPP2021), Kitami Institute of Technology, 2021/11/22}, month = {Nov}, year = {2021} }
@unpublished{poster2021ppl, author = {Reynald Affeldt and Cyril Cohen}, title = {Formalization of Measure Theory in {Coq}}, abstract = {Poster. 23rd Workshop on Programming and Programming Languages (PPL2021), 2021/03/08}, month = {Mar}, year = {2021} }
@unpublished{poster2018ppl, author = {Akira Tanaka and Reynald Affeldt and Jacques Garrigue}, title = {Future Work Towards a {Coq} Library of Succinct Data Structures}, abstract = {Poster. 20th Workshop on Programming and Programming Languages (PPL2018), Tottori-ken, Yonago-shi, 2018/03/06}, month = {Mar}, year = {2018} }
@unpublished{talk2017tpp, author = {Reynald Affeldt}, title = {Toward a Library for Information Theory and Error-correcting Codes}, abstract = {13th Theorem Proving and Provers Meeting (TPP2017), Kyoto University, 2017/12/07, (in Japanese)}, year = {2017} }
@unpublished{talk2017pro, author = {Akira Tanaka and Reynald Affeldt and Jacques Garrigue}, title = {Safe Low-level Code Generation in {Coq} using Monomorphization and Monadification}, abstract = {The 114th Meeting of the IPSJ SIG on Programming (PRO114), Shizuoka-shi, 2017/06/09}, year = {2017} }
@unpublished{poster2017ppl, author = {Akira Tanaka and Reynald Affeldt and Jacques Garrigue}, title = {Certified Mon\{omorphiz$|$adific\}ation of {Gallina} for Low-level Code Extraction}, abstract = {Poster. 19th Workshop on Programming and Programming Languages (PPL2017), Yamanashi-ken, Fuefuki-shi, 2017/03/09}, month = {Mar}, year = {2017} }
@unpublished{talk2015tpp, author = {Reynald Affeldt}, title = {Report on the {Coq} Coding Sprint}, abstract = {11th Theorem Proving and Provers Meeting (TPP2015), Kanagawa University, Shonan Hiratsuka campus, 2015/09/17, (in Japanese)}, month = {Sep}, year = {2015} }
@unpublished{poster2014ppl, author = {Reynald Affeldt and Kazuhiko Sakaguchi}, title = {Demo of a {Coq} library for verification of {C} programs}, abstract = {Poster. 16th Workshop on Programming and Programming Languages (PPL2014), Kumamoto-ken, Aso-shi, 2014/03/05, (in Japanese)}, month = {Mar}, year = {2014} }
@unpublished{talk2013tpp, author = {Reynald Affeldt and Kazuhiko Sakaguchi}, title = {Presentation of a {Coq} library for formal verification of {C} programs}, abstract = {9th Theorem Proving and Provers Meeting (TPP2013), Shinshu University, 2013/11/21, (in Japanese)}, month = {Nov}, year = {2013} }
@unpublished{poster2013jssst, author = {Reynald Affeldt and Kazuhiko Sakaguchi}, title = {First Building Blocks for Implementations of Security Protocols Verified in {Coq}}, abstract = {Poster. 30th Meeting of the Japan Society for Software Science and Technology, The University of Tokyo, Hongo campus, 2013/09/10}, month = {Sep}, year = {2013} }
@unpublished{talk2012tpp, author = {Reynald Affeldt and Manabu Hagiwara and Jonas S\'enizergues}, title = {Formal Verification of {Shannon}'s Theorems}, abstract = {8th Theorem Proving and Provers Meeting (TPP2012), Chiba University, 2012/11/21}, month = {Nov}, year = {2012} }
@unpublished{talk2012ouyou, author = {Reynald Affeldt and Manabu Hagiwara}, title = {Formalization of {Shannon}'s Theorems}, abstract = {Annual Spring Meeting of the Japan Society for Industrial and Applied Mathematics 2012, Kyushu University, 2012/03/08, (in Japanese)}, month = {Mar}, year = {2012} }
@unpublished{talk2011tpp, author = {Reynald Affeldt}, title = {On Construction of a Library of Formally Verified Low-level Arithmetic Functions}, abstract = {7th Theorem Proving and Provers Meeting (TPP2011), National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba Central, 2011/11/17}, month = {Nov}, year = {2011} }
@unpublished{poster2011ppl, author = {Reynald Affeldt and Kiyoshi Yamada}, title = {Mechanical verification of {C} programs using Separation logic}, abstract = {Poster. 13th Workshop on Programming and Programming Languages (PPL2011), Hokkaido, Sapporo, 2011/03/10}, month = {Mar}, year = {2011} }
@unpublished{talk2010tpp, author = {Reynald Affeldt}, title = {Instrumenting Error-correcting codes with {SSReflect}}, abstract = {6th Theorem Proving and Provers Meeting (TPP2010), Nagoya University, 2010/11/26}, month = {Nov}, year = {2010} }
@unpublished{talk2010ouyou, author = {Reynald Affeldt}, title = {A note about the formalization of error-correcting codes using {SSReflect}}, abstract = {Annual Spring Meeting of the Japan Society for Industrial and Applied Mathematics 2010 (JSIAM Spring 2010), Tsukuba University, 2010/03/08, (in Japanese)}, month = {Mar}, year = {2010} }
@unpublished{talk2009tpp, author = {Reynald Affeldt and David Nowak and Kiyoshi Yamada}, title = {Certifying Assembly with Formal Cryptographic Proofs: the Case of {BBS}}, abstract = {5th Theorem Proving and Provers Meeting (TPP2009), Kwansei Gakuin University, 2009/11/21}, month = {Nov}, year = {2009} }
@unpublished{talk2009ppl, author = {Reynald Affeldt}, title = {Verification in Coq of an implementation of modular exponentiation for an embedded system}, abstract = {Poster. 11th Workshop on Programming and Programming Languages (PPL2009), Gifu-ken, Takayama-shi, 2009/03/09}, month = {Mar}, year = {2009} }
@unpublished{talk2008tpp, author = {Reynald Affeldt}, title = {Verification of Security Protocols with a Bounded Number of Sessions based on Resolution for Rigid Variables}, abstract = {4th Theorem Proving and Provers Meeting (TPP2008), Tohoko University, 2008/11/26}, month = {Nov}, year = {2008} }
@unpublished{poster2006ppl, author = {Nicolas Marti and Reynald Affeldt and Akinori Yonezawa}, title = {Tools and Experiments for Formal Verification of Operating Systems}, abstract = {Poster. 8th Workshop on Programming and Programming Languages (PPL2006), Shiga-ken, Ootsu-shi, 2006/03/05}, month = {Mar}, year = {2006} }
@unpublished{talk2004swopp, author = {Reynald Affeldt and Naoki Kobayashi and Akinori Yonezawa}, title = {Verification of Concurrent Programs Using the {Coq} Theorem Prover: a Case Study}, abstract = {Summer United Workshops on Parallel, Distributed and Cooperative Processing (SWoPP 2004), Aomori, 2004/07/30}, month = {Jul}, year = {2004} }
This file was generated by bibtex2html 1.99.