| The building blocks of interpretability C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ... Distill 3 (3), e10, 2018 | 756 | 2018 |
| 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 | 162 | 2015 |
| The building blocks of interpretability. Distill, 2018 C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ... | 109 | 2018 |
| 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 | 80 | 2017 |
| 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 | 56 | 2020 |
| 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 | 27 | 2020 |
| 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 | 25 | 2021 |
| 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 | 25 | 2017 |
| The building blocks of interpretability. Distill DOI 10.23915/distill. 00010 C Olah, A Satyanarayan, I Johnson, S Carter, L Schubert, K Ye, ... | 6 | 2018 |
| Designing extensible, domain-specific languages for mathematical diagrams K Ye, K Crane, J Aldrich, J Sunshine Off the Beaten Track, 2017 | 4 | 2017 |
| 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 | 3 | 2017 |
| 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 | | |
