@article{miso,
author = {Sichetti, Federico and Puppo, Enrico and Huang, Zizhou and Attene, Marco and Zorin, Denis and Panozzo, Daniele},
title = {MiSo: A DSL for Robust and Efficient Solve and MInimize Problems},
year = {2025},
issue_date = {August 2025},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {44},
number = {4},
issn = {0730-0301},
url = {https://doi.org/10.1145/3731207},
doi = {10.1145/3731207},
abstract = {Many problems in computer graphics can be formulated as finding the global minimum of a function subject to a set of non-linear constraints (Minimize), or finding all solutions of a system of non-linear constraints (Solve). We introduce MiSo, a domain-specific language and compiler for generating efficient C++ code for low-dimensional Minimize and Solve problems, that uses interval methods to guarantee conservative results while using floating point arithmetic. We demonstrate that MiSo-generated code shows competitive performance compared to hand-optimized codes for several computer graphics problems, including high-order collision detection with non-linear trajectories, surface-surface intersection, and geometrical validity checks for finite element simulation.},
journal = {ACM Trans. Graph.},
month = jul,
articleno = {120},
numpages = {18}
}