Programming language design benefits from constructs for extending the syntax and
semantics of a host language. While C's string-based macros empower programmers to …

A programmable programming language Page 1 62 COMMUNICATIONS OF THE ACM | MARCH
2018 | VOL. 61 | NO. 3 IN THE IDEAL world, software developers would analyze each problem …

The goal of domain-specific languages (DSLs) is to increase the productivity of software
engineers by abstracting from low-level boilerplate code. Introduction of DSLs in the …

The World Wide Web has evolved gradually from a document delivery platform to an
architecture for distributed programming. This largely unplanned evolution is apparent in the …

We present a recommender systems approach to conference paper assignment, ie, the task
of assigning paper submissions to reviewers. We address both the modeling of reviewer …

Proving software free of security bugs is hard. Languages that ensure that programs
correctly enforce their security policies would help, but, to date, no security-typed language …

Though there has been remarkable progress on formally verified compilers in recent years,
most of these compilers suffer from a serious limitation: they are proved correct under the …

Concurrent higher-order imperative programming languages with continuations are very
flexible and allow for the implementation of sophisticated programming patterns. For …

Operators for delimiting control and for capturing composable continuations litter the
landscape of theoretical programming language research. Numerous papers explain their …

High-level scripting languages have become tremendously popular for development of
dynamic Web applications. Many programmers appreciate the productivity benefits of …