Следене
Kiran Gopinathan
Kiran Gopinathan
Потвърден имейл адрес: comp.nus.edu.sg - Начална страница
Заглавие
Позовавания
Позовавания
Година
Certifying the synthesis of heap-manipulating programs
Y Watanabe, K Gopinathan, G Pîrlea, N Polikarpova, I Sergey
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
92021
Certifying certainty and uncertainty in approximate membership query structures
K Gopinathan, I Sergey
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
92020
Towards mechanising probabilistic properties of a blockchain
K Gopinathan, I Sergey
CoqPL, 2019
82019
FHIR FLI: An Open Source Platform for Storing, Sharing and Analysing Lifestyle Data.
K Gopinathan, NA Kaloumenos, K Ajmera, A Matei, I Williams, A Davis
ICT4AWE, 227-233, 2018
52018
Mostly Automated Proof Repair for Verified Libraries
K Gopinathan, M Keoliya, I Sergey
Proceedings of the ACM on Programming Languages 7 (PLDI), 25-49, 2023
12023
GopCaml: A Structural Editor for OCaml
K Gopinathan
arXiv preprint arXiv:2207.07423, 2022
12022
Rhombus: A New Spin on Macros without All the Parentheses
M Flatt, T Allred, N Angle, S De Gabrielle, RB Findler, J Firth, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 574-603, 2023
2023
Adventure of a Lifetime: Extract Method Refactoring for Rust
S Thy, A Costea, K Gopinathan, I Sergey
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 658-685, 2023
2023
Certifying Certainty and Uncertainty in Approximate Membership Query Structures--Extended Version
K Gopinathan, I Sergey
arXiv preprint arXiv:2004.13312, 2020
2020
Ceramist: Certifying Certainty and Uncertainty
K Gopinathan, I Sergey
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–10