Search results for "Matthieu Martel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Matthieu Martel	RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations.	SYNASC	2011	DBLP DOI BibTeX RDF
1	Philippe Langlois, Matthieu Martel, Laurent Thévenoux	Accuracy versus time: a case study with summation algorithms.	PASCO	2010	DBLP DOI BibTeX RDF
1	Radhia Cousot, Matthieu Martel (eds.)	Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings	SAS	2010	DBLP DOI BibTeX RDF
1	Alexandre Chapoutot, Matthieu Martel	Différentiation automatique et formes de Taylor en analyse statique de programmes numériques.	Technique et Science Informatiques	2009	DBLP BibTeX RDF
1	Matthieu Martel	Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	Matthieu Martel	Program transformation for numerical precision.	PEPM	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
1	Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek	In Pursuit of Real Answers.	ICESS	2009	DBLP DOI BibTeX RDF
1	Alexandre Chapoutot, Matthieu Martel	Abstract Simulation: A Static Analysis of Simulink Models.	ICESS	2009	DBLP DOI BibTeX RDF
1	Olivier Bouissou, Matthieu Martel	Abstract Interpretation of the Physical Inputs of Embedded Programs.	VMCAI	2008	DBLP DOI BibTeX RDF
1	Olivier Bouissou, Matthieu Martel	A Hybrid Denotational Semantics for Hybrid Systems.	ESOP	2008	DBLP DOI BibTeX RDF
1	Matthieu Martel	Semantics-Based Transformation of Arithmetic Expressions.	SAS	2007	DBLP DOI BibTeX RDF
1	Matthieu Martel	Semantics of roundoff error propagation in finite precision calculations.	Higher-Order and Symbolic Computation	2006	DBLP DOI BibTeX RDF	Abstract interpretation, Floating-point arithmetic, IEEE 754 Standard, Numerical precision
1	Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot	A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.	CAV	2005	DBLP DOI BibTeX RDF
1	Matthieu Martel	An Overview of Semantics for the Validation of Numerical Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Matthieu Martel	Validation of assembler programs for DSPs: a static analyzer.	PASTE	2004	DBLP DOI BibTeX RDF	numerical accuracy, abstract interpretation, floating-point numbers
1	Matthieu Martel	Improving the Static Analysis of Loops by Dynamic Partitioning Techniques.	SCAM	2003	DBLP DOI BibTeX RDF
1	Sylvie Putot, Eric Goubault, Matthieu Martel	Static Analysis-Based Validation of Floating-Point Computations.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
1	Matthieu Martel	Static Analysis of the Numerical Stability of Loops.	SAS	2002	DBLP DOI BibTeX RDF	Relational Analysis, Semantics of Floating-point Numbers, Abstract Interpretation, Numerical Precision
1	Eric Goubault, Matthieu Martel, Sylvie Putot	Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.	ESOP	2002	DBLP DOI BibTeX RDF
1	Matthieu Martel	Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.	ESOP	2002	DBLP DOI BibTeX RDF	IEEE Standard 754, Abstract Interpretation, Floating-point Arithmetic, Numerical Precision
1	Matthieu Martel, Marc Gengler	Partial Evaluation of Concurrent Programs.	Euro-Par	2001	DBLP DOI BibTeX RDF	Partial Evaluation, Control Flow Analysis, Concurrent Languages, Binding-time Analysis
1	Matthieu Martel, Marc Gengler	Communication Topology Analysis for Concurrent Programs.	SPIN	2000	DBLP DOI BibTeX RDF
1	Marc Gengler, Matthieu Martel	Self-Applicable Partial Evaluation for the pi-Calculus.	PEPM	1997	DBLP DOI BibTeX RDF	meta-intepretation, parallelism, partial evaluation, pi-calculus, binding-time analysis

Publications of "Matthieu Martel" ( http://dblp.L3S.de/Authors/Matthieu_Martel )