BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gonnord:Laure

Contributed to:

PLDI 20152015
OOPSLA 20142014
ECMFA 20112011
LCTES 20112011
SAS 20112011
SAS 20102010
SAS 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.