2024
Using Artificial Intelligence to Boost Autonomy in a More Inclusive Society: The AMBRA Approach
Third International Conference of the journal “Scuola Democratica”
C
A System Development Kit for Big Data Applications on FPGA-based Clusters: The EVEREST Approach
IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE 2024)
C
2023
Using Static Analysis for Enhancing HLS Security
IEEE Embedded Systems Letters
J
Generating Posit-based Accelerators with High-Level Synthesis
IEEE Transactions on Circuits and Systems I: Regular Papers (TCAS-I)
J
Not All Fabrics Are Created Equal: Exploring eFPGA Parameters For IP Redaction
IEEE Transactions on Very Large Scale Integration (TVLSI)
J
A Survey of FPGA Optimization Methods for Data Center Energy Efficiency
IEEE Transactions on Sustainable Computing (TSUSC)
J
Towards High-Level Synthesis of Quantum Circuits
IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE 2023)
C
Iris: Automatic Generation of Efficient Data Layouts for High Bandwidth Utilization
Asia and South Pacific Design Automation Conference (ASP-DAC 2023)
C
2022
Automatic Creation of High-Bandwidth Memory Architectures from Domain-Specific Languages: The Case of Computational Fluid Dynamics
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
J
Reconfigurable Logic for Hardware IP Protection: Opportunities and Challenges
IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2022)
C
High-Level Methods for Hardware IP Protections: Solutions, Trends, and Challenges
IEEE Dallas Circuits and Systems Conference (DCAS)
C
Optimizing the Use of Behavioral Locking for High-Level Synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
J
Invited: High-level design methods for hardware security: Is it the right choice?
ACM/EDAC/IEEE Design Automation Conference (DAC)
C
ALICE: An Automatic Design Flow for eFPGA Redaction
ACM/EDAC/IEEE Design Automation Conference (DAC)
C
Designing ML-Resilient Locking at Register-Transfer Level
ACM/EDAC/IEEE Design Automation Conference (DAC)
C
Dynamically-Tunable Dataflow Architectures based on Markov Queuing
Models
MDPI Electronics
J
HOLL: Program Synthesis for Higher Order Logic Locking
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
C
A Composable Design Space Exploration Framework to Optimize Behavioral Locking
IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE 2022)
C
2021
A Survey on Domain-Specific Memory Architectures
Journal of Integrated Circuits and Systems
From Domain-Specific Languages to Memory-Optimized Accelerators for Fluid Dynamics
FPGA for HPC Workshop 2021, held in conjunction with IEEE Cluster 2021
Exploring eFPGA-based Redaction for IP Protection
IEEE International Conference on Computer-Aided Design (ICCAD 2021)
CICERO: A Domain-Specific Architecture for Efficient Regular Expression Matching
ACM Transactions on Embedded Computing (TECS), Special Issue on the paper accepted at CASES 2021
J
ASSURE: RTL Locking Against an Untrusted Foundry
IEEE Transactions on Very Large Scale Integration (TVLSI)
High-Level Synthesis of Security Properties via Software-Level Abstractions
Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE)
Compiler Infrastructure for Specializing Domain-Specific Memory Templates
Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE)
Invited: Bambu: an Open-Source Research Framework for the High-Level Synthesis of Complex Applications
ACM/EDAC/IEEE Design Automation Conference (DAC)
C
Fortifying RTL Locking Against Oracle-Less (Untrusted Foundry) and Oracle-Guided Attacks
ACM/EDAC/IEEE Design Automation Conference (DAC)
C
EVEREST: A design environment for extreme-scale big data analytics on heterogeneous platforms
IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE)
Vertical IP Protection of the Next-Generation Devices: Quo Vadis?
IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE)
C
Opportunistic IP Birthmarking using Side Effects of Code Transformations on High-Level Synthesis
IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE)
C
2020
Is Register Transfer Level Locking Secure?
IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE)
C
Automatic Generation of Heterogeneous SoC Architectures with Secure Communications
IEEE Embedded Systems Letters
J
Agile SoC development with open ESP
IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
2019
CAD-base: An attack vector into the electronics supply chain
ACM Transactions on Design Automation of Electronic Systems
J
TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
J
High-Level Synthesis of Benevolent Trojans
Design, Automation and Test in Europe Conference and Exhibition (DATE)
C
Black-Hat High-Level Synthesis: Myth or Reality?
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
J
2018
Securing Hardware Accelerators: A New Challenge for High-Level Synthesis
IEEE Embedded Systems Letters
J
The Case for Polymorphic Registers in Dataflow Computing
International Journal of Parallel Programming
J
Enabling Automated Bug Detection for IP-Based Designs Using High-Level Synthesis
IEEE Design and Test
J
DarkMem: Fine-grained power management of local memories for accelerators in embedded systems
Asia and South Pacific Design Automation Conference (ASP-DAC)
C
Bridging the Gap between Software and Hardware Designers Using High-Level Synthesis
International Conference on Parallel Computing (PARCO)
C
TAO: techniques for algorithm-level obfuscation during high-level synthesis
ACM/EDAC/IEEE Design Automation Conference (DAC)
C
2017
System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
J
2016
A Survey and Evaluation of FPGA High-Level Synthesis Tools
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
J
An FPGA-based infrastructure for fine-grained DVFS analysis in high-performance embedded systems
ACM/EDAC/IEEE Design Automation Conference (DAC)
C
On the design of scalable and reusable accelerators for big data applications
ACM International Conference on Computing Frontiers (CF)
C
Handling large data sets for high-performance embedded applications in heterogeneous systems-on-chip
International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES)
C
Scala-based domain-specific language for creating accelerator-based SoCs
Reconfigurable Architectures Workshop (RAW)
C
Performance Estimation of Task Graphs Based on Path Profiling
International Journal of Parallel Programming
J
Editorial: Special issue on innovative design methods for smart embedded systems
ACM Transactions on Embedded Computing Systems
J
2015
FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration
Microprocessors and Microsystems
J
2014
Effective reconfigurable design: The FASTER approach
International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC)
C
A SystemC-based framework for the simulation of appliances networks in energy-aware smart spaces
IEEE World Forum on Internet of Things (WF-IoT)
C
PaRA-Sched: A reconfiguration-aware scheduler for reconfigurable architectures
Reconfigurable Architectures Workshop (RAW)
C
Adaptive raytracing implementation using partial dynamic reconfiguration
Reconfigurable Architectures Workshop (RAW)
C
System-level memory optimization for high-level synthesis of component-based SoCs
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
C
A design methodology for compositional high-level synthesis of communication-centric SoCs
ACM/EDAC/IEEE Design Automation Conference (DAC)
C
2013
The FASTER vision for designing dynamically reconfigurable systems
International Conference on IC Design and Technology (ICICDT)
C
A framework for effective exploitation of partial reconfiguration in dataflow computing
International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)
C
A flexible interconnection structure for reconfigurable FPGA dataflow applications
Reconfigurable Architectures Workshop (RAW)
C
D-RECS: A complete methodology to implement Self Dynamic Reconfigurable FPGA-based systems
International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)
C
Ant colony optimization for mapping, scheduling and placing in reconfigurable systems
NASA/ESA Conference on Adaptive Hardware and Systems (AHS)
C
A2B: An integrated framework for designing heterogeneous and reconfigurable systems
NASA/ESA Conference on Adaptive Hardware and Systems (AHS)
C
Runtime adaptation on dataflow HPC platforms
NASA/ESA Conference on Adaptive Hardware and Systems (AHS)
C
SMASH: A heuristic methodology for designing partially reconfigurable MPSoCs
International Symposium on Rapid System Prototyping (RSP)
C
Dataflow computing with polymorphic registers
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS)
C
A simulation-based framework for the exploration of mapping solutions on heterogeneous MPSoCs
International Journal of Embedded and Real-Time Communication Systems
J
2012
FASTER: Facilitating analysis and synthesis technologies for effective reconfiguration
Euromicro Conference on Digital System Design (DSD)
C
Novel design methods and a tool flow for unleashing dynamic reconfiguration
IEEE International Conference on Computational Science and Engineering (CSE)
C
On the automatic integration of hardware accelerators into FPGA-based embedded systems
International Conference on Field Programmable Logic and Applications (FPL)
C
An open-source design and validation platform for reconfigurable systems
International Conference on Field Programmable Logic and Applications (FPL)
C
TaBit: A framework for task graph to bitstream generation
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS)
C
Smart technologies for effective reconfiguration: The FASTER approach
International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)
C
Automatic run-time manager generation for reconfigurable MPSoC architectures
International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)
C
On the development of a runtime reconfigurable multicore system-on-chip
Euromicro Conference on Digital System Design (DSD)
C
An automated framework for the simulation of mapping solutions on heterogeneous MPSoCs
International Symposium on System on Chip (SoC)
C
2011
A runtime adaptive controller for supporting hardware components with variable latency
NASA/ESA Conference on Adaptive Hardware and Systems (AHS)
C
Combined architecture and hardening techniques exploration for reliable embedded system design
ACM Great Lakes Symposium on VLSI (GLSVLSI)
C
A design methodology for the automatic sizing of standard-cell libraries
ACM Great Lakes Symposium on VLSI (GLSVLSI)
C
Synaptic project: Regularity applied to enhance manufacturability and yield at several abstraction levels (invited paper)
Workshop on Exploiting Regularity in the Design of IPs, Architectures and Platforms (ERDIAP)
C
Evaluating static CMOS complex cells in technology mapping
Workshop on Exploiting Regularity in the Design of IPs, Architectures and Platforms (ERDIAP)
C
2010
The hArtes CarLab: A new approach to advanced algorithms development for automotive audio
Audio Engineering Society Convention (AES)
C
HArtes: Hardware-software codesign for heterogeneous multicore platforms
IEEE Micro
J
Ant colony heuristic for mapping and scheduling tasks and communications on heterogeneous embedded systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
J
Mapping and scheduling of parallel C applications with ant colony optimization onto heterogeneous reconfigurable MPSoCs
Asia and South Pacific Design Automation Conference (ASP-DAC)
C
A fast heuristic for extending standard cell libraries with regular macro cells
IEEE Annual Symposium on VLSI (ISVLSI)
C
2009
Mapping pipelined applications onto heterogeneous embedded systems: A Bayesian optimization algorithm based approach
IEEE/ACM International Conference on Hardware/Software-Co-Design and System Synthesis (CODES+ISSS)
C
Evolutionary algorithms for the mapping of pipelined applications onto heterogeneous embedded systems
Annual Genetic and Evolutionary Computation Conference (GECCO)
C
HW/SW methodologies for synchronization in FPGA
ACM SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
C
Performance estimation for task graphs combining sequential path profiling and control dependence regions
IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
C
Performance modeling of parallel applications on MPSoCs
International Symposium on System-on-Chip (SoC)
C
2008
Improving evolutionary exploration to area-time optimization of FPGA designs
Journal of Systems Architecture
J
A multi-objective genetic algorithm for design space exploration in high-level synthesis
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
C
High-level synthesis with multi-objective genetic algorithm: A comparative encoding analysis
IEEE Congress on Evolutionary Computation (CEC)
C
Ant colony optimization for mapping and scheduling in heterogeneous multiprocessor systems
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS)
C
2007
An evolutionary approach to area-time optimization of FPGA designs
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS)
C
Fitness inheritance in evolutionary and multi-objective high-level synthesis
IEEE Congress on Evolutionary Computation (CEC)
C