Proceedings of the ACM on

Programming Languages (PACMPL)

Latest Articles

Thread-safe reactive programming

The execution of an application written in a reactive language involves transfer of data and control flow between imperative and reactive abstractions at well-defined points. In a multi-threaded environment, multiple such interactions may execute concurrently, potentially causing data races and event ordering ambiguities. Existing RP languages... (more)

Parallelization of dynamic languages: synchronizing built-in collections

Dynamic programming languages such as Python and Ruby are widely used, and much effort is spent on making them efficient. One substantial research... (more)

Virtual machine design for parallel dynamic programming languages

To leverage the benefits of modern hardware, dynamic languages must support parallelism, and parallelism requires a virtual machine (VM) capable of... (more)

goSLP: globally optimized superword level parallelism framework

Modern microprocessors are equipped with single instruction multiple data (SIMD) or vector instruction sets which allow compilers to exploit superword... (more)

Effect handlers for the masses

Effect handlers are a program structuring paradigm with rising popularity in the functional programming language community and can express many advanced control flow abstractions. We present the first implementation of effect handlers for Java - an imperative, object oriented programming language. Our framework consists of three core components: A... (more)

Empowering union and intersection types with integrated subtyping

Union and intersection types are both simple and powerful but have seen limited adoption. The problem is that, so far, subtyping algorithms for type... (more)

Julia subtyping: a rational reconstruction

Programming languages that support multiple dispatch rely on an expressive notion of subtyping to specify method applicability. In these languages, type annotations on method declarations are used to select, out of a potentially large set of methods, the one that is most appropriate for a particular tuple of arguments. Julia is a language for... (more)

Scopes as types

Scope graphs are a promising generic framework to model the binding structures of programming languages, bridging formalization and implementation, supporting the definition of type checkers and the automation of type safety proofs. However, previous work on scope graphs has been limited to simple, nominal type systems. In this paper, we show that... (more)

A derivation framework for dependent security label inference

Dependent security labels (security labels that depend on program states) in various forms have been introduced to express rich information flow... (more)

MadMax: surviving out-of-gas conditions in Ethereum smart contracts

Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts: full-fledged inter-communicating programs that capture the... (more)

Faster variational execution with transparent bytecode transformation

Variational execution is a novel dynamic analysis technique for exploring highly configurable systems and accurately tracking information flow. It is... (more)



Proceedings of the ACM on Programming Languages (PACMPL) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers. All accepted papers receive two rounds of reviewing and authors can expect initial decisions regarding submissions in under 3 months. The journal operates in close collaboration with the Special Interest Group on Programming Languages (SIGPLAN) and is committed to making high-quality peer-reviewed scientific research in programming languages free of restrictions on both access and use.

Read more about PACMPL in the inaugural editorial message.

All ACM Journals | See Full Journal Index

enter search term and/or author name