Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Laure Gonnord"'
Publikováno v:
ACM Computing Surveys
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even different results. Even in domains such as high-performance computing whe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639751fb43f22848239b4cc4ec601ab7
https://inria.hal.science/hal-03828497/document
https://inria.hal.science/hal-03828497/document
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783031167669
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8180d43454983cc4ca6c796985454be1
https://doi.org/10.1007/978-3-031-16767-6_1
https://doi.org/10.1007/978-3-031-16767-6_1
Publikováno v:
GPCE 2021-20th International Conference on Generative Programming: Concepts & Experiences
GPCE 2021-20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
GPCE
GPCE 2021-20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
GPCE
International audience; Algebraic data types and pattern matching are popular tools to build programs manipulating complex datastructures in a safe yet efficient manner. On top of its safety advantages, compilation techniques can turn pattern matchin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a0bea3350938f8743c6c8832a68d0c59
https://hal.science/hal-03355377/document
https://hal.science/hal-03355377/document
Publikováno v:
[Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP-Laboratoire de l’Informatique du Parallélisme; Université Lyon 1-Claude Bernard; ENS Lyon. 2021, pp.1-29
Static Analysis ISBN: 9783030888053
SAS
SAS 2021-28th Static Analysis Symposium
SAS 2021-28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩
HAL
Static Analysis ISBN: 9783030888053
SAS
SAS 2021-28th Static Analysis Symposium
SAS 2021-28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩
HAL
Proving properties on programs accessing data structures such as arrays often requires universally quantified invariants, e.g., "all elements below index $i$ are nonzero''. In this research report, we propose a general data abstraction scheme operati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e826c8bfc91708c622e160a8d3a42218
https://hal.inria.fr/hal-03214475
https://hal.inria.fr/hal-03214475
Autor:
Laure Gonnord, Julien Braine
Publikováno v:
Numerical and Symbolic Abstract Domains (NSAD)
Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
[Research Report] ENS Lyon, CNRS & INRIA. 2020
Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
[Research Report] ENS Lyon, CNRS & INRIA. 2020
This paper presents a framework to abstract data structures within Horn clauses that allows abstractions to be easily expressed, compared, composed and implemented. These abstractions introduce new quantifiers that we eliminate with quantifier elimin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0efae7f22c3cbd87a7b78a0079f16b72
https://hal.science/hal-02948081v2/document
https://hal.science/hal-02948081v2/document
Publikováno v:
VMCAI'19-International Conference on Verification, Model Checking, and Abstract Interpretation
VMCAI'19-International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
Lecture Notes in Computer Science ISBN: 9783030112448
VMCAI
VMCAI'19-International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
Lecture Notes in Computer Science ISBN: 9783030112448
VMCAI
International audience; In this paper we propose a new abstract domain for staticanalysis of binary code. Our motivation stems from the need to im-prove the precision of the estimation of the Worst-Case Execution Time(WCET) of safety-critical real-ti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15165de99dd2c206531b1550a2f70037
https://hal.science/hal-01939659
https://hal.science/hal-01939659
Autor:
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following work
Autor:
Laure Gonnord, Sébastien Mosser
Publikováno v:
MoDELS Companion
14th Educators Symposium at MODELS 2018
14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
14th Educators Symposium at MODELS 2018
14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
International audience; This paper describes our experience in constructing a new Domain-Specific Language course at the graduate level whose objectives is to reconciliate concepts coming from Language Design as well as Modeling domains. We illustrat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fbebd97353ffc46cfe43bab98afcd9b
https://doi.org/10.1145/3270112.3270116
https://doi.org/10.1145/3270112.3270116
Publikováno v:
SBAC-PAD 2018-30th International Symposium on Computer Architecture and High-Performance Computing
SBAC-PAD 2018-30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
SBAC-PAD
SBAC-PAD 2018-30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
SBAC-PAD
International audience; Dataflow languages expose the application's potential parallelism naturally and have thus been studied and developed for the past thirty years as a solution for harnessing the increasing hardware parallelism. However, when gen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7b31714cb8b747842022c48a9422946
https://hal-cea.archives-ouvertes.fr/cea-01855997v2/file/finalversion_hal_sbacpad18_FGM.pdf
https://hal-cea.archives-ouvertes.fr/cea-01855997v2/file/finalversion_hal_sbacpad18_FGM.pdf
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, 2017
Science of Computer Programming, 2017
Science of Computer Programming, Elsevier, 2017
Science of Computer Programming, 2017
Final published version of https://hal.inria.fr/hal-01429777v2; International audience; Pentagons is an abstract domain invented by Logozzo and Fähndrich to validate array accesses in low-level programming languages. This algebraic structure provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf6fd452169d4c813c08f02bace27404
https://hal.archives-ouvertes.fr/hal-01625402
https://hal.archives-ouvertes.fr/hal-01625402