Sabitlenmiş Tweet
Hello world! We have a new home on the web. Check it out: programming-group.com
English
Programming Group
132 posts
Programming Group
@prg_grp
Programming Group at the University of St.Gallen - School of Computer Science Prof. Guido Salvaneschi
Katılım Eylül 2020
94 Takip Edilen153 Takipçiler
We are excited to be part of @PLDI 2024 in Copenhagen! We have several talks scheduled next week. Hope to see you there!
English
Programming Group retweetledi
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
George Zakhour@_typeable
Our paper "Automated Verification of Algebraic Laws" will appear in @PLDI'24 🎉 We present an automated verifier of algebraic laws for functional (Scala) code. And we showed that it performs better than other automatic provers in multiple domains.
English
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: programming-group.com Application page: tinyurl.com/2s497wsy The position will be filled as soon as a suitable candidate is found.
English
Programming Group retweetledi
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 proti-iac.github.io
English
Programming Group retweetledi
Happening today at 16:20! Join as #CONFLANG at @splashcon , room Oceanus, right next to the dessert buffet! #configuration #IaC #testing
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️⃣
English
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 ⚙️🔒
English
Programming Group retweetledi
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️⃣
English
Programming Group retweetledi
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 🦖
English
Programming Group retweetledi
🎉 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 🦖
English
Programming Group retweetledi
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
English
Programming Group retweetledi
Highly recommended!
Loris D'Antoni@lorisdanto
Hey! Student who is interested in programming languages and software engineering research, apply to attend PLMW at Splash23! PROS: you get to learn all the secrets to become a successful researcher CONS: you get to eat Pastéis de Nata (oh also a pro..) 2023.splashcon.org/track/splash-2…
English
Programming Group retweetledi
Our work on Propel about *Type-checking* CRDTs presented
@PLDI '23.
Pascal Weisenburger @_typeable
propel-prover.github.io
programming-group.com/assets/pdf/pap…
#eventualconsistency #crdts
English
Programming Group retweetledi
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…
@_typeable and Pascal Weisenburger
#CRDT #consistency #programming
English
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
English
Programming Group retweetledi
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
English
Programming Group retweetledi
Daniel @Soko2D presenting our µs mjuz.rocks system for Infrastructure as Code at the Dagstuhl seminar on 'Resilient Software Configuration and Infrastructure Code Analysis'!
#devops
#infrastructureascode
Română
Programming Group retweetledi
The submission for the second round of #ECOOP23 is getting closer 📣
Research Papers: March 1
Artifacts: March 10
Looking forward to receiving your works! 📝
English
Programming Group retweetledi
Programming Group retweetledi
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
English
Programming Group retweetledi
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
English