Mostly Automated Proof Repair for Verified Libraries
Gopinathan, Kiran, Keoliya, Mayank, Sergey, Ilya
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article
Adventure of a Lifetime: Extract Method Refactoring for Rust
Thy, Sewen, Costea, Andreea, Gopinathan, Kiran, Sergey, Ilya
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
Concurrent Data Structures Made Easy
Le, Callista, Gopinathan, Kiran, Lee, Koon Wen, Gilbert, Seth, Sergey, Ilya
Published in Proceedings of ACM on programming languages (08.10.2024)
Published in Proceedings of ACM on programming languages (08.10.2024)
Get full text
Journal Article
Certifying the synthesis of heap-manipulating programs
Watanabe, Yasunari, Gopinathan, Kiran, Pîrlea, George, Polikarpova, Nadia, Sergey, Ilya
Published in Proceedings of ACM on programming languages (01.08.2021)
Published in Proceedings of ACM on programming languages (01.08.2021)
Get full text
Journal Article
Rhombus: A New Spin on Macros without All the Parentheses
Flatt, Matthew, Allred, Taylor, Angle, Nia, De Gabrielle, Stephen, Findler, Robert Bruce, Firth, Jack, Gopinathan, Kiran, Greenman, Ben, Kasivajhula, Siddhartha, Knauth, Alex, McCarthy, Jay, Phillips, Sam, Porncharoenwase, Sorawee, Søgaard, Jens Axel, Tobin-Hochstadt, Sam
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
Concurrent Data Structures Made Easy (Extended Version)
Le, Callista, Gopinathan, Kiran, Koon Wen Lee, Gilbert, Seth, Sergey, Ilya
Published in arXiv.org (25.08.2024)
Published in arXiv.org (25.08.2024)
Get full text
Paper
Journal Article