Rocco Salvia

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 8

Top Topics

External Memory

Floating Point Arithmetic

Sparse Matrices

Top Venues

ACM Trans. Embed. Comput. Syst.

TrustCom/BigDataSE

Publications

George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. CAV (2) (2021)
George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. CoRR (2021)
Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
Intents Analysis of Android Apps for Confidentiality Leakage Detection. ACSS (1) (2020)
Fredrik Dahlqvist, Rocco Salvia, George A. Constantinides
A Probabilistic Approach to Floating-Point Arithmetic. ACSSC (2019)
Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric
A Mixed Real and Floating-Point Solver. NFM (2019)
Fredrik Dahlqvist, Rocco Salvia, George A. Constantinides
A Probabilistic Approach to Floating-Point Arithmetic. CoRR (2019)
Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi
SDLI: Static Detection of Leaks Across Intents. TrustCom/BigDataSE (2018)