domtalks_jp.bib

@unpublished{talk2021tpp,
  author = {Reynald Affeldt and Cyril Cohen},
  title = {Progress Report on the Formalization of the {Lebesgue} Integral in {MathComp-Analysis}},
  abstract = {第17 回定理証明及び定理証明系ミーティング (TPP2021), \kitami{}, 2021/11/22},
  month = {Nov},
  year = {2021}
}
@unpublished{saito2021tpp,
  author = {斉藤 歩夢 and Reynald Affeldt},
  title = {定理証明支援系{Coq}でのモナドを用いたクイックソートの形式化と{Monae}の拡張},
  abstract = {第17 回定理証明及び定理証明系ミーティング (TPP2021), \kitami{}, 2021/11/22},
  month = {Nov},
  year = {2021}
}
@unpublished{poster2021ppl,
  author = {Reynald Affeldt and Cyril Cohen},
  title = {Formalization of Measure Theory in {Coq}},
  abstract = {ポスター. 第23 回プログラミングおよびプログラミング言語ワークショップ(PPL2021), 2021/03/08},
  month = {Mar},
  year = {2021}
}
@unpublished{poster2018ppl,
  author = {田中 哲 and Reynald Affeldt and Jacques Garrigue},
  title = {{Coq}による簡潔データ構造のライブラリに向けての今後の課題},
  abstract = {ポスター. 第20 回プログラミングおよびプログラミング言語ワークショップ(PPL2018), 鳥取県米子市, 2018/03/06},
  month = {Mar},
  year = {2018}
}
@unpublished{talk2017tpp,
  author = {Reynald Affeldt},
  title = {形式的な情報・符号理論のライブラリに向けて},
  abstract = {第13 回定理証明及び定理証明系ミーティング (TPP2017), 京都大学, 2017/12/07, (日本語)},
  year = {2017}
}
@unpublished{talk2017pro,
  author = {田中 哲 and Reynald Affeldt and Jacques Garrigue},
  title = {Safe Low-level Code Generation in {Coq} using Monomorphization and Monadification},
  abstract = {第114 回プログラミング研究発表会 情報処理学会プログラミング研究会, 静岡市, 2017/06/09},
  year = {2017}
}
@unpublished{poster2017ppl,
  author = {田中 哲 and Reynald Affeldt and Jacques Garrigue},
  title = {Certified Mon\{omorphiz$|$adific\}ation of {Gallina} for Low-level Code Extraction},
  abstract = {ポスター. 第19 回プログラミングおよびプログラミング言語ワークショップ(PPL2017), 山梨県笛吹市, 2017/03/09},
  month = {Mar},
  year = {2017}
}
@unpublished{talk2015tpp,
  author = {Reynald Affeldt},
  title = {Coq Coding Sprint参加報告},
  abstract = {第11 回定理証明及び定理証明系ミーティング (TPP2015), 神奈川大学, 湘南ひらつかキャンパス, 2015/09/17, (日本語)},
  month = {Sep},
  year = {2015}
}
@unpublished{poster2014ppl,
  author = {Reynald Affeldt and 坂口 和彦},
  title = {{Coq}による{C}プログラムの検証基盤のデモ},
  abstract = {ポスター. 第16 回プログラミングおよびプログラミング言語ワークショップ(PPL2014), 熊本県阿蘇市, 2014/03/05, (日本語)},
  month = {Mar},
  year = {2014}
}
@unpublished{talk2013tpp,
  author = {Reynald Affeldt and 坂口 和彦},
  title = {{C}言語プログラムの形式検証のための{Coq}ライブラリの紹介},
  abstract = {第9 回定理証明及び定理証明系ミーティング (TPP2013), 信州大学, 2013/11/21, (日本語) \href{http://staff.aist.go.jp/reynald.affeldt/documents/tpp2013.pdf}{pdf preprint}},
  month = {Nov},
  year = {2013}
}
@unpublished{poster2013jssst,
  author = {Reynald Affeldt and 坂口 和彦},
  title = {First Building Blocks for Implementations of Security Protocols Verified in {Coq}},
  abstract = {ポスター. 日本ソフトウェア科学会 第30 回大会, 東京大学, 本郷キャンパス, 2013/09/10},
  month = {Sep},
  year = {2013}
}
@unpublished{talk2012tpp,
  author = {Reynald Affeldt and 萩原 学 and Jonas S\'enizergues},
  title = {Formal Verification of {Shannon}'s Theorems},
  abstract = {第8 回定理証明及び定理証明系ミーティング (TPP2012), 千葉大学, 2012/11/21},
  month = {Nov},
  year = {2012}
}
@unpublished{talk2012ouyou,
  author = {Reynald Affeldt and 萩原 学},
  title = {シャノンの定理の形式化},
  abstract = {日本応用数理学会 2012 年春の研究部会連合発表会, 九州大学, 2012/03/08, (日本語)},
  month = {Mar},
  year = {2012}
}
@unpublished{talk2011tpp,
  author = {Reynald Affeldt},
  title = {On Construction of a Library of Formally Verified Low-level Arithmetic Functions},
  abstract = {第7 回定理証明及び定理証明系ミーティング (TPP2011), 産業技術総合研究所 (AIST), つくば中央, 2011/11/17},
  month = {Nov},
  year = {2011}
}
@unpublished{poster2011ppl,
  author = {Reynald Affeldt and 山田 聖},
  title = {分離論理を用いた,{C}言語プログラムの機械的検証},
  abstract = {ポスター. 第13 回プログラミングおよびプログラミング言語ワークショップ(PPL2011), 北海道札幌市, 2011/03/10},
  month = {Mar},
  year = {2011}
}
@unpublished{talk2010tpp,
  author = {Reynald Affeldt},
  title = {Instrumenting Error-correcting codes with {SSReflect}},
  abstract = {第6 回定理証明及び定理証明系ミーティング (TPP2010), 名古屋大学, 2010/11/26},
  month = {Nov},
  year = {2010}
}
@unpublished{talk2010ouyou,
  author = {Reynald Affeldt},
  title = {{SSReflect}に よる符号理論の形式化に関する一考察},
  abstract = {日本応用数理学会 2010 年春の研究部会連合発表会 (JSIAM Spring 2010), 筑波大学, 2010/03/08, (日本語) \href{http://staff.aist.go.jp/reynald.affeldt/documents/affeldt_code.pdf}{スライド}},
  month = {Mar},
  year = {2010}
}
@unpublished{talk2009tpp,
  author = {Reynald Affeldt and David Nowak and 山田 聖},
  title = {Certifying Assembly with Formal Cryptographic Proofs: the Case of {BBS}},
  abstract = {第5 回定理証明及び定理証明系ミーティング (TPP2009), 関西学院大学, 2009/11/21},
  month = {Nov},
  year = {2009}
}
@unpublished{talk2009ppl,
  author = {Reynald Affeldt},
  title = {Coq上 での組込み用途の冪剰余の検証},
  abstract = {ポスター. 第11 回プログラミングおよびプログラミング言語ワークショップ(PPL2009), 岐阜県高山市, 2009/03/09 \href{http://staff.aist.go.jp/reynald.affeldt/documents/affeldt-rcis2009.pdf}{ポスター ファイル}},
  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 = {第4 回定理証明及び定理証明系ミーティング (TPP2008), 東北大学, 2008/11/26},
  month = {Nov},
  year = {2008}
}
@unpublished{poster2006ppl,
  author = {Nicolas Marti and Reynald Affeldt and 米澤 明憲},
  title = {Tools and Experiments for Formal Verification of Operating Systems},
  abstract = {ポスター. 第8 回プログラミングおよびプログラミング言語ワークショップ(PPL2006), 滋賀県大津市, 2006/03/05},
  month = {Mar},
  year = {2006}
}
@unpublished{talk2004swopp,
  author = {Reynald Affeldt and 小林 直樹 and 米澤 明憲},
  title = {Verification of Concurrent Programs Using the {Coq} Theorem Prover: a Case Study},
  abstract = {並列/分散/協調処理に関するサマー・ワークショップ(SWoPP 2004), 青森, 2004/07/30},
  month = {Jul},
  year = {2004}
}

This file was generated by bibtex2html 1.99.