FHIR FLI: An Open Source Platform for Storing, Sharing and Analysing Lifestyle Data. - Kiran Gopinathan; Nikolaos Alexandros Kaloumenos; Kinnari Ajmera; Alexandru Matei; Ian Williams; Andrew Davis (ICT4AWE, 2018)

Certifying Certainty and Uncertainty in Approximate Membership Query Structures. - Kiran Gopinathan; Ilya Sergey (CAV (2), 2020)

Certifying Certainty and Uncertainty in Approximate Membership Query Structures - Extended Version. - Kiran Gopinathan; Ilya Sergey (CoRR, 2020)

Certifying the synthesis of heap-manipulating programs. - Yasunari Watanabe; Kiran Gopinathan; George Pîrlea; Nadia Polikarpova; Ilya Sergey (Proc. ACM Program. Lang., 2021)

GopCaml: A Structural Editor for OCaml. - Kiran Gopinathan (CoRR, 2022)

Mostly Automated Proof Repair for Verified Libraries. - Kiran Gopinathan; Mayank Keoliya; Ilya Sergey (Proc. ACM Program. Lang., 2023)

Rhombus: A New Spin on Macros without All the Parentheses. - Matthew Flatt; Taylor Allred; Nia Angle; Stephen De Gabrielle; Robert Bruce Findler; Jack Firth; Kiran Gopinathan; Ben Greenman; Siddhartha Kasivajhula; Alex Knauth; Jay A. McCarthy; Sam Phillips; et al. (Proc. ACM Program. Lang., 2023)

Adventure of a Lifetime: Extract Method Refactoring for Rust. - Sewen Thy; Andreea Costea; Kiran Gopinathan; Ilya Sergey (Proc. ACM Program. Lang., 2023)

DSLs in Racket: You Want It How, Now? - Yunjeong Lee; Kiran Gopinathan; Ziyi Yang; Matthew Flatt; Ilya Sergey (SLE, 2024)

Concurrent Data Structures Made Easy (Extended Version). - Callista Le; Kiran Gopinathan; Koon Wen Lee; Seth Gilbert; Ilya Sergey (CoRR, 2024)

Concurrent Data Structures Made Easy. - Callista Le; Kiran Gopinathan; Koon Wen Lee; Seth Gilbert; Ilya Sergey (Proc. ACM Program. Lang., 2024)

Artefact for OOSPLA paper #608: Concurrent Data Structures Made Easy. - Callista Le; Kiran Gopinathan; Koon Wen Lee; Seth Gilbert; Ilya Sergey (Zenodo, 2024)

OBatcher: Implementation, Data Structures, and Experiments (OOPSLA'24 Artefact). - Callista Le; Kiran Gopinathan; Koon Wen Lee; Seth Gilbert; Ilya Sergey (Zenodo, 2024)

Accelerating Automated Program Verifiers by Automatic Proof Localization. - Kiran Gopinathan; Dionysios Spiliopoulos; Vikram Goyal; Peter Müller 001; Markus Püschel; Ilya Sergey (CAV (3), 2025)