2 papers
cs.PL2024
MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
Roland LeiÃa, Marcel Ulrich, Joachim Meyer +1
Traditional compilers, designed for optimizing low-level code, fall short when dealing with modern, computation-heavy applications like image processing, machine learning, or numer…
cs.SE2024
Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
Ivan R. Ivanov, Joachim Meyer, Aiden Grossman +2
The size and complexity of software applications is increasing at an accelerating pace. Source code repositories (along with their dependencies) require vast amounts of labor to ke…