Hannah Zicarelli

According to our database, Hannah Zicarelli authored at least 3 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

A Modular Static Cost Analysis for GPU Warp-Level Parallelism.

Gregory Blike, Hannah Zicarelli, Udaya Sathiyamoorthy, Julien Lange, Tiago Cogumbreiro

Proc. ACM Program. Lang., 2026

2024

Memory access protocols: certified data-race freedom for GPU kernels.

Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli

Formal Methods Syst. Des., October, 2024

2021

Checking Data-Race Freedom of GPU Kernels, Compositionally.

Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021