Testing infrastructure as code #IaC, e.g., Pulumi programs, heavily relies on integration testing. Unit testing seems to be much effort with little insight. We envision automated mocking and modern testing techniques providing developers *quick* and thorough feedback. #IaCTesting

That's our observation, vision, and ongoing work that I am looking forward to share and discuss at the Foundations of Infrastructure Specification and Testing (FIST) workshop in March in L'Aquila 🇮🇹 Join the discussion and check out our vision paper: buff.ly/3X3R5hA

The submission for the second round of #ECOOP23 is getting closer 📣 Research Papers: March 1 Artifacts: March 10 Looking forward to receiving your works! 📝

Time to get your submission ready! ;)

Daniel Daniel Sokolowski presenting our µs mjuz.rocks system for Infrastructure as Code at the Dagstuhl seminar on 'Resilient Software Configuration and Infrastructure Code Analysis'! #devops #infrastructureascode

I'm delighted to share that our paper "Type-Checking CRDT Convergence" will appear in PLDI'23 🎉 In the paper, we present Propel 🚀 the first #typesystem for CRDTs verification. It captures crucial properties of CRDTs (e.g., commutativity) in the type of user-defined functions

Double triple at 1st School of Computer Science #SCS conference at Universität St.Gallen (HSG) 🚀 3 talks & posters about works & visions on programming languages for distributed systems #PL4DS, type-checking CRDTs #localfirst George Zakhour, and reliable Infrastructure as Code #IaC Daniel Sokolowski

With Propel you can *type-check* the convergence of your Conflict-free Replicated Datatypes (CRDTs) New website: propel-prover.github.io Also, PLDI paper now available in the ACM DL: dl.acm.org/doi/10.1145/35… George Zakhour and Pascal Weisenburger #CRDT #consistency #programming

Our work on Propel about *Type-checking* CRDTs presented PLDI '23. Pascal Weisenburger George Zakhour propel-prover.github.io programming-group.com/assets/pdf/pap… #eventualconsistency #crdts

Highly recommended!

Software verification @ HSG! Was a pleasure to host Peter Müller from ETHZ talking about the SCION Internet architecture in the Computer Science Insights Talks at the School of Computer Science, University of St. Gallen Universität St.Gallen (HSG) ETH Zurich #SCION_Internet_Architecture

🎉 Exciting News 📄 Our paper "Type-Safe Dynamic Placement with First-Class Placed Values" is in #OOPSLA @splashconf! 🙌 In #distributed systems we often know where data could be, but not where it is. Yet it's important. Can we still get #static #guarantees? Dyno says yes 🦖

In distributed systems, you need to place data and functions dynamically (optimization, etc). How to retain some of the the safety guarantees of static placement? *Dynamic placement* with *placement types*, a.ka. a new step in #ScalaLoci's placement types saga ;) SPLASH Conference

Exciting news! I'll present 🏎️💨 "Creed for Speed: Comprehensive Infrastructure as Code Testing" at #CONFLANG SPLASH Conference on Oct 24 in Cascais, Portugal 🇵🇹 Dive deep into Infrastructure as Code testing with me! 🚀 1️⃣

We are looking forward to SPLASH Conference and we have exciting talks ahead on the following topics: 1️⃣ Type-Safe Dynamic Placement 📌 2️⃣ Infrastructure as Code Testing 🖥️🛠️ 3️⃣ Mixed & Verified Consistency with Propel & ConOpY ⚙️🔒

Happening today at 16:20! Join as #CONFLANG at SPLASH Conference , room Oceanus, right next to the dessert buffet! #configuration #IaC #testing

If you are at Voxxed Days Ticino and care about agility of your infrastructure and deployments, join Guido Salvaneschi and me at 4:05 pm in our session on achieving reliable, high-quality Infrastructure as Code! 🧑‍💻 The key is efficient automated #testing #ProTI proti-iac.github.io

We have an opening for a PhD position! 👩‍💻👨‍💻

Algebraic laws, such as commutativity and associativity, are everywhere – remember school arithmetic? But in coding, they are rarely explicit. Our work makes them explicit (and checks them automatically!) *in code*. George Zakhour @PascalWeisenburger #PLDI PLDI

We are excited to be part of PLDI 2024 in Copenhagen! We have several talks scheduled next week. Hope to see you there!