3 papers
cs.PL2025
JAX Autodiff from a Linear Logic Perspective (Extended Version)
Giulia Giusti, Michele Pagani
Autodiff refers to the core of the automatic differentiation systems developed in projects like JAX and Dex. Autodiff has recently been formalised in a linear typed calculus by Rad…
cs.CR2025
Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
Giulia Giusti
The concept of linearity plays a central role in both mathematics and computer science, with distinct yet complementary meanings. In mathematics, linearity underpins functions and…
cs.PL2024
On Computational Indistinguishability and Logical Relations
Ugo Dal Lago, Zeinab Galal, Giulia Giusti
A -calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptograph…