Fall 2022

26/08/2022Ulrik Pagh Schultz

Spring 2022

25/05/2022Christoph MathejaTowards an Intermediate Verification Language for Probabilistic Programs
20/05/2022Rolf-Helge PfeifferDaSEA – A Dataset for Software Ecosystem Analysis
22/04/2022Adrian HoffExperiences with Constructing and Evolving a Software Product Line with Delta-Oriented Programming
08/04/2022Rolf-Helge PfeifferSearching for Technical Debt – An Empirical, Exploratory, and Descriptive Case Study
25/03/2022Siv L. Steffensen

Sergio Daniel Quijano
How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots?
18/03/2022Siv L. SteffensenHow Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming
25/02/2022Sergio Daniel QuijanoModel-Based Testing for System-Level Safety of Autonomous Underwater Robots
18/02/2022Holger Stadel BorumPreliminary Results: Surveying the Life-Cycle of Domain-Specific Languages
11/02/2022Laura WeihlPaper Reading Club: Intro to StyleGAN

Fall 2021

17/12/2021Sebastian Mateos NicolajsenExtensibility in Programming Languages
10/12/2021Rasmus Carl Rønneberg & Raúl PardoPrivugger demo
26/11/2021Andrzej WasowskiTowards a Specification for Reinforcement Learning
12/11/2021Helge PfeifferThe Impact of Continuous Code Quality Assessment on Defects
22/10/2021Adrian HoffTowards Immersive Software Archaeology
15/10/2021Laura Weihl Paper Reading Club: Generative Adversarial Networks (GANs)
08/10/2021Holger Stadel BorumCo-designing DSL Quality Assurance Measures with Non-programming Experts
24/09/2021Holger Stadel BorumOn Designing Applied DSLs for Non-programming Experts in Evolving Domains
17/09/2021Raúl Pardo
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis

Spring 2021

28/06/21Sandra GreinerExtending Single- to Multi-Variant Model Transformations
Paper reading club
14/06/21Raúl PardoFormal Verification of Privacy Properties for Consent Management
07/06/21Mathias Oliver Valdbjørn JørgensenPrivugger-AG: Automatic Attacker Generation for Probabilistic Privacy Risk Analysis
10/05/21Michael NiekeConsistent Feature-Model Driven Software Product Line Evolution
26/04/21Adrian HoffConducting Good SE Research – Lessons Learned from Experienced Academics
29/03/21Paper reading club
15/03/21Leonel MerinoNew Interfaces for Software Engineering: Visualization and Virtual and Augmented Reality
08/03/21Ting SuAdvancing the State-of-the-Art of Mobile App Fuzzing
13/01/21– Rasmus Carl Rønneberg

– Mathias Oliver Valdbjørn Jørgensen
– Transforming Regular Programs into Probabilistic Programs

– Automatic Analysis and Synthesis of Attackers using Probabilistic Programming

Fall 2020

16/12/20Razan GhzouliBehavior Trees in Action: A Study of Robotics Applications
18/11/20Victor MorelSoK: Three Facets of Privacy Policies
28/10/20Willard RafnssonFixing Vulnerabilities Automatically with Linters
23/09/20Adrian HoffConsistency-Preserving Evolution Planning on Feature Model
16/09/20Alfredo CruzA Graph Labeling Approach to Automatic Program Repair of API Misuses
02/09/20Holger Stadel BorumTime/Temporal Types for MAL
26/08/20Francisco Martínez LacasaCross-IDE ROS Integration Tool
12/08/20Adam AlamiThe Social, Organizational and Disciplinary Aspects of Quality in Free and Open Source Software Communities

Spring 2020

24/06/20Mahsa VarshosazModeling and Model-Based Testing of Software Product Lines
17/06/20Raúl PardoPrivacy Policies for Social Networks: A Formal Approach
10/06/20Anders Ficher-NielsenDry run of master thesis presentation: Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel
03/06/20Christoph SeidlVariability Management in Software Product Lines
13/05/20Holger Stadel BorumManagement Action Language Design Process
29/04/20Anders Ficher-NielsenFinding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel
22/04/20Zhoulai FuMassive, Accurate Coronavirus Diagnosing via Machine Learning
01/04/20Willard RafnssonA Semantic Domain for Probabilistic Programs
25/03/20Mahsa VarshosazLearning the Shape of Critical Sections in the Linux Kernel
26/02/20Alfredo CruzPatching bugs with crayons
29/01/20Andrzej WasowskiDependency Bugs: The Dark Side of Variability, Reuse and Modularity
22/01/20Helge PfeifferTools Measuring Technical Debt

Fall 2019

04/12/19Helge PfeifferWhat is Software? An Empirical, Descriptive Study of Artifacts
27/11/19Claus BrabrandComputational Thinking
20/11/19Raúl PardoRisk Analysis of Privacy Policies
06/11/19Holger Stadel BorumA Visual Notation and Programming Environment for Dependent Types
16/10/19Jakob Thorsen StaugaardConnecting Reality and Code in Object-Oriented Programming by Visualizing Objects at Runtime
11/09/19Adam AlamiAffiliated Participation in Open Source Communities
04/09/19Willard RafnssonInformation-Flow Security: A Brief Introduction