‹Programming› 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan

0 results

People (4 results)
Dimi Racordon

Dimi Racordon

Northeastern University, USA

… software libraries. Most (if not all) of my work is available on my GitHub …

Michel Steuwer

Michel Steuwer

University of Edinburgh

… from the University of Münster in Germany.

I am interested in all aspects …

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University, United States

… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all

Events (10 results)

Lawvere: A categorical programming language with effects

VIMPL 2023 When: Mon 13 Mar 2023 16:00 - 16:25 People: James Haydon

… Lawvere is a language adopting a categorical take on concatenative programming, a paradigm in which all expressions denote functions, and the juxtaposition of expressions denotes function composition. Though Lawvere is a pure language …

Cross-Language Interoperability of Heterogeneous Code

MoreVMs'23 When: Mon 13 Mar 2023 14:50 - 15:15 People: Athanasios Stratikopoulos, Florin Blanaru, Juan Fumero, Maria Xekalaki, Orion Papadakis, Christos Kotselidis

… hardware resources. All these efforts beacon the opportunity to use the JVM …, we analyze all challenges and propose a set of modifications at the compiler …

A Compact and Extensible Portable Scheme VM

MoreVMs'23 When: Mon 13 Mar 2023 09:15 - 09:40 People: Léonard Oest O'Leary, Marc Feeley

… the best of both worlds: an extensible VM packed with all and only the features …

Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development

PX/23 When: Tue 14 Mar 2023 12:00 - 12:30 People: Paul Wuilmart, Emma Söderberg, Martin Höst

… , system documents, to name a few examples. Despite all these different kinds …

News (3 results)

‹Programming› commences

Author: Tobias Pape

… The 2023 edition of ‹Programming› has started. We welcome all participants and wish you a great experience! …

Program finalized

Author: Tobias Pape

All talks and events at ‹Programming› 2023 are now scheduled. Head over to the Program page to pick your favourites! …

<Programming> paper full texts available

Author: Tobias Pape

The full-text PDFs for the second volume of the The Art, Science, and Engineering of Programming are now available!. All these journal papers (and some more) will be presented Wednesday, March 15 …

Attending Information (3 results)

Gonpachi, Nishi-Azabu

All the in-person registrants (including students) are invited to the banquet. Enjoy delicious Japanese food in the Izakaya style. Izakaya is a kind of pub in Japan. They serve beer and sake with many small plates of a variety …


… /pds/page22e_000910.html).

The University of Tokyo is requesting all people to always wear …


… (extended).

Registration fee

The main conference and all workshops …

Tracks (7 results)


… ’ Workshop format. For that, please download and read [all submissions](http …** * user studies * theories about all that

Correctness … committee will engage in peer review for all such papers.

All artifacts …

Relational Programming in miniKanren: an Interactive Tutorial

… will be highly interactive. We will implement all the code together, using the Racket …. If you would like to implement all the code yourself, please bring a laptop …

The First International Workshop on the Art, Science, and Engineering of Quantum Programming

… of the Programming 2023 conference; thus, all the topics from Programming 2023 tailored …

General (6 results)

PX/23 Homepage

… PX/23 Welcome to the website of the PX/23 conference. We are working hard to fill the website with all related information. Please check back soon! f1831e09-8757-4840-a461-4f64f3300022 …

MoreVMs 2023 Homepage

… MoreVMs 2023 Welcome to the website of the MoreVMs 2023 conference. We are working hard to fill the website with all related information. Please check back soon! 776a5688-5e3b-4b5e-9908-04b2b4671f79 …

QP 2023 Homepage

… QP 2023 Welcome to the website of the QP 2023 conference. We are working hard to fill the website with all related information. Please check back soon! 71ed6d17-ca8f-4687-9f1b-04487caeab16 …