| Certifying the synthesis of heap-manipulating programs Y Watanabe, K Gopinathan, G Pîrlea, N Polikarpova, I Sergey Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021 | 14 | 2021 |
| Certifying certainty and uncertainty in approximate membership query structures K Gopinathan, I Sergey Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 13 | 2020 |
| Towards mechanising probabilistic properties of a blockchain K Gopinathan, I Sergey CoqPL, 2019 | 9 | 2019 |
| FHIR FLI: An Open Source Platform for Storing, Sharing and Analysing Lifestyle Data. K Gopinathan, NA Kaloumenos, K Ajmera, A Matei, I Williams, A Davis ICT4AWE, 227-233, 2018 | 6 | 2018 |
| Mostly Automated Proof Repair for Verified Libraries K Gopinathan, M Keoliya, I Sergey Proceedings of the ACM on Programming Languages 7 (PLDI), 25-49, 2023 | 5 | 2023 |
| Adventure of a lifetime: Extract method refactoring for rust S Thy, A Costea, K Gopinathan, I Sergey Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 658-685, 2023 | 2 | 2023 |
| GopCaml: A Structural Editor for OCaml K Gopinathan arXiv preprint arXiv:2207.07423, 2022 | 2 | 2022 |
| Concurrent Data Structures Made Easy (Extended Version) C Le, K Gopinathan, KW Lee, S Gilbert, I Sergey arXiv preprint arXiv:2408.13779, 2024 | | 2024 |
| DSLs in Racket: You Want It How, Now? Y Lee, K Gopinathan, Z Yang, M Flatt, I Sergey | | 2024 |
| Scaling the Evolution of Verified Software K GOPINATHAN Vrije Universiteit Amsterdam, 2024 | | 2024 |
| Concurrent Data Structures Made Easy C LE, K GOPINATHAN, KWEN LEE, S GILBERT, I SERGEY | | 2024 |
| Rhombus: A New Spin on Macros without All the Parentheses M Flatt, T Allred, N Angle, S De Gabrielle, RB Findler, J Firth, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 574-603, 2023 | | 2023 |
| Certifying Certainty and Uncertainty in Approximate Membership Query Structures--Extended Version K Gopinathan, I Sergey arXiv preprint arXiv:2004.13312, 2020 | | 2020 |
| Ceramist: Certifying Certainty and Uncertainty K Gopinathan, I Sergey | | |
Ilya SergeyAssociate Professor, National University of SingaporeПотвърден имейл адрес: nus.edu.sg
