@realThesave

Tests?! Where we are going we don’t need... tests!

Joined April 2020
  • Tweets158
  • Following36
  • Followers37
5Media
✅ Just published: Discover JoT, a new technology-agnostic tool to simplify testing of (one or many!) #microservices. 🔗 Read more: doi.org/10.1016/j.scico.2024… w/ @realThesave, @marcoperessotti, F. Rademacher, N. Unwerawattana #testing #programming #DevOps #jolie
1
154
🌟You listen to @sw_unscripted and suddenly both #ChoreographicProgramming and #Jolie get mentioned! 💡Did you know? The first choreographic programming language actually compiled to Jolie, because Jolie's primitives made the implementation much simpler. HT @realThesave
Software Unscripted
@sw_unscripted
18 Jul 2024
Episode 97: Distributed Functions with Jonathan Magen! pod.link/1602572955/episode/…
1
1
168
🗓️ Save the Date! This year the "Agility with Microservices Programming" (#AMP2024) workshop is co-located @ICSOCConf in Tunis 🇹🇳 ! 👉 Paper deadline: Sep 26th, 2024 👉 Workshop: Dec 3rd, 2024 Join us as we explore the fascinating world of #microservices! buff.ly/4dDSiVB
1
1
67
💭 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…

Choreographic Programming 2024

fabriziomontesi.com
1
3
189
The call for talk proposals of the #Choreographic #Programming Workshop @PLDI (June, Copenhagen 🇩🇰) has been extended by one week. The new deadline is March 29, 2024. Don't miss this opportunity to showcase ongoing research and completed projects! info:buff.ly/48NGXAh
2
4
950
📣 Excited to announce the 1st Choreographic Programming (CP 2024) @PLDI 2024 🇩🇰 The workshop invites talk proposals on the CP paradigm—where programs are concurrent/distributed coordination plans 🗒️ compilable into compliant implementations ⚙️ Info: pldi24.sigplan.org/home/cp-2…
5
8
1,024
Just realised that my book is at @poplconf! Here are a few ideas on how to use it for your next POPL paper. We're also hiring PhDs, postdocs, and faculty in PL! You can talk to @Manchegobaby at POPL about it. (I'm not there myself for a reason you can guess from the picture.)
2
3
20
1,710
📣 We are happy to renew our collaboration with the COORDINATION conference — #microservices are among its topics of interest! @DisCoTecConf @univgroningen 🇳🇱 on June 18-20, 2024 Abstracts: Feb. 02, 2024 Papers: Feb. 09, 2024 To know more visit discotec.org/2024/coordinati…
1
69
☕️🤝🌐 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
🤔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
1
8
3,052
🚀 Thrilling day 1 of #Microservices2023 in Pisa! 🇮🇹 Davide Taibi gave an inspiring keynote on the future of microservices!🗣️ Engaging sessions delved into microservice integration, development, & migration! 🔄🛠️ Day 2 has just started, stay tuned! buff.ly/3UN9rni
2
3
153
Saverio Giallorenzo retweeted
Federprivacy@Federprivacy
13 Jul 2023
È italiano il nuovo tool gratuito contro il #ransomware che riesce a contrastare fino al 94% degli attacchi informatici @Unibo @ArpaER @realThesave tinyurl.com/2er8a564
3
3
149
Proud to announce that Ranflood—our #cybersecurity tool that fights #ransomware with floods of decoy files, developed by @Unibo and @ArpaER—has been accepted at Computer & Security 🎉 sciencedirect.com/science/ar… Learn more about the project at ranflood.netlify.app
3
8
224
New in Jolie 1.11: The beginning of an increased focus on #HCI and #UX. Simpler explanations, actionable errors, and a systematic approach. 👇🧵 Special thanks to V. Mixen (MSc thesis on the topic at @imadaSDU) and @Kicito (work on modules)! #jolie #microservices #programming
1
1
3
407
📣 Exciting news to share! 🚀 The deadline for the #AMP2023 workshop, co-located with ECSA2023 at Yeditepe University in Istanbul, has been extended! 🗓️ You now have until the 7th of July to submit your research. #amp2023 @ECSACONF buff.ly/3JdVXgb
3
2
234
🏆 Our paper 'JoT: A Framework for Testing #Microservices in Jolie' is gonna receive the Best Artefact award at COORDINATION 2023! A mini thread on it. 👇🧵 w/ @realThesave @marcoperessotti F. Rademacher and N. Unwerawattana @jolielang @imadaSDU Link: fabriziomontesi.com/files/gm…
1
1
12
516
🎓 Need an expert reviewer for a paper on choreographic programming? We're compiling a list of people who can help you! fabriziomontesi.com/bliki/Ch…

Choreographic Programming Reviewers

fabriziomontesi.com
2
2
1
6
930
📖 I'm delighted to announce the publication of my book 'Introduction to Choreographies' with Cambridge University Press (@CUP_SciEng)! Concurrency, distribution, and decentralised coordination plans. 👇 🧵 fabriziomontesi.com/introduc… #computerscience #math @VILLUMscience [1/n]

Introduction to Choreographies | Fabrizio Montesi

fabriziomontesi.com
2
8
1
29
2,534
✍️ Go from domain models to microservice APIs with our new tool LEMMA2Jolie, now out on Science of Computer Programming! w/ Florian Rademacher, @realThesave, @marcoperessotti #microservices #api #ddd @jolielang sciencedirect.com/science/ar…
3
2
170
2023's edition of #Microservices will take place at @DI_Unipisa, Oct. 10th–12th. Don't miss the opportunity to discuss your ideas and network with fellow microservice enthusiasts from #academia and #industry. Call for contributions at buff.ly/3UN9rni
6
5
735
Load more