Power, Conor

1. Katara: Synthesizing CRDTs with Verified Lifting
   2022/05/25 by Shadaj Laddad, Conor Power, Laddad, Shadaj +7 · 1 voice · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services #cs.DC #cs.PL
2. Keep CALM and CRDT On
   2022/10/23 by Shadaj Laddad, Laddad, Shadaj, Conor Power +9 · 2 voices · 2 citations
   #cs.DB
3. The Free Termination Property of Queries Over Time
   2025/01/31 by Conor Power, Power, Conor, Paraschos Koutris +3 · 1 voice · 1 citation
   #cs.DB #cs.DC #cs.PL