Suresh Jagannathan

From MaRDI portal
Person:436390

Available identifiers

zbMath Open jagannathan.sureshMaRDI QIDQ436390

List of research outcomes





PublicationDate of PublicationType
Automated parameterized verification of CRDTs2024-02-16Paper
https://portal.mardi4nfdi.de/entity/Q50094592021-08-04Paper
Semantics, specification, and bounded verification of concurrent libraries in replicated systems2021-02-04Paper
Verifying a concurrent garbage collector with a rely-guarantee methodology2019-08-21Paper
\textsc{Poling}: SMT aided linearizability proofs2018-03-01Paper
Verifying a concurrent garbage collector using a rely-guarantee methodology2018-01-04Paper
Learning refinement types2017-05-10Paper
A relational framework for higher-order shape analysis2016-09-29Paper
Resource-sensitive synchronization inference by abduction2015-09-11Paper
Dependent Array Type Inference from Tests2015-02-04Paper
Partial memoization of concurrency and communication2015-01-06Paper
Plan B2014-11-27Paper
Compositional and Lightweight Dependent Type Inference for ML2014-11-03Paper
Relaxed-memory concurrency and verified compilation2014-04-10Paper
Modular reasoning for deterministic parallelism2014-04-10Paper
CompCertTSO2014-02-17Paper
Randomized leader election2013-06-20Paper
Semantic indexing in structured peer-to-peer networks2012-07-26Paper
Dependence analysis for safe futures2012-07-20Paper
Lightweight checkpointing for concurrent ML2010-05-26Paper
Flattening tuples in an SSA intermediate representation2009-07-13Paper
Protocol Inference Using Static Path Profiles2008-08-28Paper
Programming Languages and Systems2007-09-28Paper
Dynamic state restoration using versioning exceptions2006-11-17Paper
Locality in structured peer-to-peer networks2006-05-22Paper
Coordination Models and Languages2006-01-10Paper
A transactional object calculus2005-08-03Paper
https://portal.mardi4nfdi.de/entity/Q27290512001-11-06Paper
https://portal.mardi4nfdi.de/entity/Q27220742001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q39996021993-01-23Paper

Research outcomes over time

This page was built for person: Suresh Jagannathan