Kiran Gopinathan

13 papers A* 1B 1C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Accelerating Automated Program Verifiers by Automatic Proof Localization.
CAV (3)
Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, Markus Püschel, Ilya Sergey
2025 A* conf
Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis.
USENIX Security Symposium
Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey
2024 J jnl
Concurrent Data Structures Made Easy (Extended Version).
CoRR
Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, Ilya Sergey
2024 J jnl
Concurrent Data Structures Made Easy.
Proc. ACM Program. Lang.
Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, Ilya Sergey
2024 B conf
DSLs in Racket: You Want It How, Now?
SLE
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey
2023 J jnl
Adventure of a Lifetime: Extract Method Refactoring for Rust.
Proc. ACM Program. Lang.
Sewen Thy, Andreea Costea, Kiran Gopinathan, Ilya Sergey
2023 J jnl
Mostly Automated Proof Repair for Verified Libraries.
Proc. ACM Program. Lang.
Kiran Gopinathan, Mayank Keoliya, Ilya Sergey
2023 J jnl
Rhombus: A New Spin on Macros without All the Parentheses.
Proc. ACM Program. Lang.
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
2022 J jnl
GopCaml: A Structural Editor for OCaml.
CoRR
Kiran Gopinathan
2021 J jnl
Certifying the synthesis of heap-manipulating programs.
Proc. ACM Program. Lang.
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey
2020 J jnl
Certifying Certainty and Uncertainty in Approximate Membership Query Structures - Extended Version.
CoRR
Kiran Gopinathan, Ilya Sergey
2020 — conf
Certifying Certainty and Uncertainty in Approximate Membership Query Structures.
CAV (2)
Kiran Gopinathan, Ilya Sergey
2018 C conf
FHIR FLI: An Open Source Platform for Storing, Sharing and Analysing Lifestyle Data.
ICT4AWE
Kiran Gopinathan, Nikolaos Alexandros Kaloumenos, Kinnari Ajmera, Alexandru Matei, Ian Williams, Andrew Davis