( en | de | ru )

 

Disambiguation of "Pottier, François"

Author of the publication

copydeleteadd this publication to your clipboard
Cosmo: a concurrent separation logic for multicore OCaml.

, , and . Proc. ACM Program. Lang., 4 (ICFP): 96:1-96:29 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

François Weirich

François Elvinger

François Guers

François Melis

François Franceschi

 

Other publications of authors with the same name

Producing all ideals of a forest, functionally., and . J. Funct. Program., 13 (5): 945-956 (2003)A Systematic Approach to Static Access Control., , and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 30-45. Springer, (2001)Verifying a hash table and its iterators in higher-order separation logic.. CPP, page 3-16. ACM, (2017)The essence of monotonic state., and . TLDI, page 73-86. ACM, (2011)Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation., and . ITP, volume 9236 of Lecture Notes in Computer Science, page 137-153. Springer, (2015)A separation logic for heap space under garbage collection., and . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)A High-Level Separation Logic for Heap Space under Garbage Collection., , and . Proc. ACM Program. Lang., 7 (POPL): 718-747 (January 2023)Verifying a Minimalist Reverse-Mode AD Library., and . CoRR, (2021)Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library., and . Log. Methods Comput. Sci., (2023)Information flow inference for free., and . ICFP, page 46-57. ACM, (2000)SIGPLAN Notices 35(9), September 2000.