@inproceedings{weng2025ppl,
author = {Cheng-Hui Weng and Reynald Affeldt and Jacques Garrigue and Takafumi Saikawa},
title = {Toward a Formalization of Secure Multiparty Computation Stack},
booktitle = {27th Workshop on Programming and Programming Languages (PPL2025), Aichi-ken, Gamagori-shi, March 5--7, 2025},
year = {2025},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {17 pages. \href{https://www.math.nagoya-u.ac.jp/~garrigue/papers/weng-ppl2025.pdf}{preprint} \href{https://jssst-ppl.org/workshop/2025/}{conference website}}
}
@inproceedings{kawakami2025ppl,
author = {Ryuji Kawakami and Jacques Garrigue and Takafumi Saikawa and Reynald Affeldt},
title = {Monadic Equational Reasoning for while loops},
booktitle = {27th Workshop on Programming and Programming Languages (PPL2025), Aichi-ken, Gamagori-shi, March 5--7, 2025},
year = {2025},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {17 pages. \href{https://www.math.nagoya-u.ac.jp/~garrigue/papers/kawakami-ppl2025.pdf}{preprint} (in Japanese) \href{https://jssst-ppl.org/workshop/2025/}{conference website}}
}
@inproceedings{affeldt2025jfla,
author = {Reynald Affeldt},
title = {Prouver que pi est irrationnel avec {MathComp-Analysis}},
booktitle = {36ème Journées Francophones des Langages Applicatifs (JFLA 2025), lieu-dit Saint Hilaire, Roiffé, France, January 28--31, 2025},
year = {2025},
editor = {},
volume = {},
number = {},
series = {},
pages = {119--129},
address = {},
month = {Jan},
organization = {Inria and others},
publisher = {},
abstract = {\href{https://hal.science/hal-04859455/document}{open access}}
}
@inproceedings{affeldt2024jfla,
author = {Reynald Affeldt and Zachary Stone},
title = {Towards the Fundamental Theorem of Calculus for the {Lebesgue} integral in {Coq}},
booktitle = {35st Journ\'ees Francophones des Langages Applicatifs (JFLA 2024), Saint-Jacut-de-la-Mer, France, January 30--February 2, 2024},
year = {2024},
editor = {},
volume = {},
number = {},
series = {},
pages = {300--304},
address = {},
month = {Jan},
organization = {Inria and others},
publisher = {},
abstract = {\href{https://inria.hal.science/hal-04406350/document}{open access}}
}
@inproceedings{ishiguro2023ppl,
author = {Yoshihiro Ishiguro and Reynald Affeldt},
title = {A Progress Report on Formalization of Measure Theory with {MathComp-Analysis}},
booktitle = {25th Workshop on Programming and Programming Languages (PPL2023), Nagoya University, March 6--8, 2023},
year = {2023},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {15 pages. \href{http://staff.aist.go.jp/reynald.affeldt/documents/measure-ppl2023.pdf}{pdf preprint} \href{https://jssst-ppl.org/workshop/2023/}{conference website}}
}
@inproceedings{saito2022ppl,
author = {Ayumu Saito and Reynald Affeldt},
title = {Practical Aspects of Monadic Equational Reasoning in {Coq}},
booktitle = {24th Workshop on Programming and Programming Languages (PPL2022), March 6--8, 2022},
year = {2022},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {17 pages. \href{http://staff.aist.go.jp/reynald.affeldt/documents/monae-hb.pdf}{pdf preprint} \href{https://jssst-ppl.org/workshop/2022/}{conference website}}
}
@inproceedings{sauvage2020jfla,
author = {C{\'e}lestine Sauvage and Reynald Affeldt and David Nowak},
title = {Vers la formalisation en {Coq} des transformateurs de monades modulaires},
booktitle = {31st Journ\'ees Francophones des Langages Applicatifs (JFLA 2020), Gruissan, France, January 29--February 1},
year = {2020},
editor = {},
volume = {},
number = {},
series = {},
pages = {23--30},
address = {},
month = {Jan},
organization = {CEA List and others},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/jfla-2020.pdf}{pdf preprint} \href{https://hal.archives-ouvertes.fr/hal-02434736}{open access}}
}
@inproceedings{affeldt2019ppl,
author = {Reynald Affeldt and Jacques Garrigue and Takafumi Saikawa},
title = {Reasoning with Conditional Probabilities and Joint Distributions in {Coq}},
booktitle = {21st Workshop on Programming and Programming Languages (PPL2019), Iwate-ken, Hanamaki-shi, March 6--8, 2019},
year = {2019},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {16 pages. \href{http://staff.aist.go.jp/reynald.affeldt/documents/cproba_ppl2019.pdf}{pdf preprint} \href{https://jssst-ppl.org/workshop/2019/}{conference website}}
}
@inproceedings{tanaka2016ppl,
author = {Akira Tanaka and Reynald Affeldt and Jacques Garrigue},
title = {Formal Verification of the rank Function for Succinct Data Structures},
booktitle = {18th Workshop on Programming and Programming Languages (PPL2016), Okayama-ken, Tamano-shi, March 7--9, 2016},
year = {2016},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {15 pages. Best paper award \href{http://logic.cs.tsukuba.ac.jp/ppl2016/}{conference website} \href{https://staff.aist.go.jp/tanaka-akira/succinct/}{project page}}
}
@inproceedings{hirai2014jfla,
author = {Yoichi Hirai and Reynald Affeldt},
title = {What could {Coq} do for Database Software?---A Progress Report},
booktitle = {25th Journ\'ees Francophones des Langages Applicatifs (JFLA 2014), Fr\'ejus, France, January 8--11},
year = {2014},
editor = {},
volume = {},
number = {},
series = {},
pages = {33--48},
address = {},
month = {Jan},
organization = {},
publisher = {},
abstract = {}
}
@inproceedings{affeldt2010ppl,
author = {Reynald Affeldt},
title = {Toward Formal Construction of Assembly Arithmetic Functions from Pseudo-code},
booktitle = {12th Workshop on Programming and Programming Languages (PPL2010), Kagawa-ken, Kotohira Onsen, March 3--5, 2010},
year = {2010},
editor = {},
volume = {},
number = {},
series = {},
pages = {1--14},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/simu.pdf}{pdf preprint} \href{http://isw3.kankyo-u.ac.jp/ppl2010/}{conference website} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}
@inproceedings{marti2007ppl,
author = {Nicolas Marti and Reynald Affeldt},
title = {A~Certified Verifier for a Fragment of Separation Logic},
booktitle = {9th Workshop on Programming and Programming Languages (PPL2007), Ishikawa-ken, Kaga-shi, March 8--10, 2007},
year = {2007},
editor = {},
volume = {},
number = {},
series = {},
pages = {187--199},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {Best paper award \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}
This file was generated by bibtex2html 1.99.