Charla "Chaperoning the Chaperone for Fun and Profit -- A Meta-level Approach Towards Space Efficient Contracts"


Compartir
Charlista: 
Christophe Scholliers, Assistant Professor in Computer Science at UGent
Fecha: 
22 Agosto, 2016 - 15:00
Sala: 
Auditorio Ramón Picarte, Piso 3, Edificio Norte
Organización: 
Eric Tanter
Bio: 

Christophe Scholliers obtained a  Master in Informatics at the Vrije Universiteit Brussel in 2006. After his studies he started a PhD as a teaching assistant at the Programming Technology Lab (PROG). In 2013 he obtained his PhD titled "Ambient Contracts" under the promotership of Wolfgang De Meuter (SOFT-VUB) and Éric Tanter (Pleiad-DCC). As a postdoctoral researcher he was appointed on the strategic research plan for growth (SRP) called “Foundations of Programming Models for Next-Generation Computing Platforms”. Since October 2015 he is an assistant professor in computer science at UGent.

Abstract:

Racket contracts make use of special proxies called chaperones and impersonators to provide runtime support for higher-order contracts. Unlike unconstraint proxies chaperones and impersonators provide invariants over intercession. These invariants are strong enough to proof that programs with chaperone contracts exhibit the same behaviour as the program where all contracts are erased. In current higher-order contract systems applying the same contract over a higher-order value results in a multiple layers of wrapping. This exuberant wrapping can results in a significant performance lost in space (for the proxies) and time (for intercession). In this talk we detail the implementation of a toy contract system with support for space efficient contract through chaperones.