Kimberly Diaz

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Visual Attention

Artificial Intelligence

Eye Detection And Tracking

Top Venues

Publications

Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. ICSE (2023)