archspec: A library for detecting, labeling, and reasoning about microarchitectures. - Massimiliano Culpo; Gregory Becker; Carlos Eduardo Arango Gutierrez; Kenneth Hoste; Todd Gamblin (CANOPIE-HPC@SC, 2020)

Using Answer Set Programming for HPC Dependency Solving. - Todd Gamblin; Massimiliano Culpo; Gregory Becker; Sergei Shudler (SC, 2022)

Using Solver-Aided Languages to Build Package Managers. - Donald Pinckney; Arjun Guha; Massimiliano Culpo; Todd Gamblin (CoRR, 2022)

Flexible and Optimal Dependency Management via Max-SMT. - Donald Pinckney; Federico Cassano; Arjun Guha; Jonathan Bell 001; Massimiliano Culpo; Todd Gamblin (ICSE, 2023)