PhD student at @sp_uulm; Research Assistant at Uni Paderborn; @VariantSync; evolution of configurable software; Agda; Magic the Gathering
Paderborn, Germany
Joined May 2021
- Tweets148
- Following190
- Followers112
- Likes2.4K
Pinned Tweet
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 🍔
Paul Bittner retweeted
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!
conf.researchr.org/home/icfp…
functional-architecture.org/…
Paul Bittner retweeted
What an amazing keynote we heard by @neharungta! The scale of their applications of formal methods is just astounding. @splashcon
This Post is from an account that no longer exists. Learn more
Paul Bittner retweeted
@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.
Big thanks to my co-authors @SchultheissAlex , Benjamin Moosherr, @do_you_gnu , @leopoldomt , @EricWalkingshaw , @parisataei , and @ThomasThuem
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/Vatra…
Paul Bittner retweeted
Paul Bittner retweeted
Congratulations to the authors for winning the "Best Research Paper Award" at #SPLC24!
Sandra Greiner (@sandragreiner) presenting our foundational work on optimizing the accuracy of retroactive feature-tracing techniques with pinpointed proactive knowledge exploitation.
Part of the @VariantSync project. Authors ⬇️
Paul Bittner retweeted
👉 @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 ⬇️
#SPLC2024 Session Validation and Testing
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking (Research Track)
by @ChicoSundermann, Vincenzo Francesco Brancaccio, @ekuiter, Sebastian Krieter, @h3ssto and @ThomasThuem
Thanks to @leopoldomt @marcelodamorim @FSEconf for giving us a glimpse of brazilian carnival at the conference reception!
Paul Bittner retweeted
@FSEconf is giving a beautiful taste of Brazilian culture. @leopoldomt nailed this organization!
Paul Bittner retweeted
🚀 Check out the latest awards of the demonstrations track at buff.ly/4f68TCO.
Congrats to Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Timo Kehrer, and Thomas Thüm for the best demo entitled "Variability-Aware Differencing with DiffDetective"!
