18/11/2020 – Talk: “Three Facets Of Privacy Policies” By Victor Morel
Victor Morel, a member of the Privatics team at Inria, will give a talk his work on studying the different means of expression for privacy policies. Details below. SPEAKER Victor Morel, PhD, Inria.[…]
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[…]
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[…]
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[…]
02/09/2020 – Talk: “Time/Temporal Types For MAL” By Holger Stadel Borum
Holger Stadel Borum will give a talk about time/temporal types for MAL. Details below. SPEAKER Holger Stadel Borum, PhD fellow. TITLE Time/Temporal Types for MAL ABSTRACT In financial calculations capital (or[…]
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[…]
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[…]
24/06/2020 – Talk: “Modeling And Model-Based Testing Of Software Product Lines” By Mahsa Varshosaz
Mahsa Varshosaz will present her work onmodeling 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[…]
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[…]
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[…]