This program is tentative and subject to change.
Design-by-contract is a software engineering practice where programmers annotate program elements with contract specifications that make expectations towards the user and supplier of the program element explicit. This practice has been applied in various contexts such as higher-order programming languages. However, support for contracts in distributed actor programs is limited. Unfortunately, contract specifications need to be checked while executing the program which introduces a substantial overhead. To counter this, soft verification techniques have been proposed to verify (parts of) contract specifications, but have only been applied in the context of sequential programs. The goal of our research is therefore twofold: designing contract languages for distributed actor programs and developing techniques for their soft verification. In this context, we present a work plan and method, and show our preliminary results.
This program is tentative and subject to change.
Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 15mTalk | Soft Verification for Actor Contract Systems Doctoral Symposium Bram Vandenbogaerde Vrije Universiteit Brussel | ||
10:45 10mTalk | Search-Based Translations for Tensor Operations Doctoral Symposium Jie Qiu Duolingo | ||
10:55 10mTalk | Integrating Mutation Techniques to Keep Specification and Source Code in Sync Doctoral Symposium Kerstin Jacob University of Bamberg | ||
11:05 10mTalk | Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs Doctoral Symposium Alix Decrop University of Namur | ||
11:15 15mTalk | Shaping Test Inputs in Grammar-Based Fuzzing Doctoral Symposium José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security | ||
11:30 15mTalk | Robustness against the C/C++11 memory model Doctoral Symposium Roy Margalit Tel Aviv University, Israel | ||
11:45 10mTalk | Automated Testing of Networked Systems Reliability Doctoral Symposium Michal Rozsíval Faculty of Information Technology, Brno University of Technology |