arXiv subjects

Tiago Soares

Publications and source records attributed to Tiago Soares.

3 recordsLinked to original sources

arXiv2023

A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version)

Algebraic effects and handlers are a powerful abstraction to build non-local control-flow mechanisms such as resumable exceptions, lightweight threads, co-routines, generators, and asynchronous I/O. All of such features have very evolved semantics, hence they pose very interesting challenges to deductive verification techniques. In fact, there are very few proposed techniques to deductively verify programs featuring these constructs, even fewer when it comes to automated proofs. In this paper, we present an extension to Cameleer, a deductive verification tool for OCaml code, that allows one to reason about algebraic effects and handlers. Our proposal embeds the behavior of effects and handlers using exceptions and employs defunctionalization to deal with continuations exposed by effect handlers.

cs.LO↗

arXiv2021

Liberalized market designs for district heating networks under the EMB3Rs platform

Current developments in heat pumps, supported by innovative business models, are driving several industry sectors to take a proactive role in future district heating and cooling networks in cities. For instance, supermarkets and data centers have been assessing the reuse of waste heat as an extra source for the district heating network, which would offset the additional investment in heat pumps. This innovative business model requires complete deregulation of the district heating market to allow industrial heat producers to provide waste heat as an additional source in the district heating network. This work proposes the application of innovative market designs for district heating networks, inspired by new practices seen in the electricity sector. More precisely, pool and market designs are addressed, comparing centralized and decentralized market proposals. An illustrative case of a Nordic district heating network is used to assess the performance of each market design, as well as the potential revenue that different heat producers can obtain by participating in the market. An important conclusion of this work is that the proposed market designs are in line with the new trends, encouraging the inclusion of new excess heat recovery players in district heating networks.

physics.soc-ph↗

arXiv2018

Peer-to-peer and community-based markets: A comprehensive review

The advent of more proactive consumers, the so-called "prosumers", with production and storage capabilities, is empowering the consumers and bringing new opportunities and challenges to the operation of power systems in a market environment. Recently, a novel proposal for the design and operation of electricity markets has emerged: these so-called peer-to-peer (P2P) electricity markets conceptually allow the prosumers to directly share their electrical energy and investment. Such P2P markets rely on a consumer-centric and bottom-up perspective by giving the opportunity to consumers to freely choose the way they are to source their electric energy. A community can also be formed by prosumers who want to collaborate, or in terms of operational energy management. This paper contributes with an overview of these new P2P markets that starts with the motivation, challenges, market designs moving to the potential future developments in this field, providing recommendations while considering a test-case.

cs.CY↗