Follow
Katherine Qinru Ye
Title
Cited by
Cited by
Year
The building blocks of interpretability
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
Distill 3 (3), e10, 2018
5402018
Verified Correctness and Security of {OpenSSL}{HMAC}
L Beringer, A Petcher, QY Katherine, AW Appel
24th USENIX Security Symposium (USENIX Security 15), 207-221, 2015
1232015
The building blocks of interpretability. Distill, 2018
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
902018
Verified correctness and security of mbedTLS HMAC-DRBG
KQ Ye, M Green, N Sanguansin, L Beringer, A Petcher, AW Appel
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
602017
The building blocks of interpretability. Distill, 2018. doi: 10.23915/distill. 00010
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
30
The end of history? Using a proof assistant to replace language design with library design
A Chlipala, B Delaware, S Duchovni, J Gross, C Pit-Claudel, S Suriyakarn, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
232017
Penrose: from mathematical notation to beautiful diagrams
K Ye, W Ni, M Krieger, D Ma'ayan, J Wise, J Aldrich, J Sunshine, K Crane
ACM Transactions on Graphics (TOG) 39 (4), 144: 1-144: 16, 2020
162020
How domain experts create conceptual diagrams and implications for tool design
D Ma'ayan, W Ni, K Ye, C Kulkarni, J Sunshine
Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems …, 2020
112020
The building blocks of interpretability. Distill 3: e10
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
92018
Search Atlas: Visualizing Divergent Search Results Across Geopolitical Borders
R Ochigame, K Ye
Designing Interactive Systems Conference 2021, 1970-1983, 2021
62021
The building blocks of interpretability. Distill DOI 10.23915/distill. 00010
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
62018
Designing extensible, domain-specific languages for mathematical diagrams
K Ye, K Crane, J Aldrich, J Sunshine
Off the Beaten Track, 2017
42017
Substance and Style: domain-specific languages for mathematical diagrams
W Ni, K Ye, J Sunshine, J Aldrich, K Crane
Domain-Specific Language Design and Implementation (DSLDI’17), 2017
32017
THE NOTORIOUS PRG: FORMAL VERIFICATION OF THE HMAC-DRBG PSEUDORANDOM NUMBER GENERATOR
K Ye
2016
THE NOTORIOUS PRG: FORMAL VERIFICATION OF THE HMAC-DRBG PSEUDORANDOM NUMBER
KQ YE, M GREEN
2016
Verified Correctness and Security of OpenSSL HMAC
A Petcher, L Beringer, K Ye, AW Appel
The system can't perform the operation now. Try again later.
Articles 1–16