1 citations · 3 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
Pact: A Choreographic Language for Agentic Ecosystems
Kiran Gopinathan, Jack Feser, Michelangelo Naim +2
Recent advances in large language models have led to the rise of software systems (i.e. agents) that execute with increasing autonomy on behalf of users in open, multi-party settin…
cs.PL2024★ 1 cited
Concurrent Data Structures Made Easy (Extended Version)
Callista Le, Kiran Gopinathan, Koon Wen Lee +2
Design of an efficient thread-safe concurrent data structure is a balancing act between its implementation complexity and performance. Lock-based concurrent data structures, which…
cs.PL2022★ 1 cited
GopCaml: A Structural Editor for OCaml
Kiran Gopinathan
This talk presents Gopcaml-mode, the first structural editing plugin for OCaml. We will give a tour of the main plugin features, discussing the plugin's internal design and its int…