Search - Archive ouverte HAL Access content directly

Filter your results

59 Results

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
Conference papers hal-01098379v1

Abstract Domains and Solvers for Sets Reasoning

Arlen Cox , Bor-Yuh Evan Chang , Huisong Li , Xavier Rival
20th International Conference, LPAR-20, Nov 2015, Suva, Fiji. ⟨10.1007/978-3-662-48899-7_25⟩
Conference papers hal-01256309v1
Image document

Abstraction de traces en analyse statique et transformation de programmes.

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

Static Analysis by Abstract Interpretation of Embedded Critical Software

Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
Conference papers inria-00528632v1
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/⟩
Journal articles hal-01399837v1
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⟩
Conference papers hal-01648682v1
Image document

Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée

Antoine Miné , Laurent Mauborgne , Xavier Rival , Jerome Feret , Patrick Cousot , et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
Conference papers hal-01271552v1

Finding All Potential Run-Time Errors and Data Races in Automotive Software

Daniel Kästner , Antoine Miné , André Schmidt , Heinz Hille , Laurent Mauborgne , et al.
WCX™ 2017 - SAE World Congress Experience, Apr 2017, Detroit United States. pp.1-9, ⟨10.4271/2017-01-0054⟩
Conference papers hal-01674831v1

Astree: Proving the Absence of Runtime Errors

Daniel Kästner , Stephan Wilhelm , Stefana Nenova , Patrick Cousot , Radhia Cousot , et al.
Embedded real time software and systems - ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France
Conference papers inria-00528600v1
Image document

A Static Analyzer for Large Safety-Critical Software

Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne , et al.
2003, pp.196 - 207, ⟨10.1145/781131.781153⟩
Conference papers hal-00128135v1

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⟩
Conference papers hal-01095955v1
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⟩
Conference papers hal-01095934v1
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⟩
Conference papers hal-00154031v1

Synthesizing Short-Circuiting Validation of Data Structure Invariants

Yi-Fan Tsai , Devin Coughlin , Bor-Yuh Evan Chang , Xavier Rival
Preprints, Working Papers, ... hal-01256324v1

Concrete Memory Models for Shape Analysis

Pascal Sotin , Bertrand Jeannet , Xavier Rival
NSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.139--150, ⟨10.1016/j.entcs.2010.09.012⟩
Conference papers hal-00786330v1

Verification, Model Checking, and Abstract Interpretation

Kenneth Mcmillan , Xavier Rival
Kenneth McMillan and Xavier Rival. Springer, 8318, pp.493, 2014, 978-3-642-54012-7
Books hal-00931694v1

Why does Astrée scale up?

Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , et al.
Formal Methods in System Design, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. ⟨10.1007/s10703-009-0089-6⟩
Journal articles istex inria-00528582v1
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⟩
Journal articles hal-01963069v1

State Of the Art in Program Analysis

Charles Zhang , Xavier Rival
ACM, 2016, 978-1-4503-4385-5. ⟨10.1145/2931021⟩
Books hal-01388271v1
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⟩
Journal articles hal-02399922v1

Shape Analysis

Bor-Yuh Evan Chang , Cezara Dragoi , Roman Manevich , Noam Rinetzky , Xavier Rival
Foundations and Trends in Programming Languages, 2020, 6 (1–2), pp.1-158. ⟨10.1561/2500000037⟩
Journal articles hal-03081617v1
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⟩
Conference papers hal-00760424v1
Image document

Calling Context Abstraction with Shapes

Xavier Rival , Bor-Yuh Evan Chang
POPL'11 - 38th annual ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages 2011, Jan 2011, Austin, United States. pp.173-186, ⟨10.1145/1925844.1926406⟩
Conference papers hal-00760421v1
Image document

Space Software Validation using Abstract Interpretation

Olivier Bouissou , Eric Conquet , Patrick Cousot , Radhia Cousot , Jérôme Feret , et al.
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
Conference papers inria-00528590v1
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
Conference papers hal-03081558v1
Image document

Sound Symbolic Execution via Abstract Interpretation and its Application to Security

Ignacio Tiraboschi , Tamara Rezk , Xavier Rival
VMCAI 2023 - 24th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2023, Boston, MA, United States. pp.267-295, ⟨10.1007/978-3-031-24950-1_13⟩
Conference papers hal-03942146v1

L'analyseur statique Astrée

Julien Bertrane , Jérôme Feret , Patrick Cousot , Radhia Cousot , Antoine Miné , et al.
Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5
Book sections inria-00636877v1

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
Conference papers inria-00528611v1
Image document

Recommendations on "Grey-Zone Publishers

Frédéric Blanqui , Anne Canteaut , Hidde De Jong , Sébastien Imperiale , Nathalie Mitton , et al.
Inria. 2023, pp.1-3
Reports hal-04201298v1

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⟩
Conference papers hal-01256116v1