2 papers
cs.PL2026
Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming (Extended Version)
Samuel Frontull, Manuel Meitinger, Georg Moser
Existing approaches to resource analysis of programs can be classified into two main paradigms: static analysis and dynamic analysis methods. The former allow for formal guarantees…
cs.CL2024
Rule-Based, Neural and LLM Back-Translation: Comparative Insights from a Variant of Ladin
Samuel Frontull, Georg Moser
This paper explores the impact of different back-translation approaches on machine translation for Ladin, specifically the Val Badia variant. Given the limited amount of parallel d…