ConSysT

Safe mixing of consistency levels for replicated objects.

Publications

  1. SPLASH Companion
    ConSysT
    Safe Combination of Data-Centric and Operation-Centric Consistency
    In Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion, 2023
  2. OOPSLA
    ConSysT
    Rethinking Safe Consistency in Distributed Object-Oriented Programming
    Proceedings of the ACM on Programming Languages 4 (OOPSLA), 2020
  3. 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, FTfJP, 2020
  4. SPLASH Companion
    ConSysT
    Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT
    In Companion Proceedings of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion, 2019
  5. 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, FTfJP, 2017
  6. 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, DEBS, 2014