Rocco Salvia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2018–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CAV | Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. | George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia |
| 2019 | ACSSC | A Probabilistic Approach to Floating-Point Arithmetic. | Fredrik Dahlqvist, Rocco Salvia, George A. Constantinides |
| 2018 | TrustCom | SDLI: Static Detection of Leaks Across Intents. | Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi |