Valentina Popescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2008–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ARITH | Flexpoint: Predictive Numerics for Deep Learning. | Valentina Popescu, Marcel Nassar, Xin Wang, Evren Tumer, Tristania Webb |
| 2017 | ARITH | Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming. | Mioara Joldes, Jean-Michel Muller, Valentina Popescu |
| 2017 | ITP | Formal Verification of a Floating-Point Expansion Renormalization Algorithm. | Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu |
| 2016 | ARITH | A New Multiplication Algorithm for Extended Precision Using Floating-Point Expansions. | Jean-Michel Muller, Valentina Popescu, Ping Tak Peter Tang |
| 2008 | ICSE | Automating discovery of software tuning parameters. | Nevon Brake, James R. Cordy, Elizabeth Dancy, Marin Litoiu, Valentina Popescu |