Kiran Gopinathan

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 8

Top Topics

Database Queries

Top Venues

Proc. ACM Program. Lang.

Publications

Sewen Thy, Andreea Costea, Kiran Gopinathan, Ilya Sergey
Adventure of a Lifetime: Extract Method Refactoring for Rust. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Kiran Gopinathan, Mayank Keoliya, Ilya Sergey
Mostly Automated Proof Repair for Verified Libraries. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Kiran Gopinathan
GopCaml: A Structural Editor for OCaml. CoRR (2022)
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey
Certifying the synthesis of heap-manipulating programs. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Kiran Gopinathan, Ilya Sergey
Certifying Certainty and Uncertainty in Approximate Membership Query Structures - Extended Version. CoRR (2020)
Kiran Gopinathan, Ilya Sergey
Certifying Certainty and Uncertainty in Approximate Membership Query Structures. CAV (2) (2020)
Kiran Gopinathan, Nikolaos Alexandros Kaloumenos, Kinnari Ajmera, Alexandru Matei, Ian Williams, Andrew Davis
FHIR FLI: An Open Source Platform for Storing, Sharing and Analysing Lifestyle Data. ICT4AWE (2018)