Seguir
Kai Ye
Kai Ye
Otros nombresKatherine Qinru Ye, Katherine Ye
Dirección de correo verificada de cs.cmu.edu - Página principal
Título
Citado por
Citado por
Año
The building blocks of interpretability
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
Distill 3 (3), e10, 2018
7592018
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
1622015
The building blocks of interpretability. Distill, 2018
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
1092018
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
802017
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
572020
The building blocks of interpretability. Distill, 2018. doi: 10.23915/distill. 00010
C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ...
46
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
282020
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
252021
The end of history? Using a proof assistant to replace language design with library design
A Chlipala, B Delaware, S Duchovni, JS Gross, CF Pit-Claudel, ...
Dagstuhl Research, 2017
252017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15