My 50th stay at @dagstuhl@twitter.com! On a three-day group retreat with my awe-inspiring PhD students and Post-Docs @MaxCamillo@twitter.com, @le_vibe_@twitter.com, @DomSteinhoefel@twitter.com, Michael Mera, @MartinSEberlein@twitter.com, @MSmytzek@twitter.com, @paul_zfm@twitter.com and @TurikMammadov@twitter.com.
RT @zhendongsu@twitter.com
LLVM (@llvmorg@twitter.com) is such an exciting, impactful infrastructure with so much potential thanks to the contributions of many people. On the other hand, it looks like more manpower is in desperate need, for example, to maintain it and to fix the many critical bugs; please contribute!
🐦🔗: https://twitter.com/zhendongsu/status/1595345045619904514
RT @GaryMarcus@twitter.com
A Few Words about Bullshit:
How @metaAI@twitter.com’s #Galactica just jumped the AI shark.
https://garymarcus.substack.com/p/a-few-words-about-bullshit?utm_source=twitter&sd=pf
🐦🔗: https://twitter.com/GaryMarcus/status/1592745729839464448
And earlier today, we had @_rahulgopinath@twitter.com present his #Mimid approach for mining grammars.
RT @AndreasZeller@twitter.com
Today’s a busy day at @FSEconf@twitter.com! We start at 11:00 at SRC LT 52 with “Mining Input Grammars from Dynamic Control Flow” (with @_rahulgopinath@twitter.com and @bjrnmath@twitter.com): https://2022.esec-fse.org/details/fse-2022-esec-fse-2020/5/Mining-Input-Grammars-from-Dynamic-Control-Flow
🐦🔗: https://twitter.com/AndreasZeller/status/1592345441232125953
Here‘s @MSmytzek@twitter.com demonstrating his #SFLKit integrating dozens of faults localization techniques in a single library.
RT @AndreasZeller@twitter.com
And we close our day at @FSEconf@twitter.com with “SFLKit: A Workbench for Statistical Fault Localization” by @MSmytzek@twitter.com at 15:08 - 15:15 at SRC LT 51: https://2022.esec-fse.org/details/fse-2022-demonstrations/3/SFLKit-A-Workbench-for-Statistical-Fault-Localization
🐦🔗: https://twitter.com/AndreasZeller/status/1592345456377737216
Right now: @DomSteinhoefel@twitter.com presenting and demonstrating (!) #ISLa
RT @AndreasZeller@twitter.com
Here comes #ISLa, our input specification language and fuzzer at @FSEconf@twitter.com – 14:00 - 14:15 at SRC LT 50, with @DomSteinhoefel@twitter.com including a live demo: https://2022.esec-fse.org/details/fse-2022-research-papers/61/Input-Invariants
🐦🔗: https://twitter.com/AndreasZeller/status/1592345450035965952
RT @AndreasZeller@twitter.com
We close the morning with “Locating Faults with Program Slicing: An Empirical Analysis” at 12:00 - 12:15 at SRC GLR (with @ezekSoremekun@twitter.com, Lukas Kirschner, and @mboehme_@twitter.com): https://2022.esec-fse.org/details/fse-2022-journal-first/25/Locating-Faults-with-Program-Slicing-An-Empirical-Analysis
🐦🔗: https://twitter.com/AndreasZeller/status/1592345447552913408
Today’s a busy day at @FSEconf@twitter.com! We start at 11:00 at SRC LT 52 with “Mining Input Grammars from Dynamic Control Flow” (with @_rahulgopinath@twitter.com and @bjrnmath@twitter.com): https://2022.esec-fse.org/details/fse-2022-esec-fse-2020/5/Mining-Input-Grammars-from-Dynamic-Control-Flow
The video of my @FSEconf@twitter.com talk “Academic Prototyping” is now available. If you want to see me coding a full symbolic test generator from scratch in a few minutes, watch this: https://www.youtube.com/watch?v=Z7Z0cdwPS0U
RT @AndreasZeller@twitter.com
Tutorial notes for my tutorial “Academic Prototyping” (today 14:00 at @FSEconf@twitter.com; https://2022.esec-fse.org/details/fse-2022-keynotes/4/Academic-Prototyping) are now available: https://www.fuzzingbook.org/html/AcademicPrototyping.html
🐦🔗: https://twitter.com/AndreasZeller/status/1592085612454346754