Certifying certainty and uncertainty in approximate membership query structures K Gopinathan, I Sergey Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 11 | 2020 |
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 | 10 | 2021 |
Towards mechanising probabilistic properties of a blockchain K Gopinathan, I Sergey CoqPL, 2019 | 8 | 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 | 5 | 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 | 3 | 2023 |
GopCaml: A Structural Editor for OCaml K Gopinathan arXiv preprint arXiv:2207.07423, 2022 | 1 | 2022 |
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 |
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 | | 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 | | |