Society of Research Software Engineering’s Post

Tomorrow will start the KLEE workshop on symbolic execution in Lisbon, Portugal where I will talk on Concurrent Adversarial Separation Logic (CASL), our new under-approximate logic for bug finding developed with Azalea Raad from Imperial College, Josh Berdine from Skiplab (ex-Meta) and Peter O’Hearn from Lacework, which we first published at the CONCUR’23 conference. CASL is quite innovative as the first under-approximate formal logic combining separation logic for pointer reasoning, and rely-guarantee mechanism for concurrency reasoning, which makes it particularly suitable for compositional static analysis for security bug finding. The KLEE workshop is co-located with the International Conference on Software Engineering (ICSE) this year, and I will chair the session on coverage and memory errors. That’s quite a number of interesting talks to attend: https://lnkd.in/ewzyxNGG . Come say hi if you’re around! I am still looking to hire full-time researchers for our new Bloomberg CTO infrastructure & security research team.

We need to design our data management systems to make them easy to use. This research Collin highlights is on the edge of analysis of how to make it easy for developers to write code. We need similar research to understand how to make it easy to do analytics and write reports.

According to Luciano Baresi, a Professor of Software Engineering at Politecnico di Milano, the recently-launched Proceedings of the ACM on Software Engineering (PACMSE) offers a new means to publish novel and top-level research timely in a high-quality journal. In this week's People of ACM profile, Baresi, the EiC of the journal, discusses his goals for PACMSE. He also delves into his research in distributed systems, service-based applications, and the different aspects of mobile, self-adaptive, and pervasive software systems. Read the full interview here: https://bit.ly/3Ulp0Up

ASE is the leading research forum in automated software engineering, and MATISSE has organized the 6th ASYDE workshop there! @MATISSE also presented the latest paper, “Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach"

Accelerate Your Thesis Submission! 🚀🎓 Get Complete Thesis Assistance in Software Engineering (SE) with Techsparks! 💡 💻 Suggested Topics in SE: 📊 Effort Estimation 📡 OFDM-MIMO Protocol 🧪 Test Case Selection 🌐 Optical Access Network Transmission 📶 QAM-OFDM Signal Transmission 📧 Resolve any query at: techsparks2013@gmail.com Turn your thesis into a success story with expert guidance! 🎓✨ #ThesisHelp #Techsparks #SoftwareEngineering #ThesisSupport #ResearchTopics #MTechThesis #PhDThesis #AcademicWriting #ResearchJourney

Our paper "SKILLAB: Skills Matter" by Mihaela Aluas, Lefteris Angelis, Ioannis Arapakis, Elvira Arvanitou, Konstantinos Georgiou, Anastasios Gogos, Marco Jahn, Dionysios Kehagias, Valia Kordoni, Sebastian Macaluso, Nikolaos Mittas, Vasiliki Moumtzi, Rosaria Rossini, Sofia Tsekeridou, Dimitrios Tsoukalas, Christina Volioti, Apostolos Vontas and Vasileios Voulgarakis will be presented at the 50th Euromicro Conference on Software Engineering and Advanced Applications - SEAA 2024 and will be published in the conference proceedings. The paper is included in the Session "European Projects" and describes the HORIZON project "SKILLAB". Detailed conference program https://lnkd.in/dMRR8b-w

[arXiv] "A survey paper titled 'From LLMs to LLM-based Agents for Software Engineering'" explores current practices and solutions for using LLM-based agents in software engineering. It addresses key areas such as requirements engineering, code generation, test generation, and autonomous decision-making, and includes benchmarks, metrics, and models used across various software engineering applications. https://lnkd.in/gTFNQbHt

How do people address technical debt? When discussing improvement plans, I often hear things like “we need to assess all technical debt” or “we need to align our focus for the next six months.” In computer science, we have the principle of locality of reference, particularly spatial locality. Does the same apply to changes in a codebase? If we focus on uplifting technical debt in the areas of the codebase that we work on, is it likely that future changes will build on these hotspots? By bringing technical debt uplift into our usual definition of done, we increase velocity in the areas we are currently working on, yielding dividends without massive uplift projects. Set goals for improving tech debt and apply them as you go, small steps towards the target state.

📝 New article @ISTJrnal ""Search-based Approaches to Optimizing Software Product Line Architectures: a Systematic Literature Review by Sedigheh Khoshnevis & Omid Ardestani 👉 Get your copy at 📜 Context Search-based approaches can optimize the design of Software product line architectures according to a given set of metrics. A comprehensive review offers valuable insights into previous contributions and identifies areas for further work in this area. 🤔 Motivation Although search-based approaches have been explored by researchers for optimizing the design of Software product line architectures, there is a lack of synthesis of search-based PLA (SBPLA) research, as a systematic review 💡 Findings We found that the prominent trend lines in SBPLA concern PLA remodularization problems (esp., designing new mutation operators and new tools), and incorporating patterns, styles, smells, anomalies, etc. into the SBPLA problems. We discuss several open issues."

Learning, Research, and Teaching If you’re interested in header compression techniques, check out this introductory lab work on SCHC (Static Context Header Compression): https://lnkd.in/ecP654xf. This lab work, designed for CS students, explores the design of SCHC compression rules.