Login / Signup
Rocco Salvia
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 8
Top Topics
Error Analysis
External Memory
Floating Point Arithmetic
Sparse Matrices
Top Venues
CoRR
ACM Trans. Embed. Comput. Syst.
TrustCom/BigDataSE
CAV (2)
</>
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)