Programming Research in Mainstream Languages (PRiML)

Saarbrücken, Germany, July 8–11, 2020

About PRiML

The First Workshop on Programming Research in Mainstream Languages will be held as part of Logic in Computer Science (LICS) & The International Colloquium on Automata, Languages and Programming (ICALP) 2020 in Saarbrücken, Germany, in July, 2020.

The PRiML workshop will consist of invited talks by leading experts and shorter contributed talks selected by the Program Committee.

Programming language (PL) research in mainstream languages, entails challenges beyond those encountered within the isolation of the laboratory. Mainstream PLs, are supported by their many users, who expect stability, but so too innovation – whether within the language itself, or its standard libraries. A mainstream PL needs to support the initial concept critique, subsequent implementations, political calculations, and, ultimate bureaucracy involved in the execution of full support for novel features – often across multiple implementations. All that debate is due to real concerns about feature interaction.

Performing PL research within a mainstream language can bring a hitherto proven research concept from the laboratory to a wider audience. Moreover, of course, the lack of isolation presents fresh challenges as new concepts must fund their own idiomatic expressions over the debate on feature interaction. One finds such expressions either within an existing PL or as a new PL with the funding or wherewithal to approach a mainstream audience.

On the other hand, the prototype PL crafted for experimenting with a research idea might have features remote from existing mainstream PLs. Choosing a mainstream PL to host the same research entails a fresh examination of the host’s features for their suitability for the research. The implication might be a very different feature set from the host or simulation to those of the prototype in the mainstream PL. Either way, the added benefit is solving the same research problem using a fresh set of features.

The PRiML workshop accepts talks about PL research within mainstream PLs.

Invited Speakers


Important Dates

Proposal submission deadline: TBA
Authors' notification: TBA
Workshop: TBA

Submission of Proposals

We are looking for talks about PL research within mainstream PLs. Prospective speakers should submit a 2-page proposal which:

  1. briefly reports on PL research performed with a mainstream PL; and
  2. clearly outlines the added value of the chosen PL(s) for the reported research.

We invite contributions from innovators working with classic TIOBE programming language mainstays such as Java, C, C++, Python and C#. But so too we welcome maturing Stack Overflow darlings such as Rust, Swift, Go and beyond.

All submissions should be submitted through:





There will be no formal proceedings published. Accepted talks will include a title and abstract; which will be made available through the workshop website prior to the early registration deadline.

Program Chairs

Seyed Hossein Haeri, Université catholique de Louvain
Paul Keir, University of the West of Scotland