Riccardo Bianchini

12 papers A 1C 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Don't exhaust, don't waste.
CoRR
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2024 — —
Resource-awareness for Java-like languages and beyond.
Riccardo Bianchini
2023 J jnl
A Java-like calculus with heterogeneous coeffects.
Theor. Comput. Sci.
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023 — conf
Monitoring for Resource-Awareness.
VORTEX@ISSTA
Riccardo Bianchini
2023 A conf
Multi-Graded Featherweight Java.
ECOOP
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023 J jnl
Multi-graded Featherweight Java.
CoRR
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023 J jnl
QueryAGT: Asynchronous global types in co-logic programming.
Sci. Comput. Program.
Riccardo Bianchini, Francesco Dagnino
2023 J jnl
Resource-Aware Soundness for Big-Step Semantics.
Proc. ACM Program. Lang.
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2022 — conf
A Java-Like Calculus with User-Defined Coeffects.
ICTCS
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2022 J jnl
Coeffects for Sharing and Mutation.
CoRR
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
2022 J jnl
Coeffects for sharing and mutation.
Proc. ACM Program. Lang.
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
2021 C conf
Asynchronous Global Types in Co-logic Programming.
COORDINATION
Riccardo Bianchini, Francesco Dagnino