Verifying Indistinguishability of Privacy-Preserving Protocols von Linvill, Kirby, Kaki, Gowtham, Wustrow, Eric

Volltext

Safe replication through bounded concurrency verification von Kaki, Gowtham, Earanky, Kapil, Sivaramakrishnan, KC, Jagannathan, Suresh

Volltext

Historia: Refuting Callback Reachability with Message-History Logics von Meier, Shawn, Mover, Sergio, Kaki, Gowtham, Chang, Bor-Yuh Evan

Volltext

Mergeable replicated data types von Kaki, Gowtham, Priya, Swarn, Sivaramakrishnan, KC, Jagannathan, Suresh

Volltext

Alone together: compositional reasoning and inference for weak isolation von Kaki, Gowtham, Nagar, Kartik, Najafzadeh, Mahsa, Jagannathan, Suresh

Volltext

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis von Roberson, Richard, Kaki, Gowtham, Trivedi, Ashutosh

Volltext bestellen

Historia: Refuting Callback Reachability with Message-History Logics (Extended Version) von Meier, Shawn, Mover, Sergio, Kaki, Gowtham, Chang, Bor-Yuh Evan

Volltext

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis von Roberson, Richard, Kaki, Gowtham, Trivedi, Ashutosh

Volltext

Declarative programming over eventually consistent data stores von Sivaramakrishnan, KC, Kaki, Gowtham, Jagannathan, Suresh

Volltext

A relational framework for higher-order shape analysis von Kaki, Gowtham, Jagannathan, Suresh

Volltext

Alone Together: Compositional Reasoning and Inference for Weak Isolation von Kaki, Gowtham, Nagar, Kartik, Nazafzadeh, Mahsa, Jagannathan, Suresh

Volltext