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

VERSEN @LAC 2017 (Dutch Software Architecture Conference

28 Jun 2017

The VERSEN community will organize a track at the LAC 2017, the Dutch Software Architecture Conference gathering every year hundreds of professional software architects in public- and industrial sectors. The track will allow researchers in the software architecture field to reach out to industry and establish new synergies and collaboration opportunities.

VERSEN Organizes SEN Symposium

08 Nov 2016

VERSEN is organizing another SEN-Symposium.