The emerging serverless computing paradigm has attracted attention from both academia
and industry. This paradigm brings benefits such as less operational complexity, a pay-as …

Function-as-a-Service (FaaS) platforms and" serverless" cloud computing are becoming
increasingly popular. Current FaaS offerings are targeted at stateless functions that do …

The microservice architectural style is an emerging trend in software engineering that allows
building highly scalable and flexible systems. However, current state of the art provides only …

Java 8 retrofitted lambda expressions, a core feature of functional programming, into a
mainstream object-oriented language with an imperative paradigm. However, we do not …

Reasoning about the use of external resources is an important aspect of many practical
applications. Effect systems enable tracking such information in types, but at the cost of …

Despite the best efforts of the security community, security vulnerabilities in software are still
prevalent, with new vulnerabilities reported daily and older ones stubbornly repeating …

Programming language design requires making many usability-related design decisions.
However, existing HCI methods can be impractical to apply to programming languages …

Blindspots in APIs can cause software engineers to introduce vulnerabilities, but such
blindspots are, unfortunately, common. We study the effect APIs with blindspots have on …

Though immutability has been long-proposed as a way to prevent bugs in software, little is
known about how to make immutability support in programming languages effective for …

Approaches for programming language design used commonly in the research community
today center around theoretical and performance-oriented evaluation. Recently, researchers …