2017

Journal articles

titre
Combining Range and Inequality Information for Pointer Disambiguation
auteur
Maroua Maalej, Vitor Paisante, Fernando Magno Quintao Pereira, Laure Gonnord
article
Science of Computer Programming, Elsevier, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01625402/file/scp17_pointers_hal_authorversion.pdf BibTex

Conference papers

titre
Pointer Disambiguation via Strict Inequalities
auteur
Maroua Maalej, Vitor Paisante, Ramos Pedro, Laure Gonnord, Fernando Pereira
article
Code Generation and Optimisation , Feb 2017, Austin, United States. Proceedings of the 2017 International Symposium on Code Generation and Optimization, pp.134-147, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01387031/file/CGO17_AuthorVersion.pdf BibTex

Habilitation à diriger des recherches

titre
Contributions to program analysis: expressivity and scalability
auteur
Laure Gonnord
article
Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01633065/file/HDR_Gonnord-11-11-2017.pdf BibTex

Reports

titre
Static Analysis via Horn Encoding from synchronous Dataflow Programs
auteur
Laure Gonnord, Szabolcs-Marton Bagoly, Lionel Morel
article
[Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01614637/file/RR-0492-lustrearray.pdf BibTex
titre
Combining dataflow programming and polyhedral optimization, a case study
auteur
Romain Fontaine, Lionel Morel, Laure Gonnord
article
[Technical Report] RT-0490, Inria Rhône-Alpes; CITI - CITI Centre of Innovation in Telecommunications and Integration of services; LIP - ENS Lyon. 2017, pp.40
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01572439/file/RR-0490-dataflow-poly.pdf BibTex

2016

Conference papers

titre
Cell morphing: from array programs to array-free Horn clauses
auteur
David Monniaux, Laure Gonnord
article
Xavier Rival. 23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom. Static Analysis Symposium, Static Analysis Symposium. 〈http://staticanalysis.org/sas2016〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01206882/file/arrays_Horn_articleHAL.pdf BibTex
titre
Estimation of Parallel Complexity with Rewriting Techniques
auteur
Christophe Alias, Carsten Fuhs, Laure Gonnord
article
Workshop on Termination, Sep 2016, Obergurgl, Austria. Workshop on Termination, 2016, Workshop on Termination. 〈http://cl-informatik.uibk.ac.at/events/wst-2016/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01345914/file/rewriting_parallelism_articleHAL.pdf BibTex
titre
Symbolic Range Analysis of Pointers
auteur
Vitor Paisante, Maroua Maalej, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira
article
International Symposium of Code Generation and Optmization, Mar 2016, Barcelona, Spain. Proceedings of CGO'16, pp.791-809, 2016, Code Generation and Optimization
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01228928/file/CGO16_RangeAlias_hal_authorversion-with-numbers.pdf BibTex

Reports

titre
Combining Range and Inequality Information for Pointer Disambiguation
auteur
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
article
[Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01429777/file/RR-9076.pdf BibTex
titre
Verifying Programs with Arrays and Lists
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
[Intership report] ENS Lyon. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01337140/file/rapport.pdf BibTex

2015

Conference papers

titre
Synthesis of ranking functions using extremal counterexamples
auteur
Laure Gonnord, David Monniaux, Gabriel Radanne
article
Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. 〈10.1145/2737924.2737976〉
DOI
DOI : 10.1145/2737924.2737976
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01144622/file/PLDI15_termite_authorVersion.pdf BibTex

Reports

titre
Do we still need new Alias Analyses?
auteur
Maroua Maalej, Laure Gonnord
article
[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01228581/file/RR-8812.pdf BibTex

2014

Journal articles

titre
Abstract Acceleration in Linear Relation Analysis
auteur
Laure Gonnord, Peter Schrammel
article
Science of Computer Programming, Elsevier, 2014, 93, part B (125 - 153), pp.125 - 153. 〈10.1016/j.scico.2013.09.016〉
DOI
DOI : 10.1016/j.scico.2013.09.016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00876627/file/scpLRA4hal.pdf BibTex

Conference papers

titre
Validation of Memory Accesses Through Symbolic Analyses
auteur
Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Magno Quintão Pereira, Laure Gonnord
article
ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA'14), Oct 2014, Portland, Oregon, United States. pp.791-809, 2014, 〈10.1145/2660193.2660205〉
DOI
DOI : 10.1145/2660193.2660205
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006209/file/oopsla14_memory_author_version.pdf BibTex
titre
Real-World Loops are Easy to Predict: A Case Study
auteur
Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, Laure Gonnord
article
Workshop on Software Termination (WST'14), Jul 2014, Vienne, Austria. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006208/file/wst_realloops_author_version.pdf BibTex

2013

Conference papers

titre
Rank: a tool to check program termination and computational complexity
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Accès au bibtex
BibTex

Reports

titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00780521/file/Sync2Smt_RR_FeautrierGamatieGonnordV2.pdf BibTex
titre
Abstract Acceleration in Linear relation analysis (extended version)
auteur
Laure Gonnord, Peter Schrammel
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00787212/file/RR_LIFL_soushalV1.pdf BibTex

2012

Journal articles

titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
CSI Journal of Computing, Computer Society of India, 2012, 1 (4), pp.8:86--8:99
Accès au bibtex
BibTex

Conference papers

titre
SToP : Scalable Termination analysis of (C) Programs (tool presentation)
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
Tapas 2012, Sep 2012, Deauville, France. 2012
Accès au bibtex
BibTex

Reports

titre
Modular termination of C programs
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
[Research Report] RR-8166, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760917/file/RR-8166.pdf BibTex

2011

Conference papers

titre
Using Bounded Model Checking to Focus Fixpoint Iterations
auteur
David Monniaux, Laure Gonnord
article
Eran Yahav. Static analysis symposium (SAS), Sep 2011, Venezia, Italy. Springer, 6887, pp.369-385, 2011, Lecture notes in Computer Science. 〈10.1007/978-3-642-23702-7_27〉
DOI
DOI : 10.1007/978-3-642-23702-7_27
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00600087/file/Monniaux_Gonnord_SAS2011.pdf BibTex
titre
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
auteur
Benoit Combemale, Laure Gonnord, Vlad Rusu
article
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp.35-51, 2011, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00593425/file/ecmfa11-tracematching-camera.pdf BibTex
titre
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems
auteur
Abdoulaye Gamatié, Laure Gonnord
article
ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp.71-80, 2011, 〈10.1145/1967677.1967688〉
DOI
DOI : 10.1145/1967677.1967688
Accès au bibtex
BibTex

2010

Conference papers

titre
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
auteur
Paul Feautrier, Laure Gonnord
article
Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. 2010, 〈10.1016/j.entcs.2010.09.014〉
DOI
DOI : 10.1016/j.entcs.2010.09.014
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00523320/file/tapas10_FeautrierGonnord.authorversion.pdf BibTex
titre
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Static Analysis Symposium, Sep 2010, Perpignan, France. 2010, 〈10.1007/978-3-642-15769-1〉
DOI
DOI : 10.1007/978-3-642-15769-1
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00523298/file/rankingCompsys_sas2010.pdf BibTex

Reports

titre
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
auteur
Vlad Rusu, Laure Gonnord, Benoît Combemale
article
[Research Report] RR-7423, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00526561/file/RR-7423.pdf BibTex
titre
Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
[Research Report] RR-7235, INRIA. 2010, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00464356/file/RR-7235.pdf BibTex
titre
Abstract acceleration in Linear relation analysis
auteur
Laure Gonnord, Nicolas Halbwachs
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00785116/file/TR-2010-10GonnordHalbwachs.pdf BibTex

2009

Journal articles

titre
Qinna: a component-based framework for runtime safe resource adaptation of embedded systems
auteur
Laure Gonnord, Jean-Philippe Babau
article
Scalable Computing : Practice and Experience, West University of Timisoara, 2009, 10 (3), pp.253-264
Accès au bibtex
BibTex

Conference papers

titre
Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems
auteur
Laure Gonnord, Jean-Philippe Babau
article
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco. IEEE, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00349918/file/aiccsa2009_gonnord_babau_with_copyright.pdf BibTex

Reports

titre
Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord, Clément Quinson
article
[Research Report] 2009, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00434037/file/RR-7037.pdf BibTex

2008

Conference papers

titre
Runtime resource assurance and adaptation with Qinna framework : a case study
auteur
Jean-Philippe Babau, Laure Gonnord
article
Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, 2008, 〈10.1109/IMCSIT.2008.4747307〉
DOI
DOI : 10.1109/IMCSIT.2008.4747307
Accès au bibtex
BibTex

Reports

titre
Resource management with Qinna framework : the remote viewer case study
auteur
Laure Gonnord, Jean-Philippe Babau
article
[Technical Report] RR-6562, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00288593/file/RR-6562.pdf BibTex
titre
Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture
auteur
Laure Gonnord, Jean-Philippe Babau
article
[Research Report] RR-6565, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00289937/file/RR6565.pdf BibTex

2006

Journal articles

titre
Some ways to reduce the space dimension in polyhedra computations
auteur
Nicolas Halbwachs, David Merchat, Laure Gonnord
article
Formal Methods in System Design, Springer Verlag, 2006, 29 (1), pp.79-95. 〈10.1007/s10703-006-0013-2〉
DOI
DOI : 10.1007/s10703-006-0013-2
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00189633/file/main.pdf BibTex

Conference papers

titre
Combining Widening and Acceleration in Linear Relation Analysis
auteur
Laure Gonnord, Nicolas Halbwachs
article
Static Analysis (SAS 2006), Aug 2006, Seoul, South Korea. pp.144-160, 2006, 〈10.1007/11823230_10〉
DOI
DOI : 10.1007/11823230_10
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00189614/file/main.pdf BibTex

2003

Conference papers

titre
From Discrete Duration Calculus to Symbolic Automata
auteur
Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
article
Third International Workshop on Synchronous Languages, Applications, and Programs (SLAP 2004), Mar 2003, Barcelona, Spain. 153 (4), pp.3-18, 2006, 〈10.1016/j.entcs.2006.02.022〉
DOI
DOI : 10.1016/j.entcs.2006.02.022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00198433/file/slap04.pdf BibTex