Paul Bittner

PhD student at @sp_uulm;
Research Assistant at Uni Paderborn;
@VariantSync; evolution of configurable software; Agda; Magic the Gathering

[Paul Bittner @PaulMBittner]

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

See you next week @splashcon 🤗 for my talk with examples in C++ and 🍔

[Paul Bittner @PaulMBittner]

@ttforall Then I pick PowerPoint. :D https://t.co/sDXI3f6XKn

[Paul Bittner @PaulMBittner]

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

[Akiyoshi Kitaoka @AkiyoshiKitaoka]

Rows appear to move.

[FUNARCH @ACMFUNARCH]

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

https://t.co/8D2i5VJJJg

[SwissDevJobs.ch @SwissDevJobs]

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

[Paul Bittner @PaulMBittner]

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

[Paul Bittner @PaulMBittner]

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

[Peyman Milanfar @docmilanfar]

double-blind peer review

[Anthony Bonato @Anthony_Bonato]

For those learning proofs for the first time:

[Manu Sridharan @rakingleaves]

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

[Leopoldo Teixeira @leopoldomt]

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

[Paul Bittner @PaulMBittner]

i feel this so much...

[Annie Sexton @_anniebabannie_]

trying to use dynamically typed languages again

[Paul Bittner @PaulMBittner]

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 . 🏆💕

https://t.co/FSaxmR8Kka

[Paul Bittner @PaulMBittner]

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

See you next week @splashcon 🤗 for my talk with examples in C++ and 🍔

[Paul Bittner @PaulMBittner]

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

[SPLC 2025 @splcconf]

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

[SoftVarE Group @softvare_uulm]

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

[SoftVarE Group @softvare_uulm]

👉 @ChicoSundermann presenting the result of hundreds of hours of work: A comprehensive collection of feature-model instances from research and industry with the goal of improving the validity and relevance of future empirical works in product-line research. #SPLC24 Authors ⬇️