Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

Mobile edge cloud (MEC) is a model for enabling on-demand elastic access to, or an
interaction with a shared pool of reconfigurable computing resources such as servers …

Bayesian parameter estimation is fast becoming the language of gravitational-wave
astronomy. It is the method by which gravitational-wave data is used to infer the sources' …

We present a system for inductive program synthesis called DreamCoder, which inputs a
corpus of synthesis problems each specified by one or a few examples, and automatically …

Recent research efforts on adversarial ML have investigated problem-space attacks,
focusing on the generation of real evasive objects in domains where, unlike images, there is …

The widespread success of large language models (LLMs) has been met with skepticism
that they possess anything like human concepts or meanings. Contrary to claims that LLMs …

The maturation of the Web platform has given rise to sophisticated and demanding Web
applications such as interactive 3D visualization, audio and video software, and games. With …

Important decisions about people are increasingly made by algorithms: Votes are counted;
voter rolls are purged; financial aid decisions are made; taxpayers are chosen for audits; air …

The idea for this book arose from a series of lectures on modern programming paradigms,
feature-oriented programming, and software product lines that are continuously held at the …

What is the effect of programming languages on software quality? This question has been a
topic of much debate for a very long time. In this study, we gather a very large data set from …