Suresh Jagannathan

Available identifiers

zbMath Open jagannathan.sureshMaRDI QIDQ436390

List of research outcomes

Publication	Date of Publication	Type
Automated parameterized verification of CRDTs	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5009459	2021-08-04	Paper
Semantics, specification, and bounded verification of concurrent libraries in replicated systems	2021-02-04	Paper
Verifying a concurrent garbage collector with a rely-guarantee methodology	2019-08-21	Paper
\textsc{Poling}: SMT aided linearizability proofs	2018-03-01	Paper
Verifying a concurrent garbage collector using a rely-guarantee methodology	2018-01-04	Paper
Learning refinement types	2017-05-10	Paper
A relational framework for higher-order shape analysis	2016-09-29	Paper
Resource-sensitive synchronization inference by abduction	2015-09-11	Paper
Dependent Array Type Inference from Tests	2015-02-04	Paper
Partial memoization of concurrency and communication	2015-01-06	Paper
Plan B	2014-11-27	Paper
Compositional and Lightweight Dependent Type Inference for ML	2014-11-03	Paper
Relaxed-memory concurrency and verified compilation	2014-04-10	Paper
Modular reasoning for deterministic parallelism	2014-04-10	Paper
CompCertTSO	2014-02-17	Paper
Randomized leader election	2013-06-20	Paper
Semantic indexing in structured peer-to-peer networks	2012-07-26	Paper
Dependence analysis for safe futures	2012-07-20	Paper
Lightweight checkpointing for concurrent ML	2010-05-26	Paper
Flattening tuples in an SSA intermediate representation	2009-07-13	Paper
Protocol Inference Using Static Path Profiles	2008-08-28	Paper
Programming Languages and Systems	2007-09-28	Paper
Dynamic state restoration using versioning exceptions	2006-11-17	Paper
Locality in structured peer-to-peer networks	2006-05-22	Paper
Coordination Models and Languages	2006-01-10	Paper
A transactional object calculus	2005-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q2729051	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2722074	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q3999602	1993-01-23	Paper

Research outcomes over time

This page was built for person: Suresh Jagannathan