Katara: Synthesizing CRDTs with Verified Lifting

Similar threads

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer [pdf]
Replies
0
Views
76
Hacker News
Synthesizing Abstract Transformers for Reduced-Product Domains
Replies
0
Views
116
Hacker News
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Replies
0
Views
175
Hacker News
Synthesizing optimal 8051 code with an SMT solver (2020)
Replies
0
Views
198
Hacker News
Movable tree CRDTs and Loro's implementation
Replies
0
Views
100
Hacker News

Users who are viewing this thread

Total: 3 (members: 0, guests: 3)
Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…