Follow
Kai Ye
Kai Ye
Other namesKatherine Qinru Ye, Katherine Ye
Verified email at cs.cmu.edu - Homepage
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
7022018
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
1542015
The building blocks of interpretability. Distill, 2018
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
1022018
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
742017
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
422020
The building blocks of interpretability. Distill, 2018. doi: 10.23915/distill. 00010
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
39
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
242017
Search atlas: Visualizing divergent search results across geopolitical borders
R Ochigame, K Ye
Proceedings of the 2021 ACM Designing Interactive Systems Conference, 1970-1983, 2021
212021
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
192020
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–15