Florian Sattler

EAT, SLEEP, CODE, REPEAT

[Florian Sattler @vuldex72]

@Cor3ntin You forgot "put strange names on common concepts" 🤣

[ETAPS Conferences (now on other platforms) @ETAPSconf]

The last day of ETAPS 2023 has just started with an invited talk given by @SvenApel.

[Florian Sattler @vuldex72]

@benhermann @acm_tosem @pd_schubert @Norbsen @SvenApel No, sadly the real 🦭 is only on "promo" abstract 😅

[Florian Sattler @vuldex72]

How can data-flow analysis enhance socio-technical analysis and vice versa?

Find out more in our recent paper to appear at @acm_tosem with Sebastian Böhm, @pd_schubert, @Norbsen & @SvenApel: https://t.co/XaTT1faxHz

[Max Weber @__MaxWeber__]

"I switched to a better performing configuration, so energy consumption will also improve."
-- Don't make this mistake. Configurations matter!

Find out more in our recent @ICSEconf paper with Christian Kaltenecker, @vuldex72, @SvenApel & @Norbsen here: https://t.co/XQJ5ipkpqU

[Florian Sattler @vuldex72]

@Cor3ntin "There be dragons" applies to both 😉

[Florian Sattler @vuldex72]

@Joffreyziell Looks a bit like this one: https://t.co/0OBiClfST3

[Universität Saarland @Saar_Uni]

What goes on in the minds of programmers when they think about program code? Sven Apel, Computer Science professor at Saarland University, receives an Advanced Grant from the European Research Council (ERC) for his research on this question @ERC_Research : https://t.co/iRHy1WuWd7

[Andreas Zeller @AndreasZeller]

Great to be back at @dagstuhl, discussing research methods with @profbodden, @SvenApel, and many more young scientists in software engineering

[John Opdenakker @j_opdenakker]

Why are people from Norway so good at editing files in Linux?

Their ancestors are vi-kings.

[Florian Sattler @vuldex72]

@zygoloid You're right. I tested all the C/C++ examples from (https://t.co/ukBKSVZweT) and they are either detected by standard linter tools (clang-tidy), directly shown by vim, or found with vim-troll-stopper (https://t.co/k1BU8JD76v).
I never thought this plugin would make a comeback :D

[Florian Sattler @vuldex72]

@p0nk We have education license support on github, which provides all necessary things we need, but please double check the constraints (action minutes on pub/private repost) and if they fit your use case.

[Florian Sattler @vuldex72]

@p0nk When they announced their change to limit open source support (end of 2020), we tried to reach out but did not get any help. Afterwards, I moved all my CI jobs to github actions and never looked back since.

[Florian Sattler @vuldex72]

@Cor3ntin @vzverovich What kind of mask are you referring to?
A normal bitmask, std::mask_array or the experimental std::simd_mask?

[Florian Sattler @vuldex72]

@vzverovich Looks like you passed a wrong iterator.

[Florian Sattler @vuldex72]

@ciura_victor @vzverovich Please add an argument to the attribute. [[unteachable("MySelf")]], so we can better specify the unteachability and who is affected 😉

[Secure Software Engineering, Paderborn University @SecEngUPB]

Philipp Dominik Schubert (@pd_schubert), Florian Sattler (@vuldex72), Fabian Schiebel, Ben Hermann (@benhermann) and Eric Bodden (@profbodden) will be presenting their paper “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++"

[Florian Sattler @vuldex72]

@Cor3ntin @cjdb_ns @vzverovich Me, too. The trick is to just not write buggy code. It's called bug free programming, you should try it 😉.
Read: The myth of the zer0-bug programmer. 🤡

[Florian Sattler @vuldex72]

@Cor3ntin Maybe try some meta bikeshedding?
Bikeshedding about when and how much bikeshedding is appropriate?

Now that I'm thinking about it: should the title bikeshedding discussion be put into a footnote and attached to the new/old title?