Travelled to:1 × France
1 × Italy
1 × Korea
1 × United Kingdom
3 × USA
Collaborated with:D.Monniaux A.Gamatié N.Halbwachs G.Radanne B.Combemale V.Rusu C.Alias A.Darte P.Feautrier H.Nazaré I.Maffra W.Santos L.Barbosa F.M.Q.Pereira
Talks about:program (3) analysi (2) multi (2) bound (2) rank (2) use (2) counterexampl (1) flowchart (1) dimension (1) synthesi (1)
Person: Laure Gonnord
DBLP: Gonnord:Laure
Contributed to:
2015
2014
2011
2011
201120102006Wrote 7 papers:
- PLDI-2015-GonnordMR #ranking #synthesis #using
- Synthesis of ranking functions using extremal counterexamples (LG, DM, GR), pp. 608–618.
- OOPSLA-2014-NazareMSBGP #analysis #memory management #validation
- Validation of memory accesses through symbolic analyses (HN, IM, WS, LB, LG, FMQP), pp. 791–809.
- ECMFA-2011-CombemaleGR #domain-specific language #semantics
- A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.
- LCTES-2011-GamatieG #design #embedded #multi #performance #source code #static analysis
- Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems (AG, LG), pp. 71–80.
- SAS-2011-MonniauxG #bound #fixpoint #model checking #using
- Using Bounded Model Checking to Focus Fixpoint Iterations (DM, LG), pp. 369–385.
- SAS-2010-AliasDFG #bound #complexity #multi #ranking #source code #termination
- Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs (CA, AD, PF, LG), pp. 117–133.
- SAS-2006-GonnordH #analysis #linear
- Combining Widening and Acceleration in Linear Relation Analysis (LG, NH), pp. 144–160.