E-LIB Suche - Ergebnisse für: Rival, Xavier

1

Smoothness Analysis for Probabilistic Programs with Applica..:

Lee, Wonyeol ; Rival, Xavier ; Yang, Hongseok
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 335-366 , 2023

Link: https://doi.org/10.1145/..

2

Sound Symbolic Execution via Abstract Interpretation and It..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Tiraboschi, Ignacio ; Rezk, Tamara ; Rival, Xavier - p. 267-295 , 2023

Link: https://doi.org/10.1007/..

3

A Product of Shape and Sequence Abstractions:

, In: Static Analysis; Lecture Notes in Computer Science,

Giet, Josselin ; Ridoux, Félix ; Rival, Xavier - p. 310-342 , 2023

Link: https://doi.org/10.1007/..

4

A Categorical Framework for Program Semantics and Semantic ..:

Katsumata, Shin-ya ; Rival, Xavier ; Dubut, Jérémy
Electronic Notes in Theoretical Informatics and Computer Science. 3 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

5

Lightweight Shape Analysis Based on Physical Types:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Nicole, Olivier ; Lemerre, Matthieu ; Rival, Xavier - p. 219-241 , 2022

Link: https://doi.org/10.1007/..

6

A relational shape abstract domain:

Illous, Hugo ; Lemerre, Matthieu ; Rival, Xavier
Formal Methods in System Design. 57 (2021) 3 - p. 343-400 , 2021

Link: https://doi.org/10.1007/..

7

Interprocedural Shape Analysis Using Separation Logic-Based..:

, In: Static Analysis; Lecture Notes in Computer Science,

Illous, Hugo ; Lemerre, Matthieu ; Rival, Xavier - p. 248-273 , 2020

Link: https://doi.org/10.1007/..

8

Towards verified stochastic variational inference for proba..:

Lee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-33 , 2019

Link: https://doi.org/10.1145/..

9

Weakly sensitive analysis for JavaScript object‐manipulatin..:

Ko, Yoonseok ; Rival, Xavier ; Ryu, Sukyoung
Software: Practice and Experience. 49 (2019) 5 - p. 840-884 , 2019

Link: https://doi.org/10.1002/..

10

Towards verified stochastic variational inference for proba..:

Lee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-33 , 2019

Link: https://dl.acm.org/doi/1..

11

A Theoretical Foundation of Sensitivity in an Abstract Inte..:

Kim, Se-Won ; Rival, Xavier ; Ryu, Sukyoung
ACM Transactions on Programming Languages and Systems (TOPLAS). 40 (2018) 3 - p. 1-44 , 2018

Link: https://dl.acm.org/doi/1..

12

Automatic Verification of Embedded System Code Manipulating..:

Liu, Jiangchao ; Chen, Liqian ; Rival, Xavier
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37 (2018) 11 - p. 2311-2322 , 2018

Link: https://doi.org/10.1109/..

13

Foreword:

Rival, Xavier
Formal Methods in System Design. 53 (2018) 2 - p. 165-165 , 2018

Link: https://doi.org/10.1007/..

14

A Theoretical Foundation of Sensitivity in an Abstract Inte..:

Kim, Se-Won ; Rival, Xavier ; Ryu, Sukyoung
ACM Transactions on Programming Languages and Systems. 40 (2018) 3 - p. 1-44 , 2018

Link: https://doi.org/10.1145/..

15

An array content static analysis based on non-contiguous pa..:

Liu, Jiangchao ; Rival, Xavier
Computer Languages, Systems & Structures. 47 (2017) - p. 104-129 , 2017

Link: https://doi.org/10.1016/..