FSEN 2021

9^th IPM International Conference on
Fundamentals of Software Engineering
(FSEN 2021)
19 - 21 May, 2021
Tehran, Iran

Home

Topics of Interest

Paper Submission

Proceedings

Important Dates

Keynote Speakers

Committees

Accepted Papers

Programme

Poster Competition

Gallery

Registration

Visa

Travel Info

Guestbook

Contact Us

FSEN Homepage

In cooperation with:

Marta Kwiatkowska, University of Oxford, UK

Title: Safety and robustness for deep learning with provable guarantees
Abstract: Computing systems are becoming ever more complex, with decisions increasingly often based on deep learning components. A wide variety of applications are being developed, many of them safety-critical, such as self-driving cars and medical diagnosis. Since deep learning is unstable with respect to adversarial perturbations, there is a need for rigorous software development methodologies that encompass machine learning components.
This lecture will describe progress with developing automated verification and testing techniques for deep neural networks to ensure safety and robustness of their decisions with respect to input perturbations. The techniques exploit Lipschitz continuity of the networks and aim to approximate, for a given set of inputs, the reachable set of network outputs in terms of lower and upper bounds, in anytime manner, with provable guarantees. We develop novel algorithms based on feature-guided search, games, global optimisation and Bayesian methods, and evaluate them on state-of-the-art networks. The lecture will conclude with an overview of the challenges in this field.

Mira Mezini, Technical University of Darmstadt, Germany

Title: Let it Flow: Live Computations for Interactive Distributed Applications
Abstract: Ubiquitous connectivity of millions of devices to each other and to web, cloud, mobile computing platforms have created a globally distributed computing system, which, in turn, has fueled the development of distributed interactive data-driven software systems. Examples range from end-user apps such as instant messengers and multiplayer games, over software for digitally-enabled collaboration (e.g. Google Docs, Figma, Trello, etc.), to software that enables real-time business (e.g., collaborative condition monitoring, real-time cross-organizational workflows, patient-centric e-health), data ecosystems of all sorts, enabling e.g., sharing and processing of financial data owned by different stakeholder. The new spin on the slogan "Software is eating the world" is: "Data-driven distributed software is eating the world".
Such software typically relies on centralized data storages and callback-driven interactions to enable lively collaborations. However, callbacks are infamous for leading to the complexity hell and centralized data storage is deficient in terms of offline availability, low latency, user-control on data privacy and is architecturally not a good match in the era of programmable network devices and powerful mobile end-devices. On the other hand, while decentralized data storage seems a natural choice for handling the problems with offline availability, low latency, and data privacy, when building decentralized applications developers cannot anymore rely on solutions for fault-tolerance and concurrency control built into centralized data storage systems and would have to treat those at the application layer.
In the talk, I will argue for the effectiveness of declarative programming abstractions inspired by the functional reactive programming not only in managing the complexity that comes with enabling interactivity and liveness of computations without the callback hell but also in automating the handling of intricate aspects of distributed software with decentralized state such as concurrency control and fault-tolerance with strong “out-of-the-box” consistency guarantees. I will do so by introducing such abstractions in the context of REScala, a library-based extension to the Scala programming language.