List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Automated parameterized verification of CRDTs Computer Aided Verification | 2024-02-16 | Paper |
| Automated detection of serializability violations under weak consistency | 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 Journal of Automated Reasoning | 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 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| A relational framework for higher-order shape analysis Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Resource-sensitive synchronization inference by abduction Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| Dependent array type inference from tests Lecture Notes in Computer Science | 2015-02-04 | Paper |
| Partial memoization of concurrency and communication Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Plan B, a buffered memory model for Java Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Compositional and lightweight dependent type inference for ML Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Relaxed-memory concurrency and verified compilation Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Modular reasoning for deterministic parallelism Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| CompCertTSO Journal of the ACM | 2014-02-17 | Paper |
| Randomized leader election Distributed Computing | 2013-06-20 | Paper |
| Semantic indexing in structured peer-to-peer networks Journal of Parallel and Distributed Computing | 2012-07-26 | Paper |
| Dependence analysis for safe futures Science of Computer Programming | 2012-07-20 | Paper |
| Lightweight checkpointing for concurrent ML Journal of Functional Programming | 2010-05-26 | Paper |
| Flattening tuples in an SSA intermediate representation Higher-Order and Symbolic Computation | 2009-07-13 | Paper |
| Protocol Inference Using Static Path Profiles Static Analysis | 2008-08-28 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Dynamic state restoration using versioning exceptions Higher-Order and Symbolic Computation | 2006-11-17 | Paper |
| Locality in structured peer-to-peer networks Journal of Parallel and Distributed Computing | 2006-05-22 | Paper |
| Coordination Models and Languages Lecture Notes in Computer Science | 2006-01-10 | Paper |
| A transactional object calculus Science of Computer Programming | 2005-08-03 | Paper |
| scientific article; zbMATH DE number 1629940 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1617335 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 49831 (Why is no real title available?) | 1993-01-23 | Paper |
Research outcomes over time
This page was built for person: Suresh Jagannathan
