Programming Group

Programming Group at the University of St.Gallen - School of Computer Science
Prof. Guido Salvaneschi

[Programming Group @prg_grp]

Hello world! We have a new home on the web. Check it out: https://t.co/eFwn1qatKo

[Programming Group @prg_grp]

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

[Guido Salvaneschi @guidosalva]

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*.
@_typeable
@PascalWeisenburger
#PLDI @PLDI

[Programming Group @prg_grp]

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

[Guido Salvaneschi @guidosalva]

Please retweet :)
Fully funded PhD position - Programming Group, Univ. of St.Gallen, Switzerland
The Programming Group: https://t.co/JmQwRJMayM
Application page: https://t.co/pNs9kXc1tE
The position will be filled as soon as a suitable candidate is found.

[Daniel Sokolowski @Soko2D]

If you are at @VoxxedTicino and care about agility of your infrastructure and deployments, join @guidosalva and me at 4:05 pm in our session on achieving reliable, high-quality Infrastructure as Code! 🧑‍💻 The key is efficient automated #testing #ProTI https://t.co/KaWyyr1IAS

[Daniel Sokolowski @Soko2D]

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

[Programming Group @prg_grp]

We are looking forward to @splashcon 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 ⚙️🔒

[Daniel Sokolowski @Soko2D]

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

[Guido Salvaneschi @guidosalva]

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 ;) @splashcon

[George Zakhour @_typeable]

🎉 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 🦖

[Guido Salvaneschi @guidosalva]

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
@HSGStGallen @ETH_en
#SCION_Internet_Architecture

[Guido Salvaneschi @guidosalva]

Highly recommended!

[Guido Salvaneschi @guidosalva]

Our work on Propel about *Type-checking* CRDTs presented
@PLDI '23.
Pascal Weisenburger @_typeable
https://t.co/ZqPfzjYfVO
https://t.co/GeuCRLVbNw
#eventualconsistency #crdts

[Guido Salvaneschi @guidosalva]

With Propel you can *type-check* the convergence of your Conflict-free Replicated Datatypes (CRDTs)
New website: https://t.co/TJ3hBbZe3B

Also, PLDI paper now available in the ACM DL:
https://t.co/zlaaiOWfUQ
@_typeable and Pascal Weisenburger
#CRDT #consistency #programming

[Programming Group @prg_grp]

Double triple at 1st School of Computer Science #SCS conference at @HSGStGallen 🚀 3 talks & posters about works & visions on programming languages for distributed systems #PL4DS, type-checking CRDTs #localfirst @_typeable, and reliable Infrastructure as Code #IaC @Soko2D

[George Zakhour @_typeable]

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

[Guido Salvaneschi @guidosalva]

Daniel @Soko2D presenting our µs https://t.co/p75bRmJd2L system for Infrastructure as Code at the Dagstuhl seminar on 'Resilient Software Configuration and Infrastructure Code Analysis'!
#devops
#infrastructureascode

[ECOOP’26 Conference @ECOOPconf]

The submission for the second round of #ECOOP23 is getting closer 📣

Research Papers: March 1
Artifacts: March 10

Looking forward to receiving your works! 📝

[Guido Salvaneschi @guidosalva]

Time to get your submission ready! ;)

[Daniel Sokolowski @Soko2D]

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

[Daniel Sokolowski @Soko2D]

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