Kiran Gopinathan

According to our database, Kiran Gopinathan authored at least 14 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Accelerating Automated Program Verifiers by Automatic Proof Localization.

Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, Markus Püschel, Ilya Sergey

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

OBatcher: Implementation, Data Structures, and Experiments (OOPSLA'24 Artefact).

Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, Ilya Sergey

Dataset, October, 2024

Artefact for OOSPLA paper #608: Concurrent Data Structures Made Easy.

Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, Ilya Sergey

Dataset, July, 2024

Concurrent Data Structures Made Easy.

Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, Ilya Sergey

Proc. ACM Program. Lang., 2024

Concurrent Data Structures Made Easy (Extended Version).

Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, Ilya Sergey

CoRR, 2024

DSLs in Racket: You Want It How, Now?

Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey

Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, 2024

2023

Adventure of a Lifetime: Extract Method Refactoring for Rust.

Sewen Thy, Andreea Costea, Kiran Gopinathan, Ilya Sergey

Proc. ACM Program. Lang., October, 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, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., October, 2023

Mostly Automated Proof Repair for Verified Libraries.

Kiran Gopinathan, Mayank Keoliya, Ilya Sergey

Proc. ACM Program. Lang., 2023

2022

GopCaml: A Structural Editor for OCaml.

Kiran Gopinathan

CoRR, 2022

2021

Certifying the synthesis of heap-manipulating programs.

Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey

Proc. ACM Program. Lang., 2021

2020

Certifying Certainty and Uncertainty in Approximate Membership Query Structures - Extended Version.

Kiran Gopinathan, Ilya Sergey

CoRR, 2020

Certifying Certainty and Uncertainty in Approximate Membership Query Structures.

Kiran Gopinathan, Ilya Sergey

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

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

Proceedings of the 4th International Conference on Information and Communication Technologies for Ageing Well and e-Health, 2018