Nombre de documents

35

CV de Laure Gonnord


Thèse1 document

  • Laure Danthony,gonnord. Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français. <tel-00196899>

Article dans une revue4 documents

  • Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear Relation Analysis. Science of Computer Programming, Elsevier, 2014, 93, part B (125 - 153), <10.1016/j.scico.2013.09.016>. <hal-00876627>
  • Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction. CSI Journal of Computing, Computer Society of India, 2012, 1 (4), pp.8:86--8:99. <hal-00860785>
  • Laure Gonnord, Jean-Philippe Babau. Qinna: a component-based framework for runtime safe resource adaptation of embedded systems. Scalable Computing : Practice and Experience, West University of Timisoara, 2009, 10 (3), pp.253-264. <hal-00670185>
  • Nicolas Halbwachs, David Merchat, Laure Gonnord. Some ways to reduce the space dimension in polyhedra computations. Formal Methods in System Design, Springer Verlag, 2006, 29 (1), pp.79-95. <10.1007/s10703-006-0013-2>. <hal-00189633>

Communication dans un congrès18 documents

  • Maroua Maalej, Vitor Paisante, Ramos Pedro, Laure Gonnord, Fernando Pereira. Pointer Disambiguation via Strict Inequalities. Code Generation and Optimisation , Feb 2017, Austin, United States. Proceedings of the 2017 International Symposium on Code Generation and Optimization, pp.134-147, 2017. <hal-01387031>
  • Vitor Paisante, Maroua Maalej, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira. Symbolic Range Analysis of Pointers. International Symposium of Code Generation and Optmization, Mar 2016, Barcelona, Spain. Proceedings of CGO'16, pp.791-809, 2016, Code Generation and Optimization. <hal-01228928>
  • David Monniaux, Laure Gonnord. Cell morphing: from array programs to array-free Horn clauses. Xavier Rival. 23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom. Static Analysis Symposium, Static Analysis Symposium. <http://staticanalysis.org/sas2016>. <hal-01206882v3>
  • Christophe Alias, Carsten Fuhs, Laure Gonnord. Estimation of Parallel Complexity with Rewriting Techniques. Workshop on Termination, Sep 2016, Obergurgl, Austria. Workshop on Termination, 2016, Workshop on Termination. <http://cl-informatik.uibk.ac.at/events/wst-2016/>. <hal-01345914>
  • Laure Gonnord, David Monniaux, Gabriel Radanne. Synthesis of ranking functions using extremal counterexamples. Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. <10.1145/2737924.2737976>. <hal-01144622>
  • Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, Laure Gonnord. Real-World Loops are Easy to Predict: A Case Study. Workshop on Software Termination (WST'14), Jul 2014, Vienne, Austria. 2014. <hal-01006208>
  • Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Magno Quintão Pereira, et al.. Validation of Memory Accesses Through Symbolic Analyses. 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>. <hal-01006209>
  • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Rank: a tool to check program termination and computational complexity. Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg. <hal-00801571>
  • Guillaume Andrieu, Christophe Alias, Laure Gonnord. SToP : Scalable Termination analysis of (C) Programs (tool presentation). Tapas 2012, Sep 2012, Deauville, France. 2012. <hal-00760926>
  • David Monniaux, Laure Gonnord. Using Bounded Model Checking to Focus Fixpoint Iterations. 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>. <hal-00600087>
  • Abdoulaye Gamatié, Laure Gonnord. Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems. 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>. <inria-00586137>
  • Benoit Combemale, Laure Gonnord, Vlad Rusu. A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. 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. <hal-00593425>
  • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. Static Analysis Symposium, Sep 2010, Perpignan, France. 2010, <10.1007/978-3-642-15769-1>. <inria-00523298>
  • Paul Feautrier, Laure Gonnord. Accelerated Invariant Generation for C Programs with Aspic and C2fsm. Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. 2010, <10.1016/j.entcs.2010.09.014>. <inria-00523320>
  • Laure Gonnord, Jean-Philippe Babau. Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems. AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco. IEEE, 2009. <inria-00349918v2>
  • Jean-Philippe Babau, Laure Gonnord. Runtime resource assurance and adaptation with Qinna framework : a case study. Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, 2008, <10.1109/IMCSIT.2008.4747307>. <hal-00801546>
  • Laure Gonnord, Nicolas Halbwachs. Combining Widening and Acceleration in Linear Relation Analysis. Static Analysis (SAS 2006), Aug 2006, Seoul, South Korea. pp.144-160, 2006, <10.1007/11823230_10>. <hal-00189614>
  • Laure Gonnord, Nicolas Halbwachs, Pascal Raymond. From Discrete Duration Calculus to Symbolic Automata. 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>. <hal-00198433>

Rapport12 documents

  • Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord. Combining Range and Inequality Information for Pointer Disambiguation. [Research Report] RR-9009, ENS Lyon; CNRS; INRIA. 2016. <hal-01429777>
  • Julien Braine, Laure Gonnord, David Monniaux. Verifying Programs with Arrays and Lists. [Intership report] ENS Lyon. 2016. <hal-01337140>
  • Maroua Maalej, Laure Gonnord. Do we still need new Alias Analyses?. [Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015. <hal-01228581>
  • Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction. 2013. <hal-00780521v2>
  • Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear relation analysis (extended version). 2013. <hal-00787212>
  • Guillaume Andrieu, Christophe Alias, Laure Gonnord. Modular termination of C programs. [Research Report] RR-8166, INRIA. 2012. <hal-00760917v2>
  • Vlad Rusu, Laure Gonnord, Benoît Combemale. Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics. [Research Report] RR-7423, INRIA. 2010. <inria-00526561>
  • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings. [Research Report] RR-7235, INRIA. 2010, pp.32. <inria-00464356>
  • Laure Gonnord, Nicolas Halbwachs. Abstract acceleration in Linear relation analysis. 2010. <hal-00785116>
  • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord, Clément Quinson. Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions. [Research Report] 2009, pp.31. <inria-00434037>
  • Laure Gonnord, Jean-Philippe Babau. Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture. [Research Report] RR-6565, INRIA. 2008. <inria-00289937v2>
  • Laure Gonnord, Jean-Philippe Babau. Resource management with Qinna framework : the remote viewer case study. [Technical Report] RR-6562, INRIA. 2008. <inria-00288593v2>