Paul Bittner

Which language should I use to formalize my research on software variability? Find out in our recent OOPSLA paper, were we gather, unify, and compare formal languages: doi.org/10.1145/3689747 See you next week @splashcon 🤗 for my talk with examples in C++ and 🍔

@ttforall Then I pick PowerPoint. :D reddit.com/r/compsci/comm…

I think I'll go with Magic the Gathering arxiv.org/abs/1904.09828

@ttforall Or rather spends hours debugging the build pipeline. :D

Rows appear to move.

The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category! #FUNARCH-2025-Call-for-Papers" target="_blank" rel="nofollow noopener">conf.researchr.org/home/icfp-spla… functional-architecture.org/events/funarch

When you hire 100 junior developers to do the job of 3 seniors:

@eddiarulappu @EinSpandau @AMD Ich auch @eddiarulappu :D

Werbung Grafikkarte gefällig?🤝 Gemeinsam mit @AMD verlosen wir im Rahmen unseres Bootcamps eine nagelneue Gigabyte Radeon RX 7800 XT! Markiere einen Freund um teilzunehmen! Das Gewinnspiel endet am 17.01.

When the domain has more elements than the range x.com/shitpost_2077/…

@ttforall And in the end, Biology is probably the most complicated.

double-blind peer review

For those learning proofs for the first time:

What an amazing keynote we heard by @neharungta! The scale of their applications of formal methods is just astounding. @splashcon

@PaulMBittner will present tomorrow at @splashcon by 14:50 on IBR East. You will also have the chance to know more about variability in both C++ and 🍔, as well as learning about Option Calculus, the differences and tradeoffs on language choices, and correct compilers in Agda.

i feel this so much...

We formalized our theory, including all proofs, in Agda! 🐔 Most proofs come as correct compilers that can be used right away to translate languages or datasets. Our library also just received a distinguished artifact award at #OOPSLA24 @splashcon . 🏆💕 github.com/VariantSync/Va…

Big thanks to my co-authors @SchultheissAlex , Benjamin Moosherr, @do_you_gnu , @leopoldomt , @EricWalkingshaw , @parisataei , and @ThomasThuem

Which language should I use to formalize my research on software variability? Find out in our recent OOPSLA paper, were we gather, unify, and compare formal languages: doi.org/10.1145/3689747 See you next week @splashcon 🤗 for my talk with examples in C++ and 🍔

Congratulations again @sandragreiner @SchultheissAlex @PaulMBittner @ThomasThuem @timokehrer ! 🤩🥳

Congratulations to the authors for winning the "Best Research Paper Award" at #SPLC24!