Christian Queinnec

 

 

Title: Programming with Energy

 

Abstract: Quantum is a framework for managing resources, which can be used by
both providers and consumers of resources to express and program resource-related operations. Besides this aspect, we will show that energy-bound computation lead to new programming styles where the goal is to obtain the best possible answers for a given energy rather than obtaining the energy to get the best answer.

This is a joint work with Luc Moreau.