Christoph Reichenbach

Software technology researcher, Lund university

[Christoph Reichenbach @creichen_net]

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

[Christoph Reichenbach @creichen_net]

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

[Prof. Per Runeson @SoftEngResGrp]

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

https://t.co/CRICCVpHFf
https://t.co/6XtTzkNflf

@LTHinfo

[Prof. Per Runeson @SoftEngResGrp]

@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
https://t.co/USMcOoWE6X

[Andreas Zeller @AndreasZeller]

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: https://t.co/XFgLWVec16

[Christoph Reichenbach @creichen_net]

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:
https://t.co/OKlpxfEXLc

[Luigi Nardi @luiginardi]

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

[Alexandra Elbakyan @ringo_ring]

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)

[Prof. Per Runeson @SoftEngResGrp]

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

[Prof. Per Runeson @SoftEngResGrp]

Second paper available online: On the role of communication in industry-academia collaboration. A case study on our past excellence center https://t.co/f2aJwt2urQ https://t.co/cmImfB9iEt @MartinLHost @sergiohenryrico @eengstrom_lu @Elizabeth_LTH

[Christoph Reichenbach @creichen_net]

@ChimalakondaSri @ieeescam @riouakidriss @GorelHedin I've put one up now: https://t.co/4Csysjeh1u
Please don't hesitate to reach out if you have questions!

[Christoph Reichenbach @creichen_net]

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

[Christoph Reichenbach @creichen_net]

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

[Andreas Zeller @AndreasZeller]

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! https://t.co/ksOjqWIRCA

[Matthias Hauswirth @mathau]

What is a PL misconception? Find out in today's #iticse2021 talk by @chiodiniluca of @LuCEresearchlab. Paper at https://t.co/aoMqNgrVTH. @progMiscon inventory at https://t.co/lkpz82s3yn.

[SOAP at PLDI '26 @SOAP_Workshop]

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

[PLDI @PLDI]

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: https://t.co/gMzKKn9nyp

[Christoph Reichenbach @creichen_net]

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

[Gernot Heiser @GernotHeiser]

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

[SOAP at PLDI '26 @SOAP_Workshop]

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.