Florian Sattler

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

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

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

@vuldex72 @acm_tosem @pd_schubert @Norbsen @SvenApel Congrats! 🥳 Did you actually put the image of the seal on the paper?

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: se.cs.uni-saarland.de/publications/d…

"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: sws.informatik.uni-leipzig.de/wp-content/upl…

@Cor3ntin "There be dragons" applies to both 😉

@Joffreyziell Looks a bit like this one: iceboat.org/2021/01/04/new…

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 : idw-online.de/de/news792415

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

Why are people from Norway so good at editing files in Linux? Their ancestors are vi-kings.

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

Something as simple and routine as a code review tool applying syntax highlighting will expose some of the attacks here. And unlike normal underhanded C, there is no plausible deniability in these attacks.

I find the claim that this attack is a vulnerability in programming languages is especially bizarre. This is a vulnerability in some code review tools, if they don't properly show the reviewer the proposed changes, not in the programming languages.

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

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

We started using @travisci for teaching software engineering in 2013. When we reached out trying to pay, they introduced free educational accounts for us. Now I'm learning mid-semester w/o warning that they stopped and I'm scrambling to figure out alternatives for 107 students :(

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

That's a rotate

@vzverovich Looks like you passed a wrong iterator.

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

@vzverovich Huge mistake. This should be an attribute, so that we can put it in more places. [[unteachable]] Hold my beer, I'll write a paper.

BREAKING: C++23 will add std::unteachable, a function to mark unteachable code

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++"

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

Current status: removing unit tests

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