1.Version Control Is for Your Data Too

作　　者：Gowtham Kaki ;KC Sivaramakrishnan ;Suresh Jagannathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;136:1-18.doi:10.4230/LIPIcs.SNAPL.2019.8

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892073

文章详细全文下载
2.Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores

作　　者：KC Sivaramakrishnan ;Gowtham Kaki ;Suresh Jagannathan

出　　处：Bulletin of the Technical Committee on Data Engineering. 2016 ;39(1):52.

出版社：IEEE Computer Society

文章 ID：213498559

文章详细全文下载
3.Cooking the Books: Formalizing JMM Implementation Recipes

作　　者：Gustavo Petri ;Jan Vitek ;Suresh Jagannathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;37:445-469.doi:10.4230/LIPIcs.ECOOP.2015.445

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846923

文章详细全文下载
4.Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk)

作　　者：Suresh Jagannathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:9-9.doi:10.4230/LIPIcs.FSTTCS.2015.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847171

文章详细全文下载
5.Automated Detection of Serializability Violations Under Weak Consistency

作　　者：Kartik Nagar ;Suresh Jagannathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-18.doi:10.4230/LIPIcs.CONCUR.2018.41

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213353

文章详细全文下载

	德国	4篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Suresh Jagannathan")))) )) ) )"

	Suresh Jagannathan	5篇
	Gowtham Kaki	2篇
	KC Sivaramakrishnan	2篇
	Gustavo Petri	1篇
	Jan Vitek	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Bulletin of the Technical Committee on Data Engineering	1篇

	2019	1篇
	2018	1篇
	2016	1篇
	2015	2篇