Search - Archive ouverte HAL Access content directly

Filter your results

60 Results

SToP : Scalable Termination analysis of (C) Programs (tool presentation)

Guillaume Andrieu , Christophe Alias , Laure Gonnord
Tapas 2012, Sep 2012, Deauville, France
Conference papers hal-00760926v1

Runtime resource assurance and adaptation with Qinna framework : a case study

Jean-Philippe Babau , Laure Gonnord
Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
Conference papers hal-00801546v1
Image document

Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings

Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord
[Research Report] RR-7235, INRIA. 2010, pp.32
Reports inria-00464356v1
Image document

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs

Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord
Static Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
Conference papers inria-00523298v1
Image document

Combining Range and Inequality Information for Pointer Disambiguation

Maroua Maalej , Vitor Paisante , Fernando Magno Quintão Pereira , Laure Gonnord
[Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Reports hal-01429777v2
Image document

On optimizing scalar self-rebalancing trees

Paul Iannetta , Laure Gonnord , Lionel Morel
COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
Conference papers hal-03048742v1
Image document

Static Analysis via Horn Encoding from synchronous Dataflow Programs

Laure Gonnord , Szabolcs-Marton Bagoly , Lionel Morel
[Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Reports hal-01614637v1
Image document

Proving array properties using data abstraction

Julien Braine , Laure Gonnord
Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
Conference papers hal-02948081v2
Image document

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics

Benoit Combemale , Laure Gonnord , Vlad Rusu
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51
Conference papers hal-00593425v1
Image document

Do we still need new Alias Analyses?

Maroua Maalej , Laure Gonnord
[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015
Reports hal-01228581v1
Image document

Combining Range and Inequality Information for Pointer Disambiguation

Maroua Maalej , Vitor Paisante , Fernando Magno Quintão Pereira , Laure Gonnord
Science of Computer Programming, 2017
Journal articles hal-01625402v1
Image document

Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires

Laure Danthony,gonnord
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français. ⟨NNT : ⟩
Theses tel-00196899v1
Image document

Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems

Laure Gonnord , Jean-Philippe Babau
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
Conference papers inria-00349918v2
Image document

Symbolic Range Analysis of Pointers

Vitor Paisante , Maroua Maalej , Leonardo Barbosa , Laure Gonnord , Fernando Magno Quintão Pereira
International Symposium of Code Generation and Optimization, Mar 2016, Barcelona, Spain. pp.791-809
Conference papers hal-01228928v1
Image document

Parallel Complexity of Term Rewriting Systems

Thaïs Baudon , Carsten Fuhs , Laure Gonnord
WST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6
Conference papers hal-03418400v1

Rank: a tool to check program termination and computational complexity

Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Conference papers hal-00801571v1
Image document

Knit&Frog: Pattern matching compilation for custom memory representations

Thaïs Baudon , Laure Gonnord , Gabriel Radanne
[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Reports hal-03684334v3
Image document

Polyhedral Dataflow Programming: a Case Study

Romain Fontaine , Laure Gonnord , Lionel Morel
SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
Conference papers cea-01855997v2

Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems

Abdoulaye Gamatié , Laure Gonnord
ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp.71-80, ⟨10.1145/1967677.1967688⟩
Conference papers inria-00586137v1
Image document

Resource management with Qinna framework : the remote viewer case study

Laure Gonnord , Jean-Philippe Babau
[Technical Report] RR-6562, INRIA. 2008
Reports inria-00288593v2
Image document

Contributions to program analysis: expressivity and scalability

Laure Gonnord
Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
Habilitation à diriger des recherches tel-01633065v2
Image document

Parallelizing Structural Transformations on Tarbres

Paul Iannetta , Laure Gonnord , Gabriel Radanne
[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Reports hal-03208466v1
Image document

Practicing Domain-Specific Languages: From Code to Models

Laure Gonnord , Sébastien Mosser
14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
Conference papers hal-01865448v1
Image document

Abstract acceleration in Linear relation analysis

Laure Gonnord , Nicolas Halbwachs
Reports hal-00785116v1
Image document

Synthesis of ranking functions using extremal counterexamples

Laure Gonnord , David Monniaux , Gabriel Radanne
Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
Conference papers hal-01144622v1
Image document

Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction

Paul Feautrier , Abdoulaye Gamatié , Laure Gonnord
Reports hal-00780521v2
Image document

Accelerated Invariant Generation for C Programs with Aspic and C2fsm

Paul Feautrier , Laure Gonnord
Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. ⟨10.1016/j.entcs.2010.09.014⟩
Conference papers inria-00523320v1
Image document

On Confluence of Parallel-Innermost Term Rewriting

Thaïs Baudon , Carsten Fuhs , Laure Gonnord
IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Conference papers hal-03710007v2
Image document

Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)

Thaïs Baudon , Gabriel Radanne , Laure Gonnord
AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
Conference papers hal-03676356v1
Image document

Abstract Acceleration in Linear Relation Analysis

Laure Gonnord , Peter Schrammel
Science of Computer Programming, 2014, 93, part B (125 - 153), pp.125 - 153. ⟨10.1016/j.scico.2013.09.016⟩
Journal articles hal-00876627v1