A survey of topological work at CEOL

TL;DR

This paper surveys topological research at CEOL, emphasizing the development of real-time languages, analysis of algorithmic complexity, and the application of topological methods to improve real-time software performance.

Contribution

It provides an overview of CEOL's topological approaches, including new insights into semivaluations, partial metrics, and their relation to algorithmic running time.

Findings

Exploration of semivaluations in relation to algorithmic running time

Relation of balance of algorithms to running time

Prior results on quantitative domains and partial metrics

Abstract

We present an overview of ongoing work at the Centre for Efficiency-Oriented languages (CEOL), with a focus on topological aspects. CEOL researchers are engaged in designing a new Real-Time Language to improve software timing. The centre broadly focuses on bridging Semantics and Complexity and unites researchers with expertise in Semantics of Programming Languages, Real-Time Languages, Compiler Design and Graph Based Algorithms. CEOL aims to narrow the gap between Worst Case Execution Time analysis and Average Case Execution Time analysis for Real-Time languages and its longer term goal is the development of ACETT, an Average Case Execution Time Tool. This research work is of crucial interest to industry, given that real-time software is widely used in a variety of applications, such as chemical plants, satellite communications, the space industry, telephone exchanges, medical equipment, the motor industry, etc. Topological work at CEOL focuses on the exploration of quantitative Domains, semivaluations, partial metrics and their applications. We give an overview of prior results obtained at CEOL in this area and of current work on relating the notion of balance of algorithms to running time and of an exploration of semivaluations in relation to algorithmic running time.