Blog

06/11/2019 – Talk: “A Visual Notation and Programming Environment for Dependent Types” by Holger Stadel Borum

Holger Stadel Borum will present his work on a visual notation and programming environment for depend types. Detailed information below. SPEAKER Holger Stadel Borum, PhD Fellow. TITLE A Visual Notation and Programming Environment for Dependent Types ABSTRACT We present a visual notation and programming environment for a first order functional language with dependent types. In […]

Read More

16/10/2019 – Talk: “Connecting Reality and Code in Object-Oriented Programming by Visualizing Objects at Runtime” by Jakob Thorsen Staugaard

Jakob Thorsen Staugaard will present the work he is carrying out as part of his MSc thesis. Detailed information below. SPEAKER Jakob Thorsen Staugaard, MSc student. TITLE Connecting Reality and Code in Object-Oriented Programming by Visualizing Objects at Runtime ABSTRACT Firstly, I would like to present the topic of which my thesis will focus on. […]

Read More

11/09/2019 – Talk: “Affiliated Participation in Open Source Communities” by Adam Alami

Adam Alami will present his work on affiliated participation in open source communities. Detailed information below. SPEAKER Adam Alami, PhD Fellow. TITLE Affiliated Participation in Open Source Communitie ABSTRACT Background: The adoption of Free/Libre and Open Source Software (FOSS) by institutions is significantly increasing, and so is the affiliated participation (the participation of industry engineers […]

Read More

28/08/2019 – Talk: “Information-Flow Security: A Brief Introduction” by Willard Rafnsson

Willard Rafnsson will give an introduction to information-flow security. Detailed information below. SPEAKER Willard Rafnsson, Assistant Professor, ITU TITLE Information-Flow Security: A Brief Introduction ABSTRACT This talk is a brief introduction to my main area of research: information-flow security. I will motivate information-flow security by pointing out shortcomings in state-of-the-art (yet antiquated) defenses: they fail […]

Read More

SQUARE group present @ICSE’19

Five ITU researchers participated in ICSE’19 in Montreal.   Two papers from the SQUARE research group were presented: Why Does Code Review Work for Open Source Software Communities? by Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski Intention-Based Integration of Software VariantsMax Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowsk

Read More

15/05/19 – Talk: Why Does Code Review Work for Open Source Software Communities?

By: Adam Alami Abstract: Open source software communities have demonstrated that they can produce high quality results.  The overall success of peer code review, commonly used in open source projects, has likely contributed strongly to this success. Code review is an emotionally loaded practice, with public exposure of reputation and ample opportunities for conflict. We […]

Read More

Reading Group on Automatic Program Repair

The problem of automatically synthesizing patches that fix bugs in programs is a recent hot topic in Software Engineering, intersecting to semantics and verification, and (simultaneously) to AI and machine learning. In this reading group, we will be looking at papers that use search-based techniques (learning) and testing to fix programs, and some that use […]

Read More