The End of History? Using a Proof Assistant to Replace Language Design with Library Design. - Adam Chlipala; Benjamin Delaware; Samuel Duchovni; Jason Gross; Clément Pit-Claudel; Sorawit Suriyakarn; Peng Wang 048; Katherine Ye (SNAPL, 2017)

How Domain Experts Create Conceptual Diagrams and Implications for Tool Design. - Dor Ma'ayan; Wode Ni; Katherine Ye; Chinmay Kulkarni 001; Joshua Sunshine (CHI, 2020)

Penrose: from mathematical notation to beautiful diagrams. - Katherine Ye; Wode Ni; Max Krieger; Dor Ma'ayan; Jenna Wise; Jonathan Aldrich; Joshua Sunshine; Keenan Crane (ACM Trans. Graph., 2020)

Search Atlas: Visualizing Divergent Search Results Across Geopolitical Borders. - Rodrigo Ochigame; Katherine Ye (Conference on Designing Interactive Systems, 2021)