Author: Raul Pardo

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

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 Software? An Empirical, Descriptive Study of Artifacts ABSTRACT The term software is ubiquitous, however, it seems as if neither society in general nor the […]

Read More

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

Powered by "WordPress" Theme: powered by:WordPress Design By "WordPress"