Laura Pozzi

Ospedale regionale di Lugano — Switzerland

Computer Science · Physical Sciences

27h-index2.4kcitations118works1.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Embedded Systems Design Techniques(65), Parallel Computing and Optimization Techniques(54), Interconnection Networks and Systems(34), Low-power high-performance VLSI design(18), VLSI and FPGA Design Techniques(17)

Publications118 total

An Improved Template for Approximate Computing
arXiv (Cornell University)·2025Open Access
An MLIR-Based Compilation Framework for Control Flow Management on Coarse Grained Reconfigurable Arrays
arXiv (Cornell University)·2025Open Access
The Rise and Fall of Automatic Instruction-Set Extensions
2025
Monomorphism-Based CGRA Mapping Via Space and Time Decoupling
2025· 1 citedOpen Access
Approximate Logic Synthesis via Iterative SMT-based Subcircuit Rewriting
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2025Open Access
Mapping Code on Coarse Grained Reconfigurable Arrays Using a SAT Solver
Lecture notes in computer science·2025Open Access
An MLIR-Based Compilation Framework for CGRA Application Deployment
Lecture notes in computer science·2025· 3 cited
ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters
arXiv (Cornell University)·2024Open Access
Digital Characterization of Primary School Pupils’ Handwriting with a Sensorized Ink Pen
2024· 4 cited
SAT-Based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs
ACM Journal on Emerging Technologies in Computing Systems·2024· 4 citedOpen Access
SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs
arXiv (Cornell University)·2024Open Access
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools
Empirical Software Engineering·2024· 1 citedOpen Access
Approximate Logic Synthesis: a New Dimension in the Synthesis of Digital Circuits
2023
A Parametrizable Template for Approximate Logic Synthesis
2023· 4 cited
Multi-Metric SMT-Based Evaluation of Worst-Case-Error for Approximate Circuits
2023· 1 cited
SAT-MapIt
2023· 1 citedOpen Access
ErrorEval
2023· 1 citedOpen Access
SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures
2023· 9 citedOpen Access
Graph Neural Networks for High-Level Synthesis Design Space Exploration
ACM Transactions on Design Automation of Electronic Systems·2022· 30 citedOpen Access
HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools
arXiv (Cornell University)·2022Open Access
page 1 of 6Next →

Frequent Co-authors

Paolo Ienne(24), Giovanni Ansaloni(16), Paolo Bonzini(7), Nikil Dutt(7), Lorenzo Ferretti(7), Miljan Vuletić(7), Partha Pratim Biswas(6), Kubilay Atasu(5), Loris Duch(4), Soumya Basu(4), David Atienza(4), Georgios Zacharopoulos(4), Ilaria Scarabottolo(3), Sudeshna Ghosh Banerjee(3), George A. Constantinides(2), Cesare Alippi(2), Francesco Regazzoni(2), Thomas Eisenbarth(2), Axel Pöschmann(2), Zeynep Toprak(2)