| Learning contract invariants using reinforcement learning J Liu, Y Chen, B Tan, I Dillig, Y Feng Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 15 | 2022 |
| Certifying zero-knowledge circuits with refinement types J Liu, I Kretz, H Liu, B Tan, J Wang, Y Sun, L Pearson, A Miltner, I Dillig, ... 2024 IEEE Symposium on Security and Privacy (SP), 1741-1759, 2024 | 14 | 2024 |
| Tree traversal synthesis using domain-specific symbolic compilation Y Chen, J Liu, Y Feng, R Bodik Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 8 | 2022 |
| Conflict-Driven synthesis for layout engines J Liu, Y Chen, E Atkinson, Y Feng, R Bodik Proceedings of the ACM on Programming Languages 7 (PLDI), 638-659, 2023 | 5 | 2023 |
| Push-Button Verification for BitVM Implementations H Liu, J Ke, H Wen, R Linus, L George, M Bista, H Karakuş, J Liu, Y Chen, ... Cryptology ePrint Archive, 2024 | 1 | 2024 |
| Refinement Types for Visualization J Xia, J Liu, N Brown, Y Chen, Y Feng Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
| A study of HTTP/2's Server Push Performance Potential R Meireles, J Liu, P Steenkiste arXiv preprint arXiv:2207.05885, 2022 | | 2022 |