Massimiliano Culpo

According to our database, Massimiliano Culpo authored at least 4 papers between 2020 and 2023.

Collaborative distances:

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

2023

Flexible and Optimal Dependency Management via Max-SMT.

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin

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

2022

Using Solver-Aided Languages to Build Package Managers.

Donald Pinckney, Arjun Guha, Massimiliano Culpo, Todd Gamblin

CoRR, 2022

Using Answer Set Programming for HPC Dependency Solving.

Todd Gamblin, Massimiliano Culpo, Gregory Becker, Sergei Shudler

Proceedings of the SC22: International Conference for High Performance Computing, 2022

2020

archspec: A library for detecting, labeling, and reasoning about microarchitectures.

Massimiliano Culpo, Gregory Becker, Carlos Eduardo Arango Gutierrez, Kenneth Hoste, Todd Gamblin

Proceedings of the 2nd International Workshop on Containers and New Orchestration Paradigms for Isolated Environments in HPC, 2020