Cloud applications depend on third party services for features ranging from networked storage to maps. Webbased application programming interfaces (web APIs) make it easy to use these third party services but hide details about their structure and resource needs. However, due to the lack of implementation-level knowledge, cloud applications have little information when these third party service...

The aim of the project was to investigate the application of security protocol analysis techniques to security APIs. Security protocols are short programs that describe the secure exchange of information over an insecure network, using cryptography. Security APIs are the Application Program Interfaces of tamper-resistant hardware security modules, commonly used in security critical applications...

Platform boundary resources play an increasingly transformative role in the global digital ecosystem. In this study, we focus on one type of platform boundary resource, namely application programming interfaces (APIs). Guided by two competing assumptions—1) that geographic boundaries are blurred and potentially less important in a digitally connected world, and 2) that geographic proximity matt...

We present DAPIP, a Programming-By-Example system that learns to program with APIs to perform data transformation tasks. We design a domainspecific language (DSL) that allows for arbitrary concatenations of API outputs and constant strings. The DSL consists of three family of APIs: regular expression-based APIs, lookup APIs, and transformation APIs. We then present a novel neural synthesis algo...

Today’s web applications often rely on a myriad of external web APIs, communicating with them through various HTTP requests spread throughout the application. These APIs are often textually described by constraints on the inputs and outputs of their entry points. In this paper we discuss constraints in web APIs that span multiple parameters. We show that these constraints are common in web APIs...

Contests mediate access to reproductive opportunities in almost all species of animals. An important aspect of the evolution of contests is the reduction of the costs incurred during intra-specific encounters to a minimum. However, escalated fights are commonly lethal in some species like the honeybee, Apis mellifera. By experimentally reducing honeybee queens' fighting abilities, we demonstrat...

Here, we report the first draft genome sequence of Lactobacillus kunkeei strain MP2, isolated from a Chilean honeybee gut. The sequenced genome has a total size of 1.58 Mb distributed into 44 contigs and 1,356 protein-coding sequences.

The present work aimed to reveal morphological characteristics of worker honeybee (Apis mellifera) wings and demonstrate the function of resilin on camber changes during flapping flight. Detailed morphological investigation of the wings showed that different surface characteristics appear on the dorsal and ventral side of the honeybee wings and the linking structure connecting the forewing and ...