Hannah Zicarelli

Software Verification Lab • Computer Science at UMB

I am a PhD student researching programming languages, advised by Tiago Cogumbreiro. My research applies static analysis to quantify the performance cost of concurrency bugs in GPU programs.

Publications

• Verification of GPU Programs: Evaluation Challenges (Extended Abstract). Hannah Zicarelli and Tiago Cogumbreiro. In PLACES, 2022.
  [ Slides ] [ PDF ]
• Checking Data-Race Freedom of GPU Kernels, Compositionally. Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, and Hannah Zicarelli. In CAV, pages 403–426. Springer, 2021.
  [ DOI ] [ Slides ] [ Artifact ] [ PDF ]

Contact

Reach me by electronic mail at (rot13 "unaanu@mvpneryyv.qri") using GPG key EAF77C5CC6A6E971 (expires 2024-01-10).