@unpublished{talk2023tpp,
author = {Reynald Affeldt and Zachary Stone},
title = {The Fundamental Theorem of Calculus for the {Lebesgue} Integral in {MathComp-Analysis}},
abstract = {第19 回定理証明及び定理証明系ミーティング (TPP2023), 東京工業大学, 2023/10/30},
month = {Oct},
year = {2023}
}
@unpublished{poster2023ppl,
author = {斉藤 歩夢 and Reynald Affeldt},
title = {確率的プログラミング言語の形式基盤を構文で拡張する試み},
abstract = {ポスター. 第25 回プログラミングおよびプログラミング言語ワークショップ(PPL2023), 名古屋大学, 2023/03/06-07},
month = {Mar},
year = {2023}
}
@unpublished{poster2022ppl,
author = {Reynald Affeldt and Cyril Cohen},
title = {Formalization of integration theory in {Coq}},
abstract = {ポスター. 第24 回プログラミングおよびプログラミング言語ワークショップ(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 = {第17 回定理証明及び定理証明系ミーティング (TPP2021), 北見工業大学, 2021/11/22},
month = {Nov},
year = {2021}
}
@unpublished{saito2021tpp,
author = {斉藤 歩夢 and Reynald Affeldt},
title = {定理証明支援系{Coq}でのモナドを用いたクイックソートの形式化と{Monae}の拡張},
abstract = {第17 回定理証明及び定理証明系ミーティング (TPP2021), 北見工業大学, 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.