Skip to content

Author

Laura Titolo

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

Numerical Abstract Domains for Trustworthy Code Transpilation (Keynote)

LLMs are making code modernization, translation, and rewriting easier and more scalable, enabling software to be transpiled across programming languages and compilers, and optimized for specific hardware platforms. For numerical software relying on finite-precision arithmetic, however, these transformations may introdu...

Laura Titolo · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.