Giovanni Agosta

Carlo Cavazzoni

Nico Sanna

J. Supercomput., 2021

FixM: Code generation of fixed point mathematical functions.

[BibT_eX]

[DOI]

Sustain. Comput. Informatics Syst., 2021

Tools for Reduced Precision Computation: A Survey.

[BibT_eX]

[DOI]

Stefano Cherubin

Alberto Riccardo Martinelli

ACM Comput. Surv., 2021

The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2021

TEXTAROSSA: Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale.

[BibT_eX]

[DOI]

Pier Stanislao Paolucci

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

Architecture-aware Precision Tuning with Multiple Number Representation Systems.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

The Italian research on HPC key technologies across EuroHPC.

[BibT_eX]

[DOI]

Marco Aldinucci

Antonio Andreini

Claudio Agostino Ardagna

Proceedings of the CF '21: Computing Frontiers Conference, 2021

2020

Compiler-Based Techniques to Secure Cryptographic Embedded Software Against Side-Channel Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Dynamic Precision Autotuning with TAFFO.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2020

The RECIPE approach to challenges in deeply heterogeneous high performance systems.

[BibT_eX]

[DOI]

Rafael Tornero Gavilá

Marina Zapater

Microprocess. Microsystems, 2020

TAFFO: Tuning Assistant for Floating to Fixed Point Optimization.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2020

Automated Precision Tuning in Activity Classification Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2020

A Comb for Decompiled C Code.

[BibT_eX]

[DOI]

Andrea Gussoni

Pietro Fezzardi

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

The ANTAREX domain specific language for high performance computing.

[BibT_eX]

[DOI]

Andrea Bartolini

Microprocess. Microsystems, 2019

The ANTAREX Domain Specific Language for High Performance Computing.

[BibT_eX]

[DOI]

CoRR, 2019

Survey of Memory Management Techniques for HPC and Cloud Computing.

[BibT_eX]

[DOI]

Anna Pupykina

IEEE Access, 2019

Predictive Resource Management for Next-Generation High-Performance Computing Heterogeneous Platforms.

[BibT_eX]

[DOI]

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019

Accelerating Automotive Analytics: The M2DC Appliance Approach.

[BibT_eX]

[DOI]

Gaetan Des Courchamps

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019

Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach.

[BibT_eX]

[DOI]

Proceedings of the 27th Euromicro International Conference on Parallel, 2019

Prediction-Based Partitions Evaluation Algorithm for Resource Allocation.

[BibT_eX]

[DOI]

Anna Pupykina

Proceedings of the Parallel Computing: Technology Trends, 2019

Feedback-Driven Performance and Precision Tuning for Automatic Fixed Point Exploitation.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing: Technology Trends, 2019

Towards a High-Performance Modelica Compiler.

[BibT_eX]

[DOI]

Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

Toward a V2I-based Solution for Traffic Lights Optimization.

[BibT_eX]

[DOI]

Proceedings of the 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2019

Towards a benchmark suite for high-performance Modelica compilers.

[BibT_eX]

[DOI]

Proceedings of the EOOLT '19: 9th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2019

Challenges in Deeply Heterogeneous High Performance Systems.

[BibT_eX]

[DOI]

Rafael Tornero Gavilá

Marina Zapater

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Fixed point exploitation via compiler analyses and transformations: POSTER.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018

libVersioningCompiler: An easy-to-use library for dynamic generation and invocation of multiple code versions.

[BibT_eX]

[DOI]

Stefano Cherubin

SoftwareX, 2018

Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems.

[BibT_eX]

[DOI]

Sensors, 2018

Exploring manycore architectures for next-generation HPC systems through the MANGO approach.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2018

Reactive side-channel countermeasures: Applicability and quantitative security evaluation.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2018

Reliable power and time-constraints-aware predictive management of heterogeneous exascale systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, 2018

rev.ng: A Multi-Architecture Framework for Reverse Engineering and Vulnerability Discovery.

[BibT_eX]

[DOI]

Pietro Fezzardi

Proceedings of the 2018 International Carnahan Conference on Security Technology, 2018

Aspect-Driven Mixed-Precision Tuning Targeting GPUs.

[BibT_eX]

[DOI]

Proceedings of the 9th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2018

Managing Heterogeneous Resources in HPC Systems.

[BibT_eX]

[DOI]

ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Embedded Operating System Optimization through Floating to Fixed Point Compiler Transformation.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

M2DC - Modular Microserver DataCentre with heterogeneous hardware.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2017

The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Embedded Computer Systems: Architectures, 2017

Implications of Reduced-Precision Computations in HPC: Performance, Energy and Error.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing is Everywhere, 2017

Optimizing Memory Management in Deeply Heterogeneous HPC Accelerators.

[BibT_eX]

[DOI]

Anna Pupykina

Proceedings of the 46th International Conference on Parallel Processing Workshops, 2017

MANGO: Exploring Manycore Architectures for Next-GeneratiOn HPC Systems.

[BibT_eX]

[DOI]

Proceedings of the Euromicro Conference on Digital System Design, 2017

rev.ng: a unified binary analysis framework to recover CFGs and function boundaries.

[BibT_eX]

[DOI]

Mathias Payer

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

Data centres for IoT applications: The M2DC approach (Invited paper).

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

Safe cooperative CPS: A V2I traffic management scenario in the SafeCOP project.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

Encasing block ciphers to foil key recovery attempts via side channel.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Stack size estimation on machine-independent intermediate code for OpenCL kernels.

[BibT_eX]

[DOI]

Stefano Cherubin

Michele Scandale

Proceedings of the 7th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and the 5th Workshop on Design Tools and Architectures For Multicore Embedded Computing Platforms, 2016

The M2DC Project: Modular Microserver DataCentre.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

V2I Cooperation for Traffic Management with SafeCop.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Autotuning and adaptivity approach for energy efficient Exascale HPC systems: The ANTAREX approach.

[BibT_eX]

[DOI]

Andrea Bartolini

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Enabling HPC for QoS-sensitive applications: The MANGO approach.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems.

[BibT_eX]

[DOI]

Radim Cmar

Erven Rohou

Proceedings of the ACM International Conference on Computing Frontiers, CF'16, 2016

Automated instantiation of side-channel attacks countermeasures for software cipher implementations.

[BibT_eX]

[DOI]

Proceedings of the ACM International Conference on Computing Frontiers, CF'16, 2016

A jump-target identification method for multi-architecture static binary translation.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Compilers, 2016

2015

The MEET Approach: Securing Cryptographic Embedded Software Against Side Channel Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

OpenCL performance portability for general-purpose computation on graphics processor units: an exploration on cryptographic primitives.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2015

Tailoring instruction-set extensions for an ultra-low power tightly-coupled cluster of OpenRISC cores.

[BibT_eX]

[DOI]

Michele Beretta

Proceedings of the 2015 IFIP/IEEE International Conference on Very Large Scale Integration, 2015

Cyber-security analysis and evaluation for smart home management solutions.

[BibT_eX]

[DOI]

Proceedings of the International Carnahan Conference on Security Technology, 2015

Playful Supervised Smart Spaces (P3S) - A Framework for Designing, Implementing and Deploying Multisensory Play Experiences for Children with Special Needs.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Information leakage chaff: feeding red herrings to side channel attackers.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

ANTAREX - AutoTuning and Adaptivity appRoach for Energy Efficient eXascale HPC Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Computational Science and Engineering, 2015

The MANGO FET-HPC Project: An Overview.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Computational Science and Engineering, 2015

2014

Design space extension for secure implementation of block ciphers.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2014

Differential Fault Analysis for Block Ciphers: an Automated Conservative Analysis.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Security of Information and Networks, 2014

Security Integration in Medical Device Design: Extension of an Automated Bio-Medical Engineering Design Methodology.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

OpenCL Application Auto-tuning and Run-Time Resource Management for Multi-core Platforms.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

Securing software cryptographic primitives for embedded systems against side channel attacks.

[BibT_eX]

[DOI]

Proceedings of the International Carnahan Conference on Security Technology, 2014

Towards Transparently Tackling Functionality and Performance Issues across Different OpenCL Platforms.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Computing and Networking, 2014

A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Data Parallel Application Adaptivity and System-Wide Resource Management in Many-Core Architectures.

[BibT_eX]

[DOI]

Proceedings of the Reconfigurable Computing: Architectures, Tools, and Applications, 2014

2013

Enhancing Passive Side-Channel Attack Resilience through Schedulability Analysis of Data-Dependency Graphs.

[BibT_eX]

[DOI]

Proceedings of the Network and System Security - 7th International Conference, 2013

On Task Assignment in Data Intensive Scalable Computing.

[BibT_eX]

[DOI]

Ettore Speziale

Proceedings of the Job Scheduling Strategies for Parallel Processing, 2013

Compiler-based side channel vulnerability analysis and optimized countermeasures application.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

Architecture Optimization of Application-Specific Implicit Instructions.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

Automatic memoization for energy efficiency in financial applications.

[BibT_eX]

[DOI]

Sustain. Comput. Informatics Syst., 2012

Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

Parallel paradigms and run-time management techniques for many-core architectures: the 2PARMA approach.

[BibT_eX]

[DOI]

Proceedings of the 2012 Interconnection Network Architecture, 2012

A code morphing methodology to automate power analysis countermeasures.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Exploiting Bit-level Parallelism in GPGPUs: a Case Study on KeeLoq Exhaustive Search Attacks.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012

2011

Invited paper: Parallel programming and run-time resource management framework for many-core platforms: The 2PARMA approach.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

An Optimized Reduction Design to Minimize Atomic Operations in Shared Memory Multiprocessors.

[BibT_eX]

[DOI]

Ettore Speziale

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Dynamic memoization for energy efficiency in financial applications.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Green Computing Conference and Workshops, 2011

Exploiting Thread-Data Affinity in OpenMP with Data Access Patterns.

[BibT_eX]

[DOI]

Ettore Speziale

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

2010

A highly flexible, parallel virtual machine: design and experience of ILDJIT.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2010

Record Setting Software Implementation of DES Using CUDA.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2PARMA: Parallel Paradigms and Run-Time Management Techniques for Many-Core Architectures.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010

2PARMA: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures.

[BibT_eX]

[DOI]

Proceedings of the VLSI 2010 Annual Symposium - Selected papers, 2010

Parallelism and Retargetability in the ILDJIT Dynamic Compiler.

[BibT_eX]

[DOI]

Michele Tartara

Proceedings of the ARCS '10, 2010

Improved Programming of GPU Architectures through Automated Data Allocation and Loop Restructuring.

[BibT_eX]

[DOI]

Proceedings of the ARCS '10, 2010

2009

A Transform-Parametric Approach to Boolean Matching.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Fast Disk Encryption through GPGPU Acceleration.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

Design of a parallel AES for graphics hardware using the CUDA framework.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Just-In-Time compilation on ARM processors.

[BibT_eX]

[DOI]

Michele Tartara

Proceedings of the 4th workshop on the Implementation, 2009

Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 18th International Conference, 2009

2008

Static Analysis of Transaction-Level Communication Models.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

A parallel dynamic compiler for CIL bytecode.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2008

Dynamic configuration of application-specific implicit instructions for embedded pipelined processors.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Programming Highly Parallel Reconfigurable Architectures for Symmetric and Asymmetric Cryptographic Applications.

[BibT_eX]

[DOI]

J. Comput., 2007

Efficient architecture/compiler co-exploration using analytical models.

[BibT_eX]

[DOI]

Gianluca Palermo

Des. Autom. Embed. Syst., 2007

Programming Highly Parallel Reconfigurable Architectures for Public-Key Cryptographic Applications.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

An efficient cost-based canonical form for Boolean matching.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Countermeasures against Branch Target Buffer Attacks.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Fault Diagnosis and Tolerance in Cryptography, 2007

A Domain Specific Language for Cryptography.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

A Unified Approach to Canonical Form-based Boolean Matching.

[BibT_eX]

[DOI]

Proceedings of the 44th Design Automation Conference, 2007

2006

Countermeasures for the Simple Branch Prediction Analysis.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Selective compilation via fast code analysis and bytecode tracing.

[BibT_eX]

[DOI]

Pasquale Palumbo

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Jelatine: a virtual machine for small embedded systems.

[BibT_eX]

[DOI]

Gabriele Svelto

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Global instruction scheduling in dynamic compilation for embedded systems.

[BibT_eX]

[DOI]

Dario Domizioli

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Adaptive Metrics for System-Level Functional Partitioning.

[BibT_eX]

[DOI]

Marco D. Santambrogio

Seda Ogrenci Memik

Proceedings of the Forum on specification and Design Languages, 2006

Synthesis of Object Oriented Models on Reconfigurable Hardware.

[BibT_eX]

Marco D. Santambrogio

Proceedings of the 2006 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2006

2005

JIST: Just-In-Time scheduling translation for parallel processors.

[BibT_eX]

[DOI]

Gerlando Falauto

Sci. Program., 2005

Aspect Orientation in System Level Design.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

A Data Oriented Approach to the Design of Reconfigurable Stream Decoders.

[BibT_eX]

[DOI]

Marco D. Santambrogio

Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005

2004

Dynamic compilation for architectures supporting instruction-level parallelism.

[BibT_eX]

[DOI]

PhD thesis, 2004

Multi-objective co-exploration of source code transformations and design space architectures for low-power embedded systems.

[BibT_eX]

[DOI]

Gianluca Palermo

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Synthesis of Dynamic Class Loading Specifications on Reconfigurable Hardware.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004

2003

Static analysis of transaction-level models.

[BibT_eX]

[DOI]