Nasrine Damouche
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CoDIT | On the Impact of Numerical Accuracy Optimization on General Performances of Programs. | Nasrine Damouche, Matthieu Martel |
| 2017 | SCOPES | Numerical Accuracy Improvement by Interprocedural Program Transformation. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2016 | CAV | Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. | Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock |
| 2016 | CoDIT | Data-types optimization for floating-point formats by program transformation. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2015 | FMICS | Intra-procedural Optimization of the Numerical Accuracy of Programs. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2015 | LOPSTR | Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |