Author: Raul Pardo

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

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

13/05/2020 – Talk: “Management Action Language Design Process” by Holger Stadel Borum

Holger Stadel Borum will give a talk about the Management Action Language. Details below. SPEAKER Holger Stadel Borum, PhD fellow. TITLE Management Action Language Design Process ABSTRACT The management action language was designed to allow actuaries to model pension company specific management actions in company independent balance projection. This talk will address how I through […]

Read More

29/04/2020 – Talk: “Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel” by Anders Fischer-Nielsen

Anders Fischer-Nielsen will give a talk about the work he is doing on finding resource manipulation bugs in the Linux kernel. Details below. SPEAKER Anders Fischer-Nielsen, MSc student. TITLE Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel ABSTRACT Management and manipulation of resources, be it devices, file handles, memory […]

Read More

01/04/2020 – Talk: “A Semantic Domain for Probabilistic Programs” by Willard Rafnsson

Willard Rafnsson will give a talk based on the paper “Stochastic Lambda Calculus and Monads of Probability Distributions”. Details below. SPEAKER Willard Rafnsson, Assistant Professor. TITLE A Semantic Domain for Probabilistic Programs ABSTRACT Probabilistic programming is revolutionizing probabilistic reasoning. In a probabilistic programming language, a probabilistic model is defined by a program, and probabilistic inference […]

Read More

25/03/2020 – Talk: “Learning the Shape of Critical Sections in the Linux Kernel ” by Mahsa Varshosaz

Mahsa Varshosaz will present her work on learning the shape of critical sections in the Linux kernel. Details below. SPEAKER Mahsa Varshosaz, Postdoc. TITLE Learning the Shape of Critical Sections in the Linux Kernel ABSTRACT In automatic repair of resource manipulation bugs, having information about which resources are protected can improve the quality of the […]

Read More

26/02/2020 – Talk: “Patching Bugs with Crayons” by Alfredo Cruz

Alfredo Cruz will present his work on exploring whether graph labelling can be used to fix bugs. Details below. SPEAKER Alfredo Cruz, PhD fellow. TITLE Patching Bugs with Crayons ABSTRACT Graph labelling and code generation/analysis go way back, e.g. in register allocation and instruction scheduling. Can graph labelling be also used to fix bugs? In […]

Read More

29/01/2020 – Talk: “Dependency Bugs: The Dark Side of Variability, Reuse and Modularity” by Andrzej Wasowski

Andrzej Wasowski will present his work on a case study of dependency bugs in the Robot Operating System (ROS). Details below. SPEAKER Andrzej Wasowski, Full Professor. TITLE Dependency Bugs: The Dark Side of Variability, Reuse and Modularity ABSTRACT A dependency bug is a software fault that manifests itself when accessing an unavailable asset. Dependency bugs […]

Read More