| 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 | 16 | 2021 |
| Certifying certainty and uncertainty in approximate membership query structures K Gopinathan, I Sergey International Conference on Computer Aided Verification, 279-303, 2020 | 15 | 2020 |
| 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 | 12 | 2023 |
| 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 |
| GopCaml: A Structural Editor for OCaml K Gopinathan arXiv preprint arXiv:2207.07423, 2022 | 4 | 2022 |
| 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 |
| DSLs in Racket: You Want It How, Now? Y Lee, K Gopinathan, Z Yang, M Flatt, I Sergey Proceedings of the 17th ACM SIGPLAN International Conference on Software …, 2024 | | 2024 |
| Concurrent Data Structures Made Easy C Le, K Gopinathan, KW Lee, S Gilbert, I Sergey Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1814-1842, 2024 | | 2024 |
| Scaling the Evolution of Verified Software K GOPINATHAN Vrije Universiteit Amsterdam, 2024 | | 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 |
| Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis Y Ling, G Rajiv, K Gopinathan, I Sergey | | |
| Ceramist: Certifying Certainty and Uncertainty K Gopinathan, I Sergey | | |
Ilya SergeyAssociate Professor, National University of Singaporenus.edu.sg üzerinde doğrulanmış e-posta adresine sahip