Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Matthieu Martel
@inproceedings{DBLP:conf/codit/KhalifaM23,
author = {Dorra {Ben Khalifa} and
Matthieu Martel},
title = {On the Functional Properties of Automatically Generated Fixed-Point
Controllers},
booktitle = {9th International Conference on Control, Decision and Information
Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023},
pages = {786--791},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CoDIT58514.2023.10284265},
doi = {10.1109/CODIT58514.2023.10284265},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codit/KhalifaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/AgarwalDSGKM23,
author = {Tripti Agarwal and
Harvey Dam and
Ponnuswamy Sadayappan and
Ganesh Gopalakrishnan and
Dorra {Ben Khalifa} and
Matthieu Martel},
title = {What Operations can be Performed Directly on Compressed Arrays, and
with What Error?},
booktitle = {Proceedings of the {SC} '23 Workshops of The International Conference
on High Performance Computing, Network, Storage, and Analysis, {SC-W}
2023, Denver, CO, USA, November 12-17, 2023},
pages = {252--262},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3624062.3625122},
doi = {10.1145/3624062.3625122},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/AgarwalDSGKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09788,
author = {C{\'{e}}line Bellanger and
Pierre{-}Lo{\"{\i}}c Garoche and
Matthieu Martel and
C{\'{e}}lia Picard},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Towards Proved Formal Specification and Verification of {STL} Operators
as Synchronous Observers},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {188--204},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.14},
doi = {10.4204/EPTCS.395.14},
timestamp = {Fri, 22 Dec 2023 16:43:30 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bdc/Martel22,
author = {Matthieu Martel},
title = {Compressed Matrix Computations},
booktitle = {{IEEE/ACM} International Conference on Big Data Computing, Applications
and Technologies, {BDCAT} 2022, Vancouver, WA, USA, December 6-9,
2022},
pages = {68--76},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/BDCAT56447.2022.00016},
doi = {10.1109/BDCAT56447.2022.00016},
timestamp = {Sat, 25 Mar 2023 16:11:39 +0100},
biburl = {https://dblp.org/rec/conf/bdc/Martel22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/KhalifaM22,
author = {Dorra {Ben Khalifa} and
Matthieu Martel},
title = {Constrained Precision Tuning},
booktitle = {8th International Conference on Control, Decision and Information
Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022},
pages = {230--236},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CoDIT55151.2022.9804011},
doi = {10.1109/CODIT55151.2022.9804011},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codit/KhalifaM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/BessaiKBM22,
author = {Sofiane Bessa{\"{\i}} and
Dorra {Ben Khalifa} and
Hanane Benmaghnia and
Matthieu Martel},
editor = {Karol Desnos and
Sergio A. Pertuz},
title = {Fixed-Point Code Synthesis Based on Constraint Generation},
booktitle = {Design and Architecture for Signal and Image Processing - 15th International
Workshop, {DASIP} 2022, Budapest, Hungary, June 20-22, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13425},
pages = {108--120},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12748-9\_9},
doi = {10.1007/978-3-031-12748-9\_9},
timestamp = {Wed, 07 Jun 2023 22:07:59 +0200},
biburl = {https://dblp.org/rec/conf/dasip/BessaiKBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/SoualahM22,
author = {Asma Soualah and
Matthieu Martel},
title = {Efficient Neural Network Validation with Affine Forms},
booktitle = {6th International Conference on System Reliability and Safety, {ICSRS}
2022, Venice, Italy, November 23-25, 2022},
pages = {179--185},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSRS56243.2022.10067295},
doi = {10.1109/ICSRS56243.2022.10067295},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsrs/SoualahM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xloop-ws/KhalifaLLMG22,
author = {Dorra {Ben Khalifa} and
Xinyi Li and
Ignacio Laguna and
Matthieu Martel and
Ganesh Gopalakrishnan},
title = {Toward Increasing Trust in Exascale Simulations},
booktitle = {4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing,
{XLOOP} 2022, Dallas, TX, USA, November 13-18, 2022},
pages = {26--31},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/XLOOP56614.2022.00010},
doi = {10.1109/XLOOP56614.2022.00010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/xloop-ws/KhalifaLLMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-02095,
author = {Hanane Benmaghnia and
Matthieu Martel and
Yassamine Seladji},
title = {Fixed-Point Code Synthesis For Neural Networks},
journal = {CoRR},
volume = {abs/2202.02095},
year = {2022},
url = {https://arxiv.org/abs/2202.02095},
eprinttype = {arXiv},
eprint = {2202.02095},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-02095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13007,
author = {Matthieu Martel},
title = {Compressed Matrix Computations},
journal = {CoRR},
volume = {abs/2202.13007},
year = {2022},
url = {https://arxiv.org/abs/2202.13007},
eprinttype = {arXiv},
eprint = {2202.13007},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-07486,
author = {Dorra {Ben Khalifa} and
Matthieu Martel},
title = {Constrained Precision Tuning},
journal = {CoRR},
volume = {abs/2203.07486},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.07486},
doi = {10.48550/ARXIV.2203.07486},
eprinttype = {arXiv},
eprint = {2203.07486},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-07486.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-05339,
author = {Farah Benmouhoub and
Pierre{-}Lo{\"{\i}}c Garoche and
Matthieu Martel},
title = {An Efficient Summation Algorithm for the Accuracy, Convergence and
Reproducibility of Parallel Numerical Methods},
journal = {CoRR},
volume = {abs/2205.05339},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.05339},
doi = {10.48550/ARXIV.2205.05339},
eprinttype = {arXiv},
eprint = {2205.05339},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-05339.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/KhalifaM21,
author = {Dorra {Ben Khalifa} and
Matthieu Martel},
editor = {Osvaldo Gervasi and
Beniamino Murgante and
Sanjay Misra and
Chiara Garau and
Ivan Blecic and
David Taniar and
Bernady O. Apduhan and
Ana Maria A. C. Rocha and
Eufemia Tarantino and
Carmelo Maria Torre},
title = {A Study of the Floating-Point Tuning Behaviour on the N-body Problem},
booktitle = {Computational Science and Its Applications - {ICCSA} 2021 - 21st International
Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part
{V}},
series = {Lecture Notes in Computer Science},
volume = {12953},
pages = {176--190},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86976-2\_12},
doi = {10.1007/978-3-030-86976-2\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/KhalifaM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icict2/KhalifaM21,
author = {Dorra {Ben Khalifa} and
Matthieu Martel},
title = {An Evaluation of {POP} Performance for Tuning Numerical Programs in
Floating-Point Arithmetic},
booktitle = {4th International Conference on Information and Computer Technologies,
{ICICT} 2021, Kahului, HI, USA, March 11-14, 2021},
pages = {69--78},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICICT52872.2021.00019},
doi = {10.1109/ICICT52872.2021.00019},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icict2/KhalifaM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sai/BenmouhoubGM21,
author = {Farah Benmouhoub and
Pierre{-}Lo{\"{\i}}c Garoche and
Matthieu Martel},
editor = {Kohei Arai},
title = {Parallel Accurate and Reproducible Summation},
booktitle = {Intelligent Computing - Proceedings of the 2021 Computing Conference,
Volume 1, {SAI} 2021, Virtual Event, 15-16 July, 2021},
series = {Lecture Notes in Networks and Systems},
volume = {283},
pages = {363--382},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80119-9\_21},
doi = {10.1007/978-3-030-80119-9\_21},
timestamp = {Tue, 21 Feb 2023 10:40:01 +0100},
biburl = {https://dblp.org/rec/conf/sai/BenmouhoubGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AdjeKM21,
author = {Assal{\'{e}} Adj{\'{e}} and
Dorra {Ben Khalifa} and
Matthieu Martel},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Fast and Efficient Bit-Level Precision Tuning},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {1--24},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_1},
doi = {10.1007/978-3-030-88806-0\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AdjeKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BenmouhoubGM21,
author = {Farah Benmouhoub and
Pierre{-}Lo{\"{\i}}c Garoche and
Matthieu Martel},
editor = {Roderick Bloem and
Rayna Dimitrova and
Chuchu Fan and
Natasha Sharygina},
title = {An Efficient Summation Algorithm for the Accuracy, Convergence and
Reproducibility of Parallel Numerical Methods},
booktitle = {Software Verification - 13th International Conference, {VSTTE} 2021,
New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop,
{NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13124},
pages = {165--181},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-95561-8\_10},
doi = {10.1007/978-3-030-95561-8\_10},
timestamp = {Sun, 02 Oct 2022 16:17:05 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BenmouhoubGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05241,
author = {Assal{\'{e}} Adj{\'{e}} and
Dorra {Ben Khalifa} and
Matthieu Martel},
title = {Fast and Efficient Bit-Level Precision Tuning},
journal = {CoRR},
volume = {abs/2103.05241},
year = {2021},
url = {https://arxiv.org/abs/2103.05241},
eprinttype = {arXiv},
eprint = {2103.05241},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-05241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00228,
author = {Dorra {Ben Khalifa} and
Matthieu Martel},
title = {A Study of the Floating-Point Tuning Behaviour on the N-body Problem},
journal = {CoRR},
volume = {abs/2108.00228},
year = {2021},
url = {https://arxiv.org/abs/2108.00228},
eprinttype = {arXiv},
eprint = {2108.00228},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotais/KhalifaM20,
author = {Dorra {Ben Khalifa} and
Matthieu Martel},
title = {Precision Tuning of an Accelerometer-Based Pedometer Algorithm for
IoT Devices},
booktitle = {{IEEE} International Conference on Internet of Things and Intelligence
System, IoTaIS 2020, Bali, Indonesia, January 27-28, 2021},
pages = {116--122},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IoTaIS50849.2021.9359700},
doi = {10.1109/IOTAIS50849.2021.9359700},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iotais/KhalifaM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/BarboteuDM19,
author = {Mika{\"{e}}l Barboteu and
Nacera Djehaf and
Matthieu Martel},
title = {Numerically accurate code synthesis for Gauss pivoting method to solve
linear systems coming from mechanics},
journal = {Comput. Math. Appl.},
volume = {77},
number = {11},
pages = {2883--2893},
year = {2019},
url = {https://doi.org/10.1016/j.camwa.2018.08.021},
doi = {10.1016/J.CAMWA.2018.08.021},
timestamp = {Mon, 17 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/BarboteuDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/MansouriMS19,
author = {Asma Mansouri and
Matthieu Martel and
Oana{-}Silvia Serea},
title = {Fixed Point Computation by Exponentiating Linear Operators},
booktitle = {6th International Conference on Control, Decision and Information
Technologies, CoDIT 2019, Paris, France, April 23-26, 2019},
pages = {1096--1102},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CoDIT.2019.8820696},
doi = {10.1109/CODIT.2019.8820696},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/codit/MansouriMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/KhalifaMA19,
author = {Dorra {Ben Khalifa} and
Matthieu Martel and
Assal{\'{e}} Adj{\'{e}}},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {{POP:} {A} Tuning Assistant for Mixed-Precision Floating-Point Computations},
booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1165},
pages = {77--94},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_5},
doi = {10.1007/978-3-030-46902-3\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/KhalifaMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iintec/KhalifaM19,
author = {Dorra {Ben Khalifa} and
Matthieu Martel},
title = {Precision Tuning and Internet of Things},
booktitle = {International Conference on Internet of Things, Embedded Systems and
Communications, {IINTEC} 2019, Tunis, Tunisia, December 20-22, 2019},
pages = {80--85},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IINTEC48298.2019.9112133},
doi = {10.1109/IINTEC48298.2019.9112133},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iintec/KhalifaM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/IoualalenM19,
author = {Arnault Ioualalen and
Matthieu Martel},
editor = {David Parker and
Verena Wolf},
title = {Neural Network Precision Tuning},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {129--143},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_8},
doi = {10.1007/978-3-030-30281-8\_8},
timestamp = {Fri, 18 Oct 2019 11:18:54 +0200},
biburl = {https://dblp.org/rec/conf/qest/IoualalenM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijiei/DamoucheMC18,
author = {Nasrine Damouche and
Matthieu Martel and
Alexandre Chapoutot},
title = {Numerical program optimisation by automatic improvement of the accuracy
of computations},
journal = {Int. J. Intell. Eng. Informatics},
volume = {6},
number = {1/2},
pages = {115--145},
year = {2018},
url = {https://doi.org/10.1504/IJIEI.2018.10012074},
doi = {10.1504/IJIEI.2018.10012074},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijiei/DamoucheMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/DamoucheM18,
author = {Nasrine Damouche and
Matthieu Martel},
title = {On the Impact of Numerical Accuracy Optimization on General Performances
of Programs},
booktitle = {5th International Conference on Control, Decision and Information
Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018},
pages = {333--340},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CoDIT.2018.8394897},
doi = {10.1109/CODIT.2018.8394897},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/codit/DamoucheM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Martel18,
author = {Matthieu Martel},
editor = {Jing Sun and
Meng Sun},
title = {Strongly Typed Numerical Computations},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {197--214},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_12},
doi = {10.1007/978-3-030-02450-5\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Martel18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/DamoucheM18,
author = {Nasrine Damouche and
Matthieu Martel},
editor = {Luis Gomes and
Andreas Ahrens and
C{\'{e}}sar Benavente{-}Peces and
Mohammad S. Obaidat},
title = {Mixed Precision Tuning with Salsa},
booktitle = {Proceedings of the 8th International Joint Conference on Pervasive
and Embedded Computing and Communication Systems, {PECCS} 2018, Porto,
Portugal, July 29-30, 2018},
pages = {185--194},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006915501850194},
doi = {10.5220/0006915501850194},
timestamp = {Wed, 29 Aug 2018 15:27:26 +0200},
biburl = {https://dblp.org/rec/conf/peccs/DamoucheM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ThevenouxLM17,
author = {Laurent Th{\'{e}}venoux and
Philippe Langlois and
Matthieu Martel},
title = {Automatic source-to-source error compensation of floating-point programs:
code synthesis to optimize accuracy and time},
journal = {Concurr. Comput. Pract. Exp.},
volume = {29},
number = {7},
year = {2017},
url = {https://doi.org/10.1002/cpe.3953},
doi = {10.1002/CPE.3953},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/ThevenouxLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MartelNR17,
author = {Matthieu Martel and
Amine Najahi and
Guillaume Revy},
title = {Trade-offs of certified fixed-point code synthesis for linear algebra
basic blocks},
journal = {J. Syst. Archit.},
volume = {76},
pages = {133--148},
year = {2017},
url = {https://doi.org/10.1016/j.sysarc.2016.11.010},
doi = {10.1016/J.SYSARC.2016.11.010},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/MartelNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DamoucheMC17,
author = {Nasrine Damouche and
Matthieu Martel and
Alexandre Chapoutot},
title = {Improving the numerical accuracy of programs by automatic transformation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {4},
pages = {427--448},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0435-0},
doi = {10.1007/S10009-016-0435-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DamoucheMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/IoualalenMN17,
author = {Arnault Ioualalen and
Matthieu Martel and
Nicolas Normand},
title = {An Overview of Numalis Software Suite for Reliable Numerical Computation},
booktitle = {2017 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
pages = {1--4},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSREW.2017.40},
doi = {10.1109/ISSREW.2017.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/IoualalenMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DamoucheM17,
author = {Nasrine Damouche and
Matthieu Martel},
editor = {Bruno Dutertre and
Natarajan Shankar},
title = {Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs},
booktitle = {Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May
19-20, 2017},
series = {Kalpa Publications in Computing},
volume = {5},
pages = {63--76},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/j2fd},
doi = {10.29007/J2FD},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DamoucheM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Martel17,
author = {Matthieu Martel},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Floating-Point Format Inference in Mixed-Precision},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {230--246},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_16},
doi = {10.1007/978-3-319-57288-8\_16},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Martel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/DamoucheMC17,
author = {Nasrine Damouche and
Matthieu Martel and
Alexandre Chapoutot},
editor = {Sander Stuijk},
title = {Numerical Accuracy Improvement by Interprocedural Program Transformation},
booktitle = {Proceedings of the 20th International Workshop on Software and Compilers
for Embedded Systems, {SCOPES} 2017, Sankt Goar, Germany, June 12-13,
2017},
pages = {1--10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3078659.3078662},
doi = {10.1145/3078659.3078662},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scopes/DamoucheMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016nsv,
editor = {Sergiy Bogomolov and
Matthieu Martel and
Pavithra Prabhakar},
title = {Numerical Software Verification - 9th International Workshop, {NSV}
2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
2016], Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10152},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-54292-8},
doi = {10.1007/978-3-319-54292-8},
isbn = {978-3-319-54291-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2016nsv.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DamoucheMPQST16,
author = {Nasrine Damouche and
Matthieu Martel and
Pavel Panchekha and
Chen Qiu and
Alexander Sanchez{-}Stern and
Zachary Tatlock},
editor = {Sergiy Bogomolov and
Matthieu Martel and
Pavithra Prabhakar},
title = {Toward a Standard Benchmark Format and Suite for Floating-Point Analysis},
booktitle = {Numerical Software Verification - 9th International Workshop, {NSV}
2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
2016], Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10152},
pages = {63--77},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54292-8\_6},
doi = {10.1007/978-3-319-54292-8\_6},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/DamoucheMPQST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/DamoucheMC16,
author = {Nasrine Damouche and
Matthieu Martel and
Alexandre Chapoutot},
title = {Data-types optimization for floating-point formats by program transformation},
booktitle = {International Conference on Control, Decision and Information Technologies,
CoDIT 2016, Saint Julian's, Malta, April 6-8, 2016},
pages = {576--581},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CoDIT.2016.7593626},
doi = {10.1109/CODIT.2016.7593626},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/codit/DamoucheMC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/DamoucheMC15,
author = {Nasrine Damouche and
Matthieu Martel and
Alexandre Chapoutot},
editor = {Claudia Di Napoli and
Valentina Salapura and
Hubertus Franke and
Rui Hou},
title = {Optimizing the accuracy of a rocket trajectory simulation by program
transformation},
booktitle = {Proceedings of the 12th {ACM} International Conference on Computing
Frontiers, CF'15, Ischia, Italy, May 18-21, 2015},
pages = {40:1--40:2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2742854.2742894},
doi = {10.1145/2742854.2742894},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cf/DamoucheMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/ThevenouxLM15,
author = {Laurent Th{\'{e}}venoux and
Philippe Langlois and
Matthieu Martel},
editor = {Christian Plessl and
Didier El Baz and
Guojing Cong and
Jo{\~{a}}o M. P. Cardoso and
Lu{\'{\i}}s Veiga and
Thomas Rauber},
title = {Automatic Source-to-Source Error Compensation of Floating-Point Programs},
booktitle = {18th {IEEE} International Conference on Computational Science and
Engineering, {CSE} 2015, Porto, Portugal, October 21-23, 2015},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSE.2015.11},
doi = {10.1109/CSE.2015.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/ThevenouxLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/DamoucheMC15,
author = {Nasrine Damouche and
Matthieu Martel and
Alexandre Chapoutot},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {Intra-procedural Optimization of the Numerical Accuracy of Programs},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {31--46},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_3},
doi = {10.1007/978-3-319-19458-5\_3},
timestamp = {Mon, 03 Jan 2022 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/fmics/DamoucheMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DamoucheMC15,
author = {Nasrine Damouche and
Matthieu Martel and
Alexandre Chapoutot},
editor = {Moreno Falaschi},
title = {Impact of Accuracy Optimization on the Convergence of Numerical Iterative
Methods},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {143--160},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_9},
doi = {10.1007/978-3-319-27436-2\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DamoucheMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BogomolovM15,
author = {Sergiy Bogomolov and
Matthieu Martel},
editor = {Sergiy Bogomolov and
Matthieu Martel},
title = {Preface},
booktitle = {Seventh and Eighth International Workshops on Numerical Software Verification,
{NSV} 2014, Vienna, Austria, July 17-18, 2014 {\&} {NSV} 2015,
Seattle, WA, USA, April 13, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {317},
pages = {1--2},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.10.001},
doi = {10.1016/J.ENTCS.2015.10.001},
timestamp = {Thu, 10 Nov 2022 15:22:15 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BogomolovM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DamoucheMC15,
author = {Nasrine Damouche and
Matthieu Martel and
Alexandre Chapoutot},
editor = {Sergiy Bogomolov and
Matthieu Martel},
title = {Transformation of a {PID} Controller for Numerical Accuracy},
booktitle = {Seventh and Eighth International Workshops on Numerical Software Verification,
{NSV} 2014, Vienna, Austria, July 17-18, 2014 {\&} {NSV} 2015,
Seattle, WA, USA, April 13, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {317},
pages = {47--54},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.10.006},
doi = {10.1016/J.ENTCS.2015.10.006},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DamoucheMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsv/2015,
editor = {Sergiy Bogomolov and
Matthieu Martel},
title = {Seventh and Eighth International Workshops on Numerical Software Verification,
{NSV} 2014, Vienna, Austria, July 17-18, 2014 {\&} {NSV} 2015,
Seattle, WA, USA, April 13, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {317},
publisher = {Elsevier},
year = {2015},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/317/suppl/C},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsv/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/MartelNR14,
author = {Matthieu Martel and
Amine Najahi and
Guillaume Revy},
editor = {Eduardo de la Torre and
S{\'{e}}bastien Pillement},
title = {Toward the synthesis of fixed-point code for matrix inversion based
on Cholesky decomposition},
booktitle = {Proceedings of the 2014 Conference on Design and Architectures for
Signal and Image Processing, {DASIP} 2014, Madrid, Spain, October
8-10, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/DASIP.2014.7115609},
doi = {10.1109/DASIP.2014.7115609},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/dasip/MartelNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/MartelNR14,
author = {Matthieu Martel and
Amine Najahi and
Guillaume Revy},
editor = {C{\'{e}}sar Benavente{-}Peces and
Andreas Ahrens and
Joaquim Filipe},
title = {Code Size and Accuracy-aware Synthesis of Fixed-point Programs for
Matrix Multiplication},
booktitle = {{PECCS} 2014 - Proceedings of the 4th International Conference on
Pervasive and Embedded Computing and Communication Systems, Lisbon,
Portugal, 7-9 January, 2014},
pages = {204--214},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004884802040214},
doi = {10.5220/0004884802040214},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/peccs/MartelNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/IoualalenM13,
author = {Arnault Ioualalen and
Matthieu Martel},
title = {Synthesizing accurate floating-point formulas},
booktitle = {24th International Conference on Application-Specific Systems, Architectures
and Processors, {ASAP} 2013, Washington, DC, USA, June 5-7, 2013},
pages = {113--116},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASAP.2013.6567563},
doi = {10.1109/ASAP.2013.6567563},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asap/IoualalenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LogozzoM13,
author = {Francesco Logozzo and
Matthieu Martel},
editor = {Anindya Banerjee and
Olivier Danvy and
Kyung{-}Goo Doh and
John Hatcliff},
title = {Automatic Repair of Overflowing Expressions with Abstract Interpretation},
booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs:
Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
series = {{EPTCS}},
volume = {129},
pages = {341--357},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.129.21},
doi = {10.4204/EPTCS.129.21},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/LogozzoM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/IoualalenM12,
author = {Arnault Ioualalen and
Matthieu Martel},
title = {Synthesis of arithmetic expressions for the fixed-point arithmetic:
The Sardana approach},
booktitle = {Proceedings of the 2012 Conference on Design and Architectures for
Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
23-25, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6385404/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/IoualalenM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/IoualalenM12,
author = {Arnault Ioualalen and
Matthieu Martel},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {A New Abstract Domain for the Representation of Mathematically Equivalent
Expressions},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {75--93},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_8},
doi = {10.1007/978-3-642-33125-1\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/IoualalenM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Martel12,
author = {Matthieu Martel},
editor = {Jan Midtgaard and
Matthew Might},
title = {Accurate Evaluation of Arithmetic Expressions (Invited Talk)},
booktitle = {Proceedings of the Fourth International Workshop on Numerical and
Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
10, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {287},
pages = {3--16},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.09.002},
doi = {10.1016/J.ENTCS.2012.09.002},
timestamp = {Fri, 25 Nov 2022 14:31:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Martel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Martel11,
author = {Matthieu Martel},
editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {RangeLab: {A} Static-Analyzer to Bound the Accuracy of Finite-Precision
Computations},
booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
26-29, 2011},
pages = {118--122},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SYNASC.2011.52},
doi = {10.1109/SYNASC.2011.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Martel11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/LangloisMT10,
author = {Philippe Langlois and
Matthieu Martel and
Laurent Th{\'{e}}venoux},
editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
title = {Accuracy versus time: a case study with summation algorithms},
booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
pages = {121--130},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837210.1837229},
doi = {10.1145/1837210.1837229},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cap/LangloisMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2010,
editor = {Radhia Cousot and
Matthieu Martel},
title = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1},
doi = {10.1007/978-3-642-15769-1},
isbn = {978-3-642-15768-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Martel09,
author = {Matthieu Martel},
title = {Enhancing the implementation of mathematical formulas for fixed-point
and floating-point arithmetics},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {3},
pages = {265--278},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0068-y},
doi = {10.1007/S10703-009-0068-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Martel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/ChapoutotM09,
author = {Alexandre Chapoutot and
Matthieu Martel},
title = {Diff{\'{e}}rentiation automatique et formes de Taylor en analyse
statique de programmes num{\'{e}}riques},
journal = {Tech. Sci. Informatiques},
volume = {28},
number = {4},
pages = {503--531},
year = {2009},
url = {https://doi.org/10.3166/tsi.28.503-531},
doi = {10.3166/TSI.28.503-531},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/ChapoutotM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/ChapoutotM09,
author = {Alexandre Chapoutot and
Matthieu Martel},
editor = {Tianzhou Chen and
Dimitrios N. Serpanos and
Walid Taha},
title = {Abstract Simulation: {A} Static Analysis of Simulink Models},
booktitle = {International Conference on Embedded Software and Systems, {ICESS}
'09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
pages = {83--92},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICESS.2009.80},
doi = {10.1109/ICESS.2009.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icess/ChapoutotM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/ZhuTCMS09,
author = {Angela Yun Zhu and
Walid Taha and
Robert Cartwright and
Matthieu Martel and
Jeremy G. Siek},
editor = {Tianzhou Chen and
Dimitrios N. Serpanos and
Walid Taha},
title = {In Pursuit of Real Answers},
booktitle = {International Conference on Embedded Software and Systems, {ICESS}
'09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
pages = {115--122},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICESS.2009.91},
doi = {10.1109/ICESS.2009.91},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icess/ZhuTCMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Martel09,
author = {Matthieu Martel},
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Program transformation for numerical precision},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
pages = {101--110},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480945.1480960},
doi = {10.1145/1480945.1480960},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Martel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BouissouM08,
author = {Olivier Bouissou and
Matthieu Martel},
editor = {Sophia Drossopoulou},
title = {A Hybrid Denotational Semantics for Hybrid Systems},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {63--77},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_5},
doi = {10.1007/978-3-540-78739-6\_5},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/BouissouM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BouissouM08,
author = {Olivier Bouissou and
Matthieu Martel},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Abstract Interpretation of the Physical Inputs of Embedded Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {37--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_8},
doi = {10.1007/978-3-540-78163-9\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BouissouM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Martel07,
author = {Matthieu Martel},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Semantics-Based Transformation of Arithmetic Expressions},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {298--314},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_19},
doi = {10.1007/978-3-540-74061-2\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Martel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Martel06,
author = {Matthieu Martel},
title = {Semantics of roundoff error propagation in finite precision calculations},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {1},
pages = {7--30},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-8608-2},
doi = {10.1007/S10990-006-8608-2},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Martel06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CostanGGMP05,
author = {Alexandru Costan and
Stephane Gaubert and
Eric Goubault and
Matthieu Martel and
Sylvie Putot},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {A Policy Iteration Algorithm for Computing Fixed Points in Static
Analysis of Programs},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {462--475},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_46},
doi = {10.1007/11513988\_46},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CostanGGMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Martel05,
author = {Matthieu Martel},
editor = {Radhia Cousot},
title = {An Overview of Semantics for the Validation of Numerical Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {59--77},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_4},
doi = {10.1007/978-3-540-30579-8\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Martel05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Martel04,
author = {Matthieu Martel},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Validation of assembler programs for DSPs: a static analyzer},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {8--13},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996827},
doi = {10.1145/996821.996827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Martel04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PutotGM03,
author = {Sylvie Putot and
Eric Goubault and
Matthieu Martel},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Static Analysis-Based Validation of Floating-Point Computations},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {306--313},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_18},
doi = {10.1007/978-3-540-24738-8\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PutotGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/Martel03,
author = {Matthieu Martel},
title = {Improving the Static Analysis of Loops by Dynamic Partitioning Techniques},
booktitle = {3rd {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2003), 26-27 September 2003, Amsterdam, The Netherlands},
pages = {13--21},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SCAM.2003.1238027},
doi = {10.1109/SCAM.2003.1238027},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/Martel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Martel02,
author = {Matthieu Martel},
editor = {Daniel Le M{\'{e}}tayer},
title = {Propagation of Roundoff Errors in Finite Precision Computations: {A}
Semantics Approach},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {194--208},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_14},
doi = {10.1007/3-540-45927-8\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Martel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GoubaultMP02,
author = {Eric Goubault and
Matthieu Martel and
Sylvie Putot},
editor = {Daniel Le M{\'{e}}tayer},
title = {Asserting the Precision of Floating-Point Computations: {A} Simple
Abstract Interpreter},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {209--212},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_15},
doi = {10.1007/3-540-45927-8\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GoubaultMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Martel02,
author = {Matthieu Martel},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Static Analysis of the Numerical Stability of Loops},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {133--150},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_12},
doi = {10.1007/3-540-45789-5\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Martel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MartelG01,
author = {Matthieu Martel and
Marc Gengler},
editor = {Rizos Sakellariou and
John A. Keane and
John R. Gurd and
Len Freeman},
title = {Partial Evaluation of Concurrent Programs},
booktitle = {Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference
Manchester, {UK} August 28-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2150},
pages = {504--513},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44681-8\_74},
doi = {10.1007/3-540-44681-8\_74},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/MartelG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MartelG00,
author = {Matthieu Martel and
Marc Gengler},
editor = {Klaus Havelund and
John Penix and
Willem Visser},
title = {Communication Topology Analysis for Concurrent Programs},
booktitle = {{SPIN} Model Checking and Software Verification, 7th International
{SPIN} Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1885},
pages = {265--286},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722468\_16},
doi = {10.1007/10722468\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/MartelG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GenglerM97,
author = {Marc Gengler and
Matthieu Martel},
editor = {John P. Gallagher and
Charles Consel and
A. Michael Berman},
title = {Self-Applicable Partial Evaluation for the pi-Calculus},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '97), Amsterdam,
The Netherlands, June 12-13, 1997},
pages = {36--46},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258993.259000},
doi = {10.1145/258993.259000},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pepm/GenglerM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
