2 papers
cs.SE2025
Bridging the Gap Between Binary and Source Based Package Management in Spack
John Gouwar, Gregory Becker, Tamara Dahlgren +3
Binary package managers install software quickly but they limit configurability due to rigid ABI requirements that ensure compatibility between binaries. Source package managers pr…
cs.PL2025
Scaling Optimization Over Uncertainty via Compilation
Minsung Cho, John Gouwar, Steven Holtzen
Probabilistic inference is fundamentally hard, yet many tasks require optimization on top of inference, which is even harder. We present a new optimization-via-compilation strategy…