We stand with Ukraine  

Kiran Gopinathan

Orcid: 0000-0002-1877-9871

Affiliations:
  • University of Illinois Urbana-Champaign, Urbana, IL, USA
  • National University of Singapore, Singapore (PhD)


According to our database1, Kiran Gopinathan authored at least 10 papers between 2018 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Concurrent Data Structures Made Easy.
[BibTeX]
[DOI]
Callista Le
,
Kiran Gopinathan
,
Koon Wen Lee
,
Seth Gilbert
,
Ilya Sergey
Proc. ACM Program. Lang., 2024

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

2023
Adventure of a Lifetime: Extract Method Refactoring for Rust.
[BibTeX]
[DOI]
Sewen Thy
,
Andreea Costea
,
Kiran Gopinathan
,
Ilya Sergey
Proc. ACM Program. Lang., October, 2023

Rhombus: A New Spin on Macros without All the Parentheses.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Kiran Gopinathan
,
Mayank Keoliya
,
Ilya Sergey
Proc. ACM Program. Lang., 2023

2022
GopCaml: A Structural Editor for OCaml.
[BibTeX]
[DOI]
Kiran Gopinathan
CoRR, 2022

2021
Certifying the synthesis of heap-manipulating programs.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Kiran Gopinathan
,
Ilya Sergey
CoRR, 2020

Certifying Certainty and Uncertainty in Approximate Membership Query Structures.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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


  Loading...