Finishing your PhD thesis? Enjoy building and doing research on software tools? Like moose, cinnamon buns, and surströmming (*⃣)? Thanks to WASP Research, we may have just the right postdoc position for you: cs.lth.se/open-positions… (*⃣ surströmming is very optional)

European and national funding agencies should acknowledge the importance of software for society and the need for increased funding of software research. Read drive.google.com/file/d/1Pn4HIN… Sign ipetitions.com/petition/europ… #EuropeNeedsSoftwareResearch #FundSofwareResearchEU VERSEN RT=❤️

WASP is seeking PhD students, postdocs and a coordinator to our Program Office. 10 open calls and positions: wasp-sweden.org/opportunities/… #academiccareer #openpositions

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.

Word is out, and unfortunately true: CSIRO's Data61 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

With the upcoming YouTube ToS changes, I plan to move my lecture videos to Lund University 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...

Co-located with PLDI: the SOAP at PLDI '26 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: pldi21.sigplan.org/home/SOAP-2021…

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

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

How do different fields review papers? In 2021, I served on the PCs of PLDI (programming languages), ICSE (software engineering), and ACM CCS 2025 (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…

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… Martin Höst Sergio RICO Emelie Engström Elizabeth Bjarnason

Declarative data flow analysis over source code: Idriss Riouak demonstrates compact reference attribute grammar specifications to build and exploit precise intraprocedural CFGs at the source level. Details at IEEE SCAM Conference; joint work with Görel Hedin and Niklas Fors. #IEEESCAM2021

.Emma Söderberg is promoted "Docent" (associate professor) @LTHinfo. Congrats!

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)

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, Frank Hutter, @LindauerMarius, Leonardo, Kunle. Check it out at #ECML this week

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 Emma Söderberg, coming soon to a SPLASH Conference near you: creichen.net/papers/javadl.…

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

Louise 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…

Markus Borg Elizabeth Bjarnason LTHsoftware Congratulations Elizabeth Bjarnason 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… LTH vid Lunds universitet