Kiran Gopinathan

Orcid: 0000-0002-1877-9871

According to our database1, Kiran Gopinathan authored at least 8 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Adventure of a Lifetime: Extract Method Refactoring for Rust.
Proc. ACM Program. Lang., October, 2023

Rhombus: A New Spin on Macros without All the Parentheses.
Proc. ACM Program. Lang., October, 2023

Mostly Automated Proof Repair for Verified Libraries.
Proc. ACM Program. Lang., 2023

2022
GopCaml: A Structural Editor for OCaml.
CoRR, 2022

2021
Certifying the synthesis of heap-manipulating programs.
Proc. ACM Program. Lang., 2021

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

Certifying Certainty and Uncertainty in Approximate Membership Query Structures.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018
FHIR FLI: An Open Source Platform for Storing, Sharing and Analysing Lifestyle Data.
Proceedings of the 4th International Conference on Information and Communication Technologies for Ageing Well and e-Health, 2018


  Loading...