( en | de | ru )

 

Disambiguierung von "Rival, Xavier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Correctness of Automatic Differentiation for Non-Differentiable Functions.

, , , und . NeurIPS, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xavier Rival

David Rival

Isabelle Rivals

Xavier Domont

Xavier Lambin

 

Weitere Publikationen von Autoren mit dem selben Namen

No Crash, No Exploit: Automated Verification of Embedded Kernels., , , und . RTAS, Seite 27-39. IEEE, (2021)A relational shape abstract domain., , und . Formal Methods Syst. Des., 57 (3): 343-400 (2021)No Crash, No Exploit: Automated Verification of Embedded Kernels., , , und . CoRR, (2020)Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries., , und . SAS, Volume 12389 von Lecture Notes in Computer Science, Seite 248-273. Springer, (2020)An array content static analysis based on non-contiguous partitions., und . Comput. Lang. Syst. Struct., (2017)Sound Symbolic Execution via Abstract Interpretation and Its Application to Security., , und . VMCAI, Volume 13881 von Lecture Notes in Computer Science, Seite 267-295. Springer, (2023)A Static Analyzer for Large Safety-Critical Software, , , , , , , und . ACM SIGPLAN PLDI'03, 548030, Seite 196--207. ACM Press, (Juni 2003)Shape Analysis for Unstructured Sharing., , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 90-108. Springer, (2015)Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference., , und . Proc. ACM Program. Lang., 7 (POPL): 335-366 (Januar 2023)Automatically Proving Microkernels Free from Privilege Escalation from their Executable., , , und . CoRR, (2020)