BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Hungary
1 × Spain
1 × United Kingdom
2 × The Netherlands
3 × France
3 × USA
Collaborated with:
∅ O.Bouissou E.Goubault S.Putot A.Ioualalen M.Gengler A.Costan S.Gaubert
Talks about:
program (5) static (4) semant (4) abstract (3) analysi (3) precis (3) comput (3) numer (3) transform (2) interpret (2)

Person: Matthieu Martel

DBLP DBLP: Martel:Matthieu

Facilitated 1 volumes:

SAS 2010Ed

Contributed to:

SAS 20122012
PEPM 20092009
ESOP 20082008
VMCAI 20082008
SAS 20072007
CAV 20052005
VMCAI 20052005
PASTE 20042004
SCAM 20032003
ESOP 20022002
SAS 20022002
PEPM 19971997

Wrote 13 papers:

SAS-2012-IoualalenM #abstract domain #representation
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.
PEPM-2009-Martel #precise #program transformation
Program transformation for numerical precision (MM), pp. 101–110.
ESOP-2008-BouissouM #hybrid #semantics
A Hybrid Denotational Semantics for Hybrid Systems (OB, MM), pp. 63–77.
VMCAI-2008-BouissouM #abstract interpretation #embedded #physics #source code
Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
SAS-2007-Martel #semantics
Semantics-Based Transformation of Arithmetic Expressions (MM), pp. 298–314.
CAV-2005-CostanGGMP #algorithm #fixpoint #policy #source code #static analysis
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs (AC, SG, EG, MM, SP), pp. 462–475.
VMCAI-2005-Martel #overview #semantics #source code #validation
An Overview of Semantics for the Validation of Numerical Programs (MM), pp. 59–77.
PASTE-2004-Martel #assembly #source code #validation
Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.
SCAM-2003-Martel #clustering #static analysis
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques (MM), pp. 13–21.
ESOP-2002-GoubaultMP #float #interpreter #precise
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
ESOP-2002-Martel #approach #fault #finite #precise #semantics
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.
SAS-2002-Martel #static analysis
Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.
PEPM-1997-GenglerM #partial evaluation #self #π-calculus
Self-Applicable Partial Evaluation for the π-Calculus (MG, MM), pp. 36–46.
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.