ConSysT

Safe mixing of consistency levels for replicated objects.

Publications

  1. OOPSLA
    ConSysT
    Rethinking Safe Consistency in Distributed Object-Oriented Programming
    Proc. ACM Program. Lang. 2020
  2. FTfJP
    ConSysT
    ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming
    In Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs 2020
  3. Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT
    In Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity 2019
  4. FTFJP
    ConSysT
    Consistency Types for Safe and Efficient Distributed Programming
    Alessandro Margara, Guido Salvaneschi
    In Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs 2017
  5. DEBS
    ConSysT
    We Have a DREAM: Distributed Reactive Programming with Consistency Guarantees
    Alessandro Margara, Guido Salvaneschi
    In Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems 2014