We stand with Ukraine

We stand with Ukraine

Giulia Giusti

Orcid: 0000-0002-6533-8307

According to our database¹, Giulia Giusti authored at least 7 papers between 2022 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

JAX Autodiff from a Linear Logic Perspective.

[DOI]

,

Proc. ACM Program. Lang., 2026

2025

Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography.

[DOI]

CoRR, October, 2025

JAX Autodiff from a Linear Logic Perspective (Extended Version).

[DOI]

,

CoRR, October, 2025

Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography. (Exploiter le Potentiel de la Linéarité dans la Différenciation Automatique et la Cryptographie Computationnelle).

[DOI]

PhD thesis, 2025

2024

On Computational Indistinguishability and Logical Relations.

[DOI]

,

,

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2022

On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version).

[DOI]

,

CoRR, 2022

On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments.

[DOI]

,

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Loading...