Christoph Reichenbach

@krishnanm86 @AndreasZeller @ICSEconf Too kind-- but let's not forget that advisor feedback doesn't build systems, nor does it run or evaluate experiments, and it most certainly does not defend your thesis for you.

Everybody praise the distinguished reviewers of @ICSEconf 2022!

@aserebrenik @DanaHDamian @AndreasZeller @ICSEconf @Venera_AP @_jon_bell_ @alessferra @chrisflach @irwinkwan @parseraisin @sabrinamarczak @RiggerManuel Thank you, and congratulations to all co-recipients! I appreciate that @ICSEconf picked this particular format to tell me that my reviews are too long.

Feeling honored. Thank you so much @DanaHDamian @AndreasZeller @ICSEconf! Congratulations to the co-winners @Venera_AP @_jon_bell_ @alessferra @chrisflach @irwinkwan @parseraisin @sabrinamarczak @creichen_net @RiggerManuel!

@mrksbrg @Elizabeth_LTH @LTHsoftware Congratulations @Elizabeth_LTH for the 10 year Most Influential Paper Award! The work on "gaps" further lead to the theory of distances and the gap finder model, a practical method for industrial use. researchgate.net/publication/27… researchgate.net/publication/33… @LTHinfo

@Bringselius Inte underligt att @UKambetet i sin granskning av universitet och högskolor konstaterar: "Den administrativa personalen ökar medan övriga anställningskategorier minskar" 4/4 uka.se/statistik--ana…

Automated debugging! We're building #Alhazen, a tool that automatically finds out _when_ and _why_ your program fails. We need your opinion as professional developers. Please take part in our user study (and RT!) to help us tie #Alhazen to your needs: tinyurl.com/debuggingstudy

Writing Java bug checkers with (full) Datalog + syntactic pattern matching gives small, fast checkers, free fact extraction, and auto-incrementalisation. For details, see Alexandru Dura's JavaDL, with @EmmaSoederberg, coming soon to a @splashcon near you: creichen.net/papers/javadl.…

New publication alert “Bayesian Optimization with a Prior for the Optimum” about how non-ML experts can use their domain knowledge in Bayesian optimization. Thanks to my amazing collaborators Artur, @FrankRHutter, @LindauerMarius, Leonardo, Kunle. Check it out at #ECML this week

Today is Sci-Hub anniversary the project is 10 years old! I'm going to publish 2,337,229 new articles to celebrate the date. They will be available on the website in a few hours (how about the lawsuit in India you may ask: our lawyers say that restriction is expired already)

.@EmmaSoederberg is promoted "Docent" (associate professor) @LTHinfo. Congrats!

Second paper available online: On the role of communication in industry-academia collaboration. A case study on our past excellence center ease.cs.lth.se doi.org/10.1002/smr.23… @MartinLHost @sergiohenryrico @eengstrom_lu @Elizabeth_LTH

@ChimalakondaSri @ieeescam @riouakidriss @GorelHedin I've put one up now: creichen.net/papers/intraj.… Please don't hesitate to reach out if you have questions!

@creichen_net @ieeescam @riouakidriss @GorelHedin Looks interesting! Is there a pre-print? Thanks

Declarative data flow analysis over source code: @riouakidriss demonstrates compact reference attribute grammar specifications to build and exploit precise intraprocedural CFGs at the source level. Details at @ieeescam; joint work with @GorelHedin and Niklas Fors. #IEEESCAM2021

@ChimalakondaSri @ieeescam @riouakidriss @GorelHedin Next week; I'll keep you posted.

How do different fields review papers? In 2021, I served on the PCs of @PLDI (programming languages), @ICSEconf (software engineering), and @acm_ccs (security). How do papers, reviews, and processes compare? And which dos and don'ts did I learn? Enjoy! andreas-zeller.info/2021/07/27/Rev…

What is a PL misconception? Find out in today's #iticse2021 talk by @chiodiniluca of @LuCEresearchlab. Paper at dl.acm.org/doi/10.1145/34…. @progMiscon inventory at progmiscon.org.

Session 1 of SOAP'21 will feature: - Invited talk: Towards Security-Oriented Program analysis (S. Bardin) - Static Analysis for Dummies: Experiencing LiSA (P. Ferrara, L. Negrini, V. Arceri, A. Cortesi) -  Security and Quality: Two Sides of The Same Coin? (S. Arzt) #soap21

Co-located with PLDI: the @SOAP_Workshop will take place on June 22nd! On the program: eight talks and three invited talks on the state of the art in program analysis. Program: #program" target="_blank" rel="nofollow noopener">pldi21.sigplan.org/home/SOAP-2021…

With the upcoming YouTube ToS changes, I plan to move my lecture videos to @lunduniversity servers. This will likely reduce discoverability, especially for German videos. Is anyone aware of collections of ad-free educational videos to add these to? Same for research talks...

Word is out, and unfortunately true: @CSIRO's @Data61news dismantles Trustworthy Systems (TS), the team that shook the scientific world with the first correctness proof of an OS, #seL4. TS staff to reallocate to AI projects or sacked 1/6

Presenting the SOAP'21 PC: Heike Wehrheim is a professor at the University of Oldenburg working on formal methods & software verification. Her research focuses on verification of concurrent algorithms and testing/static analysis of sequential programs and machine learning models.