Massimiliano Culpo

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Causal Theories

Constraint Logic Programming

Top Venues

Publications

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin
Flexible and Optimal Dependency Management via Max-SMT. ICSE (2023)
Donald Pinckney, Arjun Guha, Massimiliano Culpo, Todd Gamblin
Using Solver-Aided Languages to Build Package Managers. CoRR (2022)
Todd Gamblin, Massimiliano Culpo, Gregory Becker, Sergei Shudler
Using Answer Set Programming for HPC Dependency Solving. SC (2022)
Todd Gamblin, Massimiliano Culpo, Gregory Becker, Sergei Shudler
Using Answer Set Programming for HPC Dependency Solving. CoRR (2022)
Massimiliano Culpo, Gregory Becker, Carlos Eduardo Arango Gutierrez, Kenneth Hoste, Todd Gamblin
archspec: A library for detecting, labeling, and reasoning about microarchitectures. CANOPIE-HPC@SC (2020)