( en | de | ru )

 

Disambiguation of "Rival, Xavier"

Author of the publication

copydeleteadd this publication to your clipboard
A Categorical Framework for Program Semantics and Semantic Abstraction.

, , and . MFPS, volume 3 of EPTICS, EpiSciences, (2023)

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.

Xavier Rival

David Rival

Isabelle Rivals

Xavier Domont

Xavier Lambin

 

Other publications of authors with the same name

A Static Analyzer for Large Safety-Critical Software, , , , , , , and . ACM SIGPLAN PLDI'03, 548030, page 196--207. ACM Press, (June 2003)Sound Symbolic Execution via Abstract Interpretation and Its Application to Security., , and . VMCAI, volume 13881 of Lecture Notes in Computer Science, page 267-295. Springer, (2023)Shape Analysis for Unstructured Sharing., , and . SAS, volume 9291 of Lecture Notes in Computer Science, page 90-108. Springer, (2015)Automatically Proving Microkernels Free from Privilege Escalation from their Executable., , , and . CoRR, (2020)Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference., , and . Proc. ACM Program. Lang., 7 (POPL): 335-366 (January 2023)Shape Analysis., , , , and . Found. Trends Program. Lang., 6 (1-2): 1-158 (2020)On Correctness of Automatic Differentiation for Non-Differentiable Functions., , , and . NeurIPS, (2020)Lightweight Shape Analysis Based on Physical Types., , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 219-241. Springer, (2022)An array content static analysis based on non-contiguous partitions., and . Comput. Lang. Syst. Struct., (2017)A relational shape abstract domain., , and . Formal Methods Syst. Des., 57 (3): 343-400 (2021)