Lev Denisov

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Static Analysis

Denotational Semantics

Programming Language Constructs

Precision And Recall

Top Venues

PARMA-DITAM@HiPEAC

Publications

Lev Denisov, Gabriele Magnani, Daniele Cattaneo, Giovanni Agosta, Stefano Cherubin
The Impact of Profiling Versus Static Analysis in Precision Tuning. IEEE Access 12 (2024)
Gabriele Magnani, Lev Denisov, Daniele Cattaneo, Giovanni Agosta, Stefano Cherubin
Precision Tuning the Rust Memory-Safe Programming Language. PARMA-DITAM (2024)
Gabriele Magnani, Daniele Cattaneo, Lev Denisov, Giuseppe Tagliavini, Giovanni Agosta, Stefano Cherubin
SeTHet - Sending Tuned numbers over DMA onto Heterogeneous clusters: an automated precision tuning story. CF (2024)
Lev Denisov, Gabriele Magnani, Daniele Cattaneo, Giovanni Agosta, Stefano Cherubin
Profiling vs Static Analysis: The Impact on Precision Tuning. SAC (2024)
William Fornaciari, Giovanni Agosta, Daniele Cattaneo, Lev Denisov, Andrea Galimberti, Gabriele Magnani, Davide Zoni
Hardware and Software Support for Mixed Precision Computing: a Roadmap for Embedded and HPC Systems. DATE (2023)
Daniele Cattaneo, Alberto Maggioli, Gabriele Magnani, Lev Denisov, Shufan Yang, Giovanni Agosta, Stefano Cherubin
Mixed Precision in Heterogeneous Parallel Computing Platforms via Delayed Code Analysis. SAMOS (2023)
Gabriele Magnani, Lev Denisov, Daniele Cattaneo, Giovanni Agosta
Precision Tuning in Parallel Applications. PARMA-DITAM@HiPEAC (2022)