NWO VENI Grants for two VERSEN members

01-Sep-2023

The NWO VENI grant targets excellent researchers who have recently obtained their PhDs. This year, two VERSEN members are among the awarded researchers: Clemens Dubslaff (Eindhoven University of Technology) and Sebastian Junges (Radboud University, Nijmegen). Both awardees are conducting research in the area of formal methods, aiming at improving software reliability through mathematical rigorous techniques. Clemens Dubslaff: Quasi Decision Diagrams for Symbolic Verification and Explainability ...

UU: Two Assistant Professors in Software Engineering for AI or Software Production

01-Sep-2023

We are looking for two motivated, inspiring and friendly Assistant Professors to join the Software Production group external link, which is part of the Software Division in the Department of Information and Computing Sciences external link of Utrecht University external link. The group is renowned for its empirical research that is made possible thanks to a wide network of industrial collaborators in the area of large-scale product software. The group has solid research lines in various sub-fiel...

Book publication: Concise Guide to Software Verification

01-Sep-2023

The book Concise Guide to Software Verification: From Model Checking to Annotation Checking, by Marieke Huisman and Anton Wijs, has recently been published by Springer. The book is primarily meant as a textbook to teach students at the Master level about the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how these techniques can be used in practice. It focuses on techniques whereby the user has some control over the properties that are be...

MSR 2023: Distinguished reviewer award for Groningen researcher

01-Sep-2023

Daniel Feitosa (University of Groningen) has won a Distinguished Reviewer Award for his service as a PC member of the 20th International Conference on Mining Software Repositories (MSR 2023). The award recognized the top 20 reviewers among all 229 MSR PC members. Congrats Daniel! ...

Distinguished paper award for Mohayeji Nasrabadi et al.

01-Sep-2023

The team of researchers from Eindhoven University of Technology (Hamid Mohayeji Nasrabadi, Andrei Agaronian, Eleni Constantinou, Nicola Zannone, and Alexander Serebrenik) have won the ACM SIGSOFT Distinguished Paper Award at the 20th International Conference on Mining Software Repositories (MSR 2023). In their award-winning paper “On the Resolution of Vulnerable Dependencies with Dependabot Security Updates” Mohayeji et al show that the task of fixing vulnerable dependencies is, to a large exte...

Justus Bogner: new Assistant Professor in Software Engineering at VU Amsterdam

01-Sep-2023

Hello everyone, I’m Justus Bogner, a researcher in empirical software engineering from Germany. In August, I started as an Assistant Professor in the Software and Sustainability (S2) group at VU Amsterdam. Previously, I was a postdoc for a bit more than 3 years at the University of Stuttgart, Germany, where I led a division of 5 PhD students in Prof. Stefan Wagner’s Empirical Software Engineering group. Before that, i.e., during my PhD and BSc / MSc studies, I worked in industry for more than 9...

Best Artefact Award for Petra van den Bos and Marielle Stoelinga at FORTE 2023

01-Sep-2023

Petra van den Bos and Marielle Stoelinga received the Best Artefact Award at FORTE2023. The artefact is associated with the paper “With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves”. The paper combines the research fields of game theory and software testing: strategies for Joker games are translated to executable test cases. In the Joker game, Player 1 (the Tester) gets help from Player 2 (the System Under Test) by playing a Joker. This way, goal states can be reached...

EAPLS Best Dissertation Award 2023: call for nominations

01-Sep-2023

The European Association for Programming Languages and Systems (EAPLS) has established a Best Dissertation Award in the research area of programming languages and systems. The award will go to the PhD student who in the previous period has made the most original and influential contribution to the area. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole. The deadline for nominations this ye...

Fernando Castor will be starting at the University of Twente as Associate Professor

01-Sep-2023

Fernando Castor will be joining the Formal Methods and Tools group at the University of Twente. Fernando’s research activity is mainly located within the areas of Software Engineering and Programming Languages and seeks to identify efficient ways to develop software that behaves efficiently. Over the past ten years, his research has focused on the energy efficiency of software systems, in particular, on how exploiting the design diversity of preexisting software components can be an inexpensive...

CAIN 2023: ACM SIGSOFT Distinguished paper award for Delft and Groningen researchers

01-Sep-2023

Tim Yarally, Luíz Cruz, Daniel Feitosa, June Sallou and Arie van Deursen (Delft University of Technology and University of Groningen) have won an ACM SIGSOFT Distinguished Paper Award. Their work is entitled “Uncovering Energy-Efficient Practices in Deep Learning Training: Preliminary Steps Towards Green AI” and was published at the 2nd International ACM/IEEE International Conference on AI Engineering - Software Engineering for AI. The preprint can be found at https://arxiv.org/abs/2303.13972 ...