domtalks_en.bib

@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, (in Japanese)},
  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), \href{http://staff.aist.go.jp/reynald.affeldt/documents/tpp2013.pdf}{pdf preprint}},
  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 (\href{http://www.cs.tsukuba.ac.jp/~sakurai/jsiam/spring-meeting2010.html}{JSIAM Spring 2010}), Tsukuba University, 2010/03/08, (in Japanese) \href{http://staff.aist.go.jp/reynald.affeldt/documents/affeldt_code.pdf}{slides}},
  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 \href{http://staff.aist.go.jp/reynald.affeldt/documents/affeldt-rcis2009.pdf}{poster file}},
  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.98.