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[…]
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[…]
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[…]
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[…]
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[…]
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[…]
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[…]
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[…]
4/12/2019 – Talk: “What Is Software? An Empirical, Descriptive Study Of Artifacts” By Helge Pfeiffer
Helge Pfeiffer will present his work on clarifying what the term software is according to various academic and industrial sources. Detailed information below. SPEAKER Helge Pfeiffer, Assistant Professor. TITLE What is[…]
20/11/2019 – Talk: “Risk Analysis Of Privacy Policies” By Raúl Pardo
Raúl Pardo will present his work on analyzing privacy policies to help users (Data Subjects in the GDPR jargon) provide better informed consent. Detailed information below. SPEAKER Raúl Pardo, Postdoc. TITLE[…]