Zhanna Kaufman

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Top Venues

ACM Trans. Program. Lang. Syst.

IEEE Trans. Vis. Comput. Graph.

Publications

Aimen Gaba, Zhanna Kaufman, Jason Cheung, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. IEEE Trans. Vis. Comput. Graph. 30 (1) (2024)
Aimen Gaba, Zhanna Kaufman, Jason Chueng, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. CoRR (2023)
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
PRoofster: Automated Formal Verification. ICSE Companion (2023)
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. CoRR (2022)