List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Book review of: T. Nipkow (ed.), Functional data structures and algorithms. A proof assistant approach Formal Aspects of Computing | 2024-09-25 | Paper |
| scientific article; zbMATH DE number 7649967 (Why is no real title available?) | 2023-02-03 | Paper |
| A fistful of dollars: formalizing asymptotic complexity claims via deductive program verification | 2019-09-13 | Paper |
| Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits Journal of Automated Reasoning | 2019-03-20 | Paper |
| Oracle-guided scheduling for controlling granularity in implicitly parallel languages Journal of Functional Programming | 2017-10-23 | Paper |
| Temporary read-only permissions for separation logic Programming Languages and Systems | 2017-05-19 | Paper |
| Dag-calculus: a calculus for parallel computation Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Machine-checked verification of the correctness and amortized complexity of an efficient union-find implementation Interactive Theorem Proving | 2015-09-14 | Paper |
| Functional translation of a calculus of capabilities Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Program verification through characteristic formulae Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Characteristic formulae for the verification of imperative programs Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Theory and practice of chunked sequences Algorithms - ESA 2014 | 2014-10-08 | Paper |
| Engineering formal metatheory Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| A trusted mechanised JavaSript specification Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Pretty-big-step semantics Programming Languages and Systems | 2013-08-05 | Paper |
| The locally nameless representation Journal of Automated Reasoning | 2013-04-17 | Paper |
| The optimal fixed point combinator Interactive Theorem Proving | 2010-09-14 | Paper |
Research outcomes over time
This page was built for person: Arthur Charguéraud
