Saverio Giallorenzo

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

[Fabrizio Montesi ⬣ A➔B @famontesi]

✅ Just published: Discover JoT, a new technology-agnostic tool to simplify testing of (one or many!) #microservices.

🔗 Read more: https://t.co/Q5hiWwU1q6

w/ @realThesave, @marcoperessotti, F. Rademacher, N. Unwerawattana

#testing #programming #DevOps #jolie

[Fabrizio Montesi ⬣ A➔B @famontesi]

🌟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

[Microservices Community @c_microservices]

🗓️ 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!
https://t.co/DuculFfpJ7

[Fabrizio Montesi ⬣ A➔B @famontesi]

💭 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

https://t.co/uvXwV62Mkb

[Microservices Community @c_microservices]

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:https://t.co/I75XQRqEtq

[Microservices Community @c_microservices]

📣 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: https://t.co/qA0PjrMEoS

[Fabrizio Montesi ⬣ A➔B @famontesi]

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.)

[Microservices Community @c_microservices]

📣 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 https://t.co/dvbMDBUIvr

[Fabrizio Montesi ⬣ A➔B @famontesi]

☕️🤝🌐 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 https://t.co/OowMEqSAfG

1/

[Fabrizio Montesi ⬣ A➔B @famontesi]

🤔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: https://t.co/rxcCETcr0f

1/

[Microservices Community @c_microservices]

🚀 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!
https://t.co/SXDrxWWoN2

[Saverio Giallorenzo @realThesave]

@famontesi It’s clearly floating — but we still need some more work to make it fly :D

[Federprivacy @Federprivacy]

È italiano il nuovo tool gratuito contro il #ransomware che riesce a contrastare fino al 94% degli attacchi informatici @Unibo @ArpaER @realThesave https://t.co/0sVhqHvsOv

[Saverio Giallorenzo @realThesave]

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 🎉

https://t.co/FDMBCSUMEx

Learn more about the project at https://t.co/9CfP1VV3Tt

[Fabrizio Montesi ⬣ A➔B @famontesi]

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

[Microservices Community @c_microservices]

📣 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
https://t.co/24UTxZFfQ5

[Fabrizio Montesi ⬣ A➔B @famontesi]

🏆 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: https://t.co/BC3MuXeLjo

[Fabrizio Montesi ⬣ A➔B @famontesi]

🎓 Need an expert reviewer for a paper on choreographic programming? We're compiling a list of people who can help you!

https://t.co/Q1jBWLxNA1

[Fabrizio Montesi ⬣ A➔B @famontesi]

📖 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. 👇 🧵

https://t.co/4FjhfURcbX

#computerscience #math @VILLUMscience

[1/n]

[Fabrizio Montesi ⬣ A➔B @famontesi]

✍️ 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

https://t.co/6gLgIBoJgg