Miguel Henriques

According to our database, Miguel Henriques authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Using Source-to-Source to Target RISC-V Custom Extensions: UVE Case-Study.

Miguel Henriques, João Bispo, Nuno Paulino

Proceedings of the 16th Workshop on Rapid Simulation and Performance Evaluation for Design, 2024

2023

Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.

Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023