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
4222018
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
1102015
The building blocks of interpretability. Distill, 2018
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
722018
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
492017
The building blocks of interpretability. Distill, 2018. doi: 10.23915/distill. 00010
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
24
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
182017
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
82020
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
72020
The building blocks of interpretability. Distill DOI 10.23915/distill. 00010
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
52018
The building blocks of interpretability. Distill 3: e10
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
52018
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
Search Atlas: Visualizing Divergent Search Results Across Geopolitical Borders
R Ochigame, K Ye
Designing Interactive Systems Conference 2021, 1970-1983, 2021
12021
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–15