dominproceedings_ref_en.bib

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