Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Wed 6 Sep 2017 13:22 - 13:45 at L1 - Contracts and Sessions Chair(s): Matthew Flatt

Modern service-oriented applications forgo semantically rich protocols and
middleware when composing services. Instead, they embrace the loosely-coupled
development and deployment of services that communicate via simple network
protocols. Even though these applications do expose interfaces that are
higher-order in spirit, the simplicity of the network protocols forces them
to rely on brittle low-level encodings. To bridge the apparent semantic gap,
programmers introduce ad-hoc and error-prone defensive code. Inspired by
Design by Contract, we choose a different route to bridge this gap. We
introduce Whip, a contract system for modern services. Whip (i)
provides programmers with a higher-order contract language tailored to
the needs of modern services; and (ii) monitors services at run time to detect
services that do not live up to their advertised interfaces. Contract
monitoring is local to a service. Services are treated as black boxes,
allowing heterogeneous implementation languages without modification to
services' code. Thus, Whip does not disturb the loosely coupled nature of
modern services.

Wed 6 Sep

13:00 - 14:30: Research Papers - Contracts and Sessions at L1
Chair(s): Matthew FlattUniversity of Utah
icfp-2017-papers150469560000013:00 - 13:22
Hernan MelgrattiUniversity of Buenos Aires, Argentina, Luca PadovaniUniversity of Turin, Italy
icfp-2017-papers150469695000013:22 - 13:45
Lucas WayeHarvard University, USA, Christos DimoulasHarvard University, USA, Stephen ChongHarvard University, USA
icfp-2017-papers150469830000013:45 - 14:07
Stephanie BalzerCarnegie Mellon University, USA, Frank PfenningCarnegie Mellon University, USA
icfp-2017-papers150469965000014:07 - 14:30
Atsushi IgarashiKyoto University, Japan, Peter ThiemannUniversity of Freiburg, Germany, Vasco VasconcelosUniversity of Lisbon, Portugal, Philip WadlerUniversity of Edinburgh, UK