BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Denmark
1 × Germany
1 × India
2 × France
2 × Italy
4 × USA
4 × United Kingdom
Collaborated with:
B.E.Chang T.Cheng L.Mauborgne A.Cox A.Toubhans H.Li J.Liu H.G.Mairson V.Laviron G.C.Necula P.Cousot R.Cousot J.Feret A.Miné D.Monniaux Francois Berenger Wonyeol Lee 0001 Hangyeol Yu H.Yang B.Blanchet
Talks about:
abstract (10) shape (6) analysi (5) base (4) program (3) static (3) domain (3) analyz (3) spreadsheet (2) interpret (2)

Person: Xavier Rival

DBLP DBLP: Rival:Xavier

Facilitated 1 volumes:

VMCAI 2014Ed

Contributed to:

ESOP 20152015
SAS 20152015
VMCAI 20152015
SAS 20142014
VMCAI 20132013
SAS 20122012
POPL 20112011
ESOP 20102010
POPL 20082008
SAS 20072007
ESOP 20052005
SAS 20052005
POPL 20042004
PLDI 20032003
VMCAI 20032003
CSL 20022002
POPL 20172017
POPL 20202020

Wrote 21 papers:

ESOP-2015-ChengR #detection #spreadsheet #static analysis
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection (TC, XR), pp. 26–52.
ESOP-2015-CoxCR #abstraction #multi #source code
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.
SAS-2015-LiRC #analysis
Shape Analysis for Unstructured Sharing (HL, XR, BYEC), pp. 90–108.
VMCAI-2015-LiuR #abstraction #array
Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.
SAS-2014-CoxCR #analysis #automation #source code
Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
SAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
VMCAI-2013-ToubhansCR #abstract domain
Reduced Product Combination of Abstract Domains for Shapes (AT, BYEC, XR), pp. 375–395.
SAS-2012-ChengR #abstract domain #spreadsheet
An Abstract Domain to Infer Types over Zones in Spreadsheets (TC, XR), pp. 94–110.
POPL-2011-RivalC #abstraction
Calling context abstraction with shapes (XR, BYEC), pp. 173–186.
ESOP-2010-LavironCR #graph
Separating Shape Graphs (VL, BYEC, XR), pp. 387–406.
POPL-2008-ChangR #analysis #induction #relational
Relational inductive shape analysis (BYEC, XR), pp. 247–260.
SAS-2007-ChangRN #analysis #invariant
Shape Analysis with Structural Invariant Checkers (BYEC, XR, GCN), pp. 384–401.
The ASTREÉ Analyzer (PC, RC, JF, LM, AM, DM, XR), pp. 21–30.
ESOP-2005-MauborgneR #abstract interpretation #clustering
Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.
SAS-2005-Rival #comprehension
Understanding the Origin of Alarms in Astrée (XR), pp. 303–319.
POPL-2004-Rival #compilation
Symbolic transfer function-based approaches to certified compilation (XR), pp. 1–13.
PLDI-2003-BlanchetCCFMMMR #safety #scalability
A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.
VMCAI-2003-Rival #abstract interpretation #assembly #certification
Abstract Interpretation-Based Certification of Assembly Code (XR), pp. 41–55.
CSL-2002-MairsonR #semantics
Proofnets and Context Semantics for the Additives (HGM, XR), pp. 151–166.
POPL-2017-LiBCR #semantics
Semantic-directed clumping of disjunctive abstract states (HL, FB, BYEC, XR), pp. 32–45.
POPL-2020-LeeYRY #probability #source code #towards
Towards verified stochastic variational inference for probabilistic programs (WL0, HY, XR, HY), p. 33.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.