domtalks_en.bib

@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.