29 Oct 2024
🦄 UniChorn: a Functional Choreographic Programming library for the Unison language, by @kaychaks. Check it out at share.unison-lang.org/@kaych…
Contains several examples from the Choral and HasChor papers. *Nice!*
#choreographicprogramming #distributedprogramming #programming
1
4
176
15 Sep 2024
Great video by @dplyukhin on our upcoming @ECOOPconf work for safe asynchronous protocol implementations through choreographies!
#ChoreographicProgramming
14 Sep 2024
I had some podcasting equipment laying around, so I recorded a version of my upcoming talk at ECOOP! Check it out if you're interested in programming languages for distributed systems :)
youtube.com/watch?v=23y1WCdv…
2
150
5 Sep 2024
Very nice paper on compilation for #ChoreographicProgramming in #Haskell using the HasChor DSL and rewriting rules. Brings 'choreographic programming as a library' one step nearer to dedicated choreographic programming languages like Choral!
krook.dev/papers/partitionin…
HT @lindsey
2
1
13
713
4 Sep 2024
Why choreographic programming, you say? Because who wants to understand the control flow in the left image, when you can just look at the right image.
(Context coming one day to a paper near you.)
#ChoreographicProgramming
2
200
29 Aug 2024
🎙️ I had great fun as the guest in the latest @ttforall podcast episode! We talked about #ChoreographicProgramming, how I started in #opensource, #microservices, session types, linear logic, the origins of the Jolie programming language, and more.
Check it out here. 👇
29 Aug 2024
Before we start the preparations for ICFP we've released a fresh new interview with @famontesi. In this Episode we talk about Distributed Systems, their type systems, their Curry-Howard correspondences, microservices, choreographies, and much more!
typetheoryforall.com/episode…
1
9
346
20 Jul 2024
Distributed programming consists of 50% messaging, 50% internal computations at participants, and 50% figuring out how the heck you're gonna deal with errors and failures.
#programming #ChoreographicProgramming
1
2
139
11 Jul 2024
📈🚄 Get safety *and* performance with non-blocking #ChoreographicProgramming! Big performance improvements for free! Tested on a real cluster! This and more in our just accepted @ECOOPconf paper w/ @dplyukhin and @marcoperessotti!
Get the preprint at fabriziomontesi.com/files/pp…
4
285
10 Jul 2024
💭 Choreographic Programming 2024 @PLDI was fantastic. :-) An entry to remember the tough questions and the importance of such events.
Thanks so much @lindsey, @marcoperessotti, and @realThesave for the great organisation!!
#choreographicprogramming
fabriziomontesi.com/bliki/Ch…
1
3
188
3 Jun 2024
📰👀The program of the first International Workshop on Choreographic Programming (co-located with @PLDI'24) is out! I for sure am looking forward to these seminars!
pldi24.sigplan.org/home/cp-2…
#choreographicprogramming
1
7
967
15 Mar 2024
Excellent use of Italian gestures 🤌 (exhibit A), masterful PhD defence 🗣️ (exhibit B), fantastic atmosphere 😊 (exhibit C). Congratulations, Dr. Lugovic!! 🥳
#choreographicprogramming @VILLUMscience @imadaSDU
1
12
332
27 Jan 2024
Can #ChoreographicProgramming be used for real software? Do we get better code? Does it perform well? Is it interoperable with previous approaches and existing code?
Yes, yes, yes, and yes in our new @programmingconf article w/ L. Lugović: doi.org/10.22152/programming…
A 🧵.
1/
1
1
3
313
17 Jan 2024
Really enjoying reading this paper!
#ChoreographicProgramming fam, check it out: choreographies as intermediate representation for high-level secure programs.
16 Jan 2024
Excited about our CSF'24 paper, "Secure Synthesis of Distributed Cryptographic Applications" (Acay, Gancher, Recto, Myers). We show we can compile high-level code to cryptographic mechanisms while provably preserving all security properties. cs.cornell.edu/andru/papers/…
4
221
24 Nov 2023
☕️🤝🌐 Object-Oriented #Programming meets #ChoreographicProgramming in our new TOPLAS article, where we present Choral: an extension of @Java with elegant abstractions for safe distributed coordination. A 🧵.
w/ @realThesave @marcoperessotti
PDF at dl.acm.org/doi/10.1145/36323…
1/
1
1
7
364
23 Nov 2023
Special thanks to all I've had the luck of collaborating with. And also to @VILLUMFONDEN for creating the opportunity that I was given years ago to kickstart an entire research group on #ChoreographicProgramming at @imadaSDU / @NATsdu / @SyddanskUni. The journey continues!
4/4
80
23 Nov 2023
🌟 Exciting News! 🌟 I’ve been awarded an @ERC_Research Consolidator Grant to work on #ChoreographicProgramming for distributed systems. I'm still wrapping my head around the incredible support from the evaluators... my heartfelt thanks.
sdu.dk/en/om_sdu/fakultetern…
1/
3
1
27
1,458
22 Nov 2023
The satisfaction when you manually write a much more useful induction principle than the one @CoqLang generates. Mutually recursive inductive types are my friends this week. 😀
(Formalising nondeterministic choreographies... #ChoreographicProgramming)
1
2
252
17 Nov 2023
I think a lot of the PL community has gotten in the habit of thinking "deadlock freedom == linearity." That's the session types trick, but it's not the #ChoreographicProgramming trick!
17 Nov 2023
🤔A misconception I've encountered on #ChoreographicProgramming is that it requires a type system (w/ data types, linear/session types, or ...) to get its interesting properties (like deadlock-freedom). No, they stem from language design.
Pic from: fabriziomontesi.com/bliki/Ch…
1/
1
13
1,966
17 Nov 2023
🤔A misconception I've encountered on #ChoreographicProgramming is that it requires a type system (w/ data types, linear/session types, or ...) to get its interesting properties (like deadlock-freedom). No, they stem from language design.
Pic from: fabriziomontesi.com/bliki/Ch…
1/
1
4
8
3,049
26 Jul 2023
In our new paper 'Now It Compiles! Certified Automatic Repair of Uncompilable Protocols' we (w/ L. Cruz-Filipe) formalise in @CoqLang a procedure that fixes unrealisable choreographies! To be presented at ITP'23.
PDF: doi.org/10.4230/LIPIcs.ITP.2…
#ChoreographicProgramming
1/
1
8
323
15 Jul 2023
💬 Attending @ECOOPconf? Do you like the lambda-calculus, distributed systems, and compilers? Don't miss Eva Graversen's talk on modular compilation for higher-order choreographies and types for agreement! 💡
#choreographicprogramming #compsci
fabriziomontesi.com/publicat…
1
4
295