Massimiliano Culpo
YOU?
Author Swipe
View article: Flexible and Optimal Dependency Management via Max-SMT
Flexible and Optimal Dependency Management via Max-SMT Open
Package managers such as NPM have become essential for software development. The NPM repository hosts over 2 million packages and serves over 43 billion downloads every week. Unfortunately, the NPM dependency solver has several shortcoming…
View article: Using Answer Set Programming for HPC Dependency Solving
Using Answer Set Programming for HPC Dependency Solving Open
Modern scientific software stacks have become extremely complex, using many programming models and libraries to exploit a growing variety of GPUs and accelerators. Package managers can mitigate this complexity using dependency solvers, but…
View article: Flexible and Optimal Dependency Management via Max-SMT
Flexible and Optimal Dependency Management via Max-SMT Open
Package managers such as NPM have become essential for software development. The NPM repository hosts over 2 million packages and serves over 43 billion downloads every week. Unfortunately, the NPM dependency solver has several shortcoming…