Events

Posts

Dialog is a work-in-progress strongly eventually consistent data store that combines 

, the rich distributed query semantics of 

. It builds off of existing ideas from the WebNative SDK to empower developers to build new types of local-first applications.

Join us for our monthly community call to hear what our database research team has been thinking about recently, along with an open discussion on how you're able to get involved!

Fission Reactor Community Call

At Fission, we really like reading papers, and, sometimes, implementing them (check out 

!). Though we already run the ongoing, monthly 

, we end up running into papers that just need to be read and discussed "in the now," which may involve other topics like programming languages, cryptography, networking, or a concoction of many subjects. This is that kind of series. 

For this rendition, we'll be reading and talking about the paper 

Katara: Synthesizing CRDTs with Verified Lifting

by Laddad, et. al, which was accepted to 

. We'll also have authors Shadaj Laddad & Mae Milano introduce it and participate in the discussion! 

Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, posing a challenge for even seasoned developers. As a result, CRDT development is still largely the domain of academics, with new designs often awaiting peer review and a manual proof of correctness. In this paper, we present Katara, a program synthesis-based system that takes sequential data type implementations and automatically synthesizes verified CRDT designs from them. Key to this process is a new formal definition of CRDT correctness that combines a reference sequential type with a lightweight ordering constraint that resolves conflicts between non-commutative operations. Our process follows the tradition of work in verified lifting, including an encoding of correctness into SMT logic using synthesized inductive invariants and hand-crafted grammars for the CRDT state and runtime. Katara is able to automatically synthesize CRDTs for a wide variety of scenarios, from reproducing classic CRDTs to synthesizing novel designs based on specifications in existing literature. Crucially, our synthesized CRDTs are fully, automatically verified, eliminating entire classes of common errors and reducing the process of producing a new CRDT from a painstaking paper proof of correctness to a lightweight specification.

You can also find an open source implementation of the work on 

: Video and chat log from the session are now available: 

https://talk.fission.codes/t/papers-with-friends-katara-synthesizing-crdts-with-verified-lifting/3493/2

Papers with Friends: Katara - Synthesizing CRDTs with Verified Lifting

The IPVM Workshop is a 3-day in-person workshop for people working on IPVM and closely related projects. As the initial IPVM implementation continues, there's been a desire to pick each other's brains, explore each other's use cases, share what we've learned, and roadmap out the highest value parts of the project.

Remote participation is possible, but being in the room with a whiteboard is valuable and strongly recommended.

This is not a conference. Presentations may happen as needed, but the intention is to have three very focused work sessions on topics including (but not limited to) ABI-as-IPLD 

Wasm components, raw performance, discovery mechanism, desired transactional semantics,

naming / packages, optional incentivization layer, FVM interop, and so on.

We created a discord channel dedicated to the workshop, join the server here: 

https://discord.com/channels/478735028319158273/1077414705938845716

IPVM In-Person Workshop Q1'23

A reading group for folks interested in learning more about distributed systems: we pick a paper to read each month (classic or contemporary), a volunteer presents a summary, and then a general discussion afterward. (Attendees are expected to come having read the material).

Please suggest papers for the 2023 Sessions 

Distributed Systems Reading Group

The IPVM Workshop is an in-person workshop for people working on IPVM and closely related projects. 

As the initial IPVM implementation continues, there's been a desire to pick each other's brains, explore each other's use cases, share what we've learned, and roadmap out the highest value parts of the project.

We will book a room depending on the attendants' availabilites, so please make sure to sign up for the days you know you will attend.

​This is not a conference. Presentations may happen as needed, but the intention is to have three very focused work sessions on topics including (but not limited to) ABI-as-IPLD 

 Wasm components, raw performance, discovery mechanism, desired transactional semantics, naming 

 packages, optional incentivization layer, FVM interop, and so on.

IPVM In-Person Workshop Q2'23

Zeeshan Lakhani

Howdy all,
​Zeeshan from Fission here (also Papers We Love, etc)! I'll be running the reading group this year. For those catching up on the past, you can find previous videos and chat logs at https://talk.fission.codes/c/events/distsys/79. While the first 2 papers are set for 2023, please suggest papers for future sessions here or bring up ideas in the Jan/Feb sessions. 
​As a reminder, here's what we're reading next. 
​Jan: Reflections on trusting distributed trust (2022, HotNets) by Dauterman, et. al.
​Feb: Distributed Reset (1990, FSTTCS) by Arora and Gouda 
​We'll be tackling Reflections on trusting distributed trust on Jan 27. I look forward to a brief summary by a volunteer! Otherwise, please reach out with questions, thoughts, ideas, and more on our discord channel. 
​Thanks and see you all soon,
​Zeeshan and the Fission team

<div class="mirror-content">​Howdy all,​​Zeeshan from <a href="https://fission.codes/" target="_blank" rel="nofollow noopener">Fission</a> here (also <a href="https://paperswelove.org/" target="_blank" rel="nofollow noopener">Papers We Love</a>, etc)! I&#x27;ll be running the reading group this year. For those catching up on the past, you can find previous videos and chat logs at <a href="https://talk.fission.codes/c/events/distsys/79" target="_blank" rel="nofollow noopener">https://talk.fission.codes/c/events/distsys/79</a>. While the first 2 papers are set for 2023, please suggest papers for future sessions <a href="https://talk.fission.codes/t/paper-and-or-theme-ideas-for-distributed-systems-reading-group-epoch-2023/3674" target="_blank" rel="nofollow noopener">here</a> or bring up ideas in the Jan/Feb sessions. ​​As a reminder, here&#x27;s what we&#x27;re reading next. <ul><li>​​Jan: <a href="https://arxiv.org/pdf/2210.08127.pdf" target="_blank" rel="nofollow noopener">Reflections on trusting distributed trust</a> (2022, HotNets) by Dauterman, et. al.</li><li>​​Feb: <a href="http://web.cse.ohio-state.edu/siefast/group/publications/distributed-reset.pdf" target="_blank" rel="nofollow noopener">Distributed Reset</a> (1990, FSTTCS) by Arora and Gouda </li></ul>​​We&#x27;ll be tackling Reflections on trusting distributed trust on Jan 27. I look forward to a brief summary by a volunteer! Otherwise, please reach out with questions, thoughts, ideas, and more on our <a href="https://discord.com/channels/478735028319158273/497075188400128001" target="_blank" rel="nofollow noopener">discord channel</a>. ​​Thanks and see you all soon,​​Zeeshan and the Fission team</div>

, etc)! I'll be running the reading group this year. For those catching up on the past, you can find previous videos and chat logs at 

https://talk.fission.codes/c/events/distsys/79

. While the first 2 papers are set for 2023, please suggest papers for future sessions 

 or bring up ideas in the Jan/Feb sessions. 

​As a reminder, here's what we're reading next. 

Reflections on trusting distributed trust

. I look forward to a brief summary by a volunteer! Otherwise, please reach out with questions, thoughts, ideas, and more on our 