Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

64 résultats
Page :
triés par

Static Analysis for Spreadsheet Applications for Type-Unsafe Operations Detection

 Tie Cheng , Xavier Rival
European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom
Communication dans un congrès hal-01098377v1

Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

 Kenneth Mcmillan , Xavier Rival
VMCAI (Verification, Model Checking and Abstract Interpretation), Jan 2014, France. 8318, Springer, 2014, VMCAI 2014 Proceedings, 978-3-642-54012-7. ⟨10.1007/978-3-642-54013-4⟩
Proceedings/Recueil des communications hal-01095535v1
Image document

Abstraction de traces en analyse statique et transformation de programmes.

 Xavier Rival
Informatique [cs]. Ecole Polytechnique X, 2005. Français. ⟨NNT : ⟩
Thèse pastel-00001914v1

Static Analysis

 Xavier Rival
Springer, LNCS (9837), 2016, 978-3-662-53412-0. ⟨10.1007/978-3-662-53413-7⟩
Ouvrage (y compris édition critique et traduction) hal-01388205v1
Image document

Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs

 Yoonseok Ko , Xavier Rival , Sukyoung Ryu
Software: Practice and Experience, 2019, ⟨10.1002/spe⟩
Article dans une revue hal-02399944v1
Image document

Towards Verified Stochastic Variational Inference for Probabilistic Programs

 Wonyeol Lee , Hangyeol Yu , Xavier Rival , Hongseok Yang
Proceedings of the ACM on Programming Languages, In press, 16, ⟨10.1145/3371084⟩
Article dans une revue hal-02399922v1

State Of the Art in Program Analysis

 Charles Zhang , Xavier Rival
ACM, 2016, 978-1-4503-4385-5. ⟨10.1145/2931021⟩
Ouvrage (y compris édition critique et traduction) hal-01388271v1
Image document

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions

 Antoine Toubhans , Bor-Yuh Evan Chang , Xavier Rival
Static Analysis Symposium, Sep 2014, München, Germany. ⟨10.1007/978-3-319-10936-7_18⟩
Communication dans un congrès hal-01095934v1

Automatic Analysis of Open Objects in Dynamic Language Programs

 Arlen Cox , Bor-Yuh Evan Chang , Xavier Rival
21st Static Analysis Symposium (SAS), Sep 2014, München, Germany. ⟨10.1007/978-3-319-10936-7_9⟩
Communication dans un congrès hal-01095955v1
Image document

Construction of Abstract Domains for Heterogeneous Properties (Position Paper)

 Xavier Rival , Antoine Toubhans , Bor-Yuh Evan Chang
Leveraging Applications of Formal Methods, Verification and Validation. (ISOLA), Oct 2014, Corfu, Greece. pp.489 - 492, ⟨10.1007/978-3-662-45231-8_40⟩
Communication dans un congrès hal-01095977v1
Image document

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions

 Jiangchao Liu , Liqian Chen , Xavier Rival
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2311-2322
Article dans une revue hal-01963049v1
Image document

The ASTRÉE analyzer

 Patrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne , Antoine Miné , et al.
2005, pp.21, ⟨10.1007/b107380⟩
Communication dans un congrès hal-00084293v1

Introduction to Static Analysis

 Xavier Rival , Kwangkeun Yi
MIT Press, 2020, 9780262043410
Ouvrage (y compris édition critique et traduction) hal-02402597v1
Image document

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

 Yoonseok Ko , Xavier Rival , Sukyoung Ryu
APLAS 2017 - 15th Asian Symposium on Programming Languages and Systems, Nov 2017, Suzhou, China. pp.148-168, ⟨10.1007/978-3-319-71237-6_8⟩
Communication dans un congrès hal-01648680v1
Image document

Shape Analysis for Unstructured Sharing

 Huisong Li , Xavier Rival , Bor-Yuh Evan Chang
SAS 2015 - 22nd International Symposium on Static Analysis, Sep 2015, Saint-Malo, France. pp.90-108, ⟨10.1007/978-3-662-48288-9_6⟩
Communication dans un congrès hal-01249418v1
Image document

Varieties of Static Analyzers: A Comparison with ASTRÉE

 Patrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne , Antoine Miné , et al.
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), Jun 2007, Shanghai, China. pp.3-20, ⟨10.1109/TASE.2007.55⟩
Communication dans un congrès hal-00154031v1
Image document

Revisiting Recency Abstraction for JavaScript Towards an Intuitive, Compositional, and Efficient Heap Abstraction

 Jihyeok Park , Xavier Rival , Sukyoung Ryu
SOAP 2017 - International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, ⟨10.1145/3088515.3088516⟩
Communication dans un congrès hal-01648682v1

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

 Arlen Cox , Bor-Yuh Evan Chang , Xavier Rival
European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom
Communication dans un congrès hal-01098379v1
Image document

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

 Se-Won Kim , Xavier Rival , Sukyoung Ryu
ACM Transactions on Programming Languages and Systems (TOPLAS), 2018, 40 (3), pp.1-44. ⟨10.1145/3230624⟩
Article dans une revue hal-01963069v1

Combination of Abstractions in the ASTRÉE Static Analyzer

 Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , et al.
the 11th Annual Asian Computing Science Conference - ASIAN'06, Okada, Mitsu and Satoh, Ichir, Dec 2006, Tokyo, Japan. pp.272-300, ⟨10.1007/978-3-540-77505-8_23⟩
Communication dans un congrès inria-00528571v1
Image document

A Relational Shape Abstract Domain

 Hugo Illous , Matthieu Lemerre , Xavier Rival
NFM 2017 - 9th NASA Formal Methods Symposium, Apr 2017, Moffett Field, United States. pp.212-229, ⟨10.1007/978-3-319-57288-8_15⟩
Communication dans un congrès hal-01648681v1
Image document

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference

 Wonyeol Lee , Xavier Rival , Hongseok Yang
Proceedings of the ACM on Programming Languages, 2023, 7, pp.335 - 366. ⟨10.1145/3571205⟩
Article dans une revue hal-03936759v1

Experiments with Finite Tree Automata in Coq

 Xavier Rival , Jean Goubault-Larrecq
14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Sep 2001, Edinburgh, United Kingdom. pp.362-377
Communication dans un congrès hal-03206071v1

Separating Shape Graphs

 Vincent Laviron , Bor-Yuh Evan Chang , Xavier Rival
19th European Symposium on Programming - ESOP 2010, Andrew Gordon, Mar 2010, Paphos, Cyprus. pp.387-406
Communication dans un congrès inria-00539548v1
Image document

An array content static analysis based on non-contiguous partitions

 Jiangchao Liu , Xavier Rival
Computer Languages, Systems and Structures, 2017, 47 (1), pp.104-129. ⟨10.1016/j.cl.2016.01.005⟩
Article dans une revue hal-01399837v1

Abstraction of Optional Numerical Values

 Jiangchao Liu , Xavier Rival
APLAS 2015 - 13th Asian Symposium on Programming Languages and Systems, Nov 2015, Pohang, South Korea. pp.146-166, ⟨10.1007/978-3-319-26529-2_9⟩
Communication dans un congrès hal-01256116v1

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

 Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
Mogensen, T. and Schmidt, D.A. and Sudborough, I.H. The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, 2566, Springer, pp.85-108, 2002, Lecture Notes in Computer Science, ⟨10.1007/3-540-36377-7_5⟩
Chapitre d'ouvrage istex inria-00528442v1
Image document

Semantic-Directed Clumping of Disjunctive Abstract States *

 Huisong Li , François Bérenger , Bor-Yuh Evan Chang , Xavier Rival
POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩
Communication dans un congrès hal-01648679v1
Image document

An Abstract Domain to Infer Types over Zones in Spreadsheets

 Tie Cheng , Xavier Rival
SAS'12 - 19th International Static Analysis Symposium, Sep 2012, Deauville, France. pp.94-110, ⟨10.1007/978-3-642-33125-1_9⟩
Communication dans un congrès hal-00760424v1
Image document

Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries

 Hugo Illous , Matthieu Lemerre , Xavier Rival
SAS 2020 - 27th Static Analysis Symposium, Nov 2020, Chicago / Virtual, United States
Communication dans un congrès hal-03081558v1
Page :