Author: Raul Pardo

28/10/2020 – Talk: “Fixing Vulnerabilities Automatically with Linters” by Willard Rafnsson

Willard Rafnsson will give a talk about fixing vulnerabilities automatically with linters. Details below. SPEAKER Willard Rafnsson, Assistant Professor, ITU. TITLE Fixing Vulnerabilities Automatically with Linters ABSTRACT Static analysis is a tried-and-tested approach to eliminate vulnerabilities in software. However, despite decades of successful use by experts, mainstream programmers often deem static analysis too costly to […]

Read More

23/09/2020 – Talk: “Consistency-Preserving Evolution Planning on Feature Models” by Adrian Hoff

Adrian Hoff, a new PhD student in the SQUARE group, will give a talk about his consistency-preserving evolution planning on feature models. Details below. SPEAKER Adrian Hoff, PhD fellow, ITU. TITLE Consistency-Preserving Evolution Planning on Feature Models ABSTRACT A software product line (SPL) enables large-scale reuse in a family of related software systems through configurable […]

Read More

16/09/2020 – Talk: “A Graph Labeling Approach to Automatic Program Repair of API Misuses” by Alfredo Cruz

Alfredo Cruz will give a talk about his thesis proposal. Details below. SPEAKER Alfredo Cruz, PhD fellow, ITU. TITLE A Graph Labeling Approach to Automatic Program Repair of API Misuses ABSTRACT Consider an API for a non reentrant lock l with the functions: lock(l) and unlock(l). How many API misuses (e.g. double lock) exist? Can […]

Read More

26/08/2020 – Talk: “Cross-IDE ROS Integration Tool” by Francisco Martínez Lacasa

Francisco Martínez Lacasa will give a dry run of his research project: a Cross-IDE ROS integration tool. Details below. SPEAKER Francisco Martínez Lacasa, Research Assistant, ITU. TITLE Cross-IDE ROS Integration Tool ABSTRACT The Robot Operating System (ROS) is an open-source, meta-operating system for building robots. It provides the services expected from an operating system, from […]

Read More

24/06/2020 – Talk: “Modeling and Model-Based Testing of Software Product Lines” by Mahsa Varshosaz

Mahsa Varshosaz will present her work on modeling and testing Software Product Lines (SPLs). Details below. SPEAKER Mahsa Varshosaz, Postdoc, ITU. TITLE Modeling and Model-Based Testing of Software Product Lines ABSTRACT Software Product Line (SPL) engineering is commonly used for developing variability intensive software systems aiming for mass production and customization. An SPL consists of […]

Read More

12/08/2020 – Talk: “The Social, Organizational and Disciplinary Aspects of Quality in Free and Open Source Software Communities” by Adam Alami

Adam Alami will give a dry run of his PhD thesis presentation her work on the Social, organizational and disciplinary aspects of quality in free and open source software communities. Details below. SPEAKER Adam Alami, Postdoc, ITU. TITLE The Social, Organizational and Disciplinary Aspects of Quality in Free and Open Source Software Communities ABSTRACT Free […]

Read More

17/06/2019 – Talk: “Privacy Policies for Social Networks: A Formal Approach” by Raúl Pardo

Raúl Pardo will present his work on privacy policies for social networks. Details below. SPEAKER Raúl Pardo, Postdoc, ITU. TITLE Privacy Policies for Social Networks: A Formal Approach ABSTRACT As the use of Online Social Networks (OSNs) increases, privacy breaches keep pace with this growth. One reason is that users are unable to effectively manage […]

Read More

10/06/2020 – Dry run: “Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel” by Anders Fischer-Nielsen

Anders Fischer-Nielsen will give a dry run of his master thesis presentation. Details below. SPEAKER Anders Fischer-Nielsen, MSc student. TITLE Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel ABSTRACT I present the concept and the implementation of monitor templates, a way of expressing bug checkers operating on code — […]

Read More

03/06/2020 – Talk: “Variability Management in Software Product Lines” by Christoph Seidl

Christoph Seidl will give a talk about variability management in Software Product Lines (SPLs). Details below. SPEAKER Christoph Seidl, Assistant Professor. TITLE Variability Management in Software Product Lines (SPLs) ABSTRACT Many of today’s systems are faced with significant heterogeneity in utilized hardware, platforms, frameworks, libraries and, also, configuration options provided to adapt a system depending […]

Read More