Projects - Self-learning machines hunt for explosions in the universe

17 Jun 2019

The National Science Agenda has awarded a 5 million euro grant to CORTEX – the Center for Optimal, Real-Time Machine Studies of the Explosive Universe. The CORTEX consortium of 12 partners from academia, industry and society will make self-learning machines faster, to figure out how massive cosmic explosions work, and to innovate wider applications. Machine learning has rapidly become an integral part of society, in speech recognition or information retrieval. This is also the case in science, for det...

Payment problems at large supermarket

17 Jun 2019

Starting at midday on June 11, it was impossible to pay at large supermarkets, especially Albert Heijn. The problem was due to a malfunctioning firewall at KPN. The reason for the failure is said to be 'unknown'. Damages are estimated to run into millions of euro's.

Projects - NWO Open Technology Programme grant for Marieke Huisman and Anton Wijs

17 Jun 2019

Prof.dr. M. Huisman (University of Twente) and dr.ing. A. Wijs (Eindhoven University of Technology) received an NWO OTP grant for the project “ChEOPS: verified Construction of corrEct and Optimised Parallel Software”. Two PhD students will be appointed, one in Twente and one in Eindhoven, to make the development and maintenance of software aimed at graphics processing units (GPUs) more insightful and effective in terms of functional correctness and performance. GPUs have an increasingly big impact on ...

Projects - Vici grant "TestShift" for Andy Zaidman

17 Jun 2019

Andy Zaidman (TU Delft) was awarded the prestigious NWO Vici grant for his TestShift proposal. TestShift will study how software team dynamics influence software testing culture in general and specific approaches in particular. At the level of individual software engineers, TestShift studies whether software engineers benefit from insight in software testing through test analytics. Software engineers will thus be able to gauge cause and effect of their efforts, giving them a sense of purpose for testi...

Awards - ICSE 2019 ACM SIGSOFT Distinguished Paper to Alexander Serebrenik

17 Jun 2019

Paper co-authored by Alexander Serebrenik (Eindhoven University of Technology) has been selected as one of the ICSE 2019 ACM SIGSOFT Distinguished Paper awardees. Distinguished Papers represent the very best contributions to the ICSE Technical Track, and are awarded to up to 10% of the papers. The paper, entitled "Going Farther Together: The Impact of Social Capital on Sustained Participation in Open Source", is co-authored Huilian Sophie Qiu (CMU, USA), Alexander Nolte (University of Tartu, Estonia),...

Awards - ICSE 2019 ACM SIGSOFT Distinguished Paper to Roberto Verdecchia

17 Jun 2019

The research “Scalable Approaches for Test Suite Reduction“, co-authored by Roberto Verdecchia, a double-Ph.D. Candidate of the S2Group (Vrije Universiteit Amsterdam) and of CS@GSSI group (Gran Sasso Science Institute), has been selected as one of the ICSE 2019 ACM SIGSOFT Distinguished Paper awardees. Distinguished Papers represent the very best contributions to the Technical Track of ICSE, the premiere annual conference in the field of software engineering. The research was carried out jointly with ...

VERSEN Best Software Engineering Technology Paper

22 Mar 2019

During ICT.Open, the Software Engineering Technology track committed selected the best Software Engineering Technology paper. This award was presented to Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm and Thomas Degueule for their paper Constraint-based Run-time State Migration for Live Modeling, which was published in the ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2018. This paper presents an approach to automatically maintain consistency between a model and its ru...

VERSEN PhD Awards 2018

22 Mar 2019

During ICT.Open, for the first time the VERSEN PhD award has been handed out. The members of the jury, Jan Friso Groote, Slinger Jansen, and Patricia Lago, used the following criteria for judging: Novelty to and impact in the field promoted by VERSEN. Timeliness. Quality of the thesis report and associated artifacts. Methodological approach and execution. The winners of the VERSEN PhD award are: Paul Fiterau Brostean (Radboud University Nijmegen) with the thesis "Active Model Learn...

From the VERSEN board - March 2019

22 Mar 2019

On March 1, the VERSEN board members had another meeting at the Lorentz center in Leiden to discuss about the text for a manifesto on Software Research. It was a productive day, and we hope to have a first complete version of the text by end of March. We will use this manifesto on Software Research also as input for the discussion on the national research agenda for computer science. On February 1, we had a very interesting SEN symposium. Many thanks to our organisers, Anna-Lena Lamprecht, Sung-Shik J...

SET track @ICT Open 2019

22 Mar 2019

Last Tuesday we held the SET track at ICT.OPEN 2019. The track presented a selection of the best Dutch research in software technology and engineering of 2018.  The SET track also featured two invited talks: Using Domain-specific languages at the Dutch Tax Authority by Gert E. Veldhuijzen van Zanten Automatic testing of graphics drivers by Alastair Donaldson (Imperial College London, Google) The full program of the track is available here, whereas an artistic summary of the second invited...

ICT with Industry 2020 - the call for case studies is open!

22 Mar 2019

Following the success of previous installments, the ICT with Industry 2020 workshop is going to take place next January at Lorentz Center. Ivano Malavolta (VU) and Vasilios Andrikopoulos (RUG), both members of VERSEN, are chairing this event.  During the workshop, practitioners AND academic researchers are working together for a week on real life case studies of direct interest to the Industry. The call of case studies is currently available (see here), with the call for participation to be open soon. ...

Symposium Declarative Programming at TU Delft

22 Mar 2019

On the occasion of the PhD defense of Daco Harkes on March 26, 2019 at TU Delft, we are organizing a symposium on Declarative Programming with talks by: Görel Hedin (Lund), Friedrich Steimann (Hagen), Guido Salvaneschi (Darmstadt), Hendrik van Antwerpen (Delft) The PhD defese will follow the talks above. Check the web page of the symposium for more information!

Vahid Garousi ranked as 8th world-wide among the most active consolidated SE researchers

22 Mar 2019

Vahid Garousi got ranked 8th world-wide, among the Most Active "Consolidated" SE researchers, who have published in top-quality journals, by this recent bibliometric study. Congrats Vahid!  

Papers spotlight - Interesting paper presented at ASE 2018 about scalable incremental building with dynamic task dependencies

22 Mar 2019

Following up on our paper about the design of the PIE build DSL, a paper at the ASE 2018 conference, to be presented by Gabriël Konat next week, deals with the poor scalability of the Pluto algorithm we used for the implementation of PIE. Since the algorithm inspects the entire dependency graph, even if few nodes are affected by a change, there is a large overhead that becomes significant in large projects. This paper extends the Pluto algorithm with a bottom-up traversal of the dependency graph that onl...

Delegation from the University of Twente visits University of Groningen

22 Mar 2019

Following through with the initiative of the Board to strengthen the ties in the software engineering community in the country through bilateral meetings, a delegation of VERSEN members from the University of Twente visited on the 18th of March their colleagues at the University of Groningen. Marieke Huisman, Arend Rensink, Sebastiaan Joosten, and Luís Ferreira Pires spent the day discussing in a informal setting with Paris Avgeriou, Vasilios Andrikopoulos, and Jorge Perez the research interests and shor...

New people - Tom van Dijk started in Twente as assistant professor

22 Mar 2019

Tom van Dijk started as assistant professor in the Formal Methods and Tools group at the University of Twente. His research is connected to formal verification and synthesis, including the efficient solving of parity games, using binary decision diagrams in formal methods and SAT/SMT solving with multi-core parallelism. He also likes making and improving usable research tools. Welcome on board, Tom!

S2Group@VU research awarded with 2 prizes at HICSS 2019

22 Mar 2019

The paper “DecidArch: Playing Cards as Software Architects”, originating from a collaboration of the S2Group with international academic and industrial partners, was awarded with two distinct prizes at the 52nd Hawaii International Conference on System Sciences (HICSS 2019). The research presents a novel educational game conceived to train students and practitioners in concepts related to software architecture and decision making. The game is currently used as an interactive session of the course “Sof...

Awards - S2Group@VU research awarded with 2 prizes at HICSS 2019

22 Mar 2019

The paper “DecidArch: Playing Cards as Software Architects”, originating from a collaboration of the S2Group with international academic and industrial partners, was awarded with two distinct prizes at the 52nd Hawaii International Conference on System Sciences (HICSS 2019). The research presents a novel educational game conceived to train students and practitioners in concepts related to software architecture and decision making. The game is currently used as an interactive session of the course “Sof...

VU/UvA PhD defense of Fahimeh Alizadeh Moghaddam

22 Mar 2019

Fahimeh Alizadeh Moghaddam will defend her PhD thesis titled "Self-Adaptation for Energy Efficiency in Software Systems" on Wednesday April 17 at 14:00, location Agnietenkapel in Amsterdam. Fahimeh's PhD is a collaboration between the S2Group @VU and the SNE group @UvA and it has been pursued under the supervision of prof. Patricia Lago (VU), dr. Paola Grosso (UvA), and prof. Cees de Laat (UvA). 

Jan Friso Groote discusses software improvement at BNR

18 Mar 2019

Jan Friso Groote discusses how software needs to improve in a radio show of BNR called "De Technoloog". The show is also available as a podcast. 

VERSEN Msc Thesis Awards 2018 at SEN Symposium

05 Feb 2019

At the SEN Symposium VERSEN awarded three Master Thesis Awards. For more information on the thesis awards, please go to this page. The winners for 2019 are: Djurre van der Wal with the thesis "Translating AWN networks to the mCRL2 model-checker": A relevant problem embedded in an international project, with excellent results. Twente University. Supervisor: Prof. dr. Jaco van de Pol Jan-Jelle Kester with the thesis "CheckMerge: A System for Risk Assessment of Code Merges": An urgent problem i...

Jan Friso Groote and Marieke Huisman in De Volkskrant (Dutch)

19 Nov 2018

Please find an interesting discussion with Marieke and Jan Friso here.

Marko van Eekelen makes software for tunnel building more reliable

19 Nov 2018

Marko van Eekelen discusses how safer software can support tunnel building.

Slinger Jansen talks about Blockchain for Student Financing

18 Nov 2018

In the Automatiseringsgids, dr. Slinger Jansen from Utrecht University, discusses the upsides of using blockchain for student financing.

Jan Friso Groote over de ICT Problematiek bij de Overheid

25 Jun 2018

Jan Friso Groote over de ICT Problematiek bij de Overheid Voorpagina Volkskrant: https://www.volkskrant.nl/nieuws-achtergrond/plannen-kabinet-in-gevaar-door-problemen-met-computersystemen-belastingdienst~b894cee8/ Achtergrond: https://www.volkskrant.nl/nieuws-achtergrond/het-raderwerk-van-de-fiscus-rammelt-aan-alle-kanten-hoe-heeft-het-zover-kunnen-komen-~b7bd0a54/ ICT problemen zo oud als Methusalem.  Deze krant rapporteerde afgelopen maandag over het rammelende raderwerk van de ICT bi...