Katherine Ye

According to our database, Katherine Ye authored at least 4 papers between 2017 and 2021.

Collaborative distances:

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

2021

Search Atlas: Visualizing Divergent Search Results Across Geopolitical Borders.

Rodrigo Ochigame, Katherine Ye

Proceedings of the DIS '21: Designing Interactive Systems Conference 2021, 2021

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

How Domain Experts Create Conceptual Diagrams and Implications for Tool Design.

Dor Ma'ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, Joshua Sunshine

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2017

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, Katherine Ye

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017