Hidehiko Masuhara, Tomas Petricek 0001
Proceedings of the Ninth Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Onward!, 2019.

@proceedings{Onward-2019,
	doi           = "10.1145/3359591",
	editor        = "Hidehiko Masuhara and Tomas Petricek 0001",
	isbn          = "978-1-4503-6995-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software}",
	year          = 2019,
}

Contents (13 items)

Onward-2019-Tolpin #probability #programming

Deployable probabilistic programming (DT), pp. 1–16.

Onward-2019-KaminaA #approach #persistent

An approach for persistent time-varying values (TK, TA), pp. 17–31.

Onward-2019-Gariano0S #named

CallƐ: an effect system for method calls (IOG, JN0, MS), pp. 32–45.

Onward-2019-StoelSV #bound #named #relational

AlleAlle: bounded relational model finding with unbounded data (JS, TvdS, JJV), pp. 46–61.

Onward-2019-CambroneroDV0WR #learning #re-engineering

Active learning for software engineering (JPC, THYD, NV, JS0, JW, MCR), pp. 62–78.

Onward-2019-Rosso0ALM #assembly #concept #declarative #web

Declarative assembly of web applications from predefined concepts (SPDR, DJ0, MA, CL, BAMI), pp. 79–93.

Onward-2019-AcharDL #debugging #distributed #interactive #named

GoTcha: an interactive debugger for GoT-based distributed systems (RA, PD, CVL), pp. 94–110.

Onward-2019-WeiherH #combinator

Storage combinators (MW, RH), pp. 111–127.

Onward-2019-BasuFG #programming language

Property conveyances as a programming language (SB, NF, JG), pp. 128–142.

Onward-2019-Allamanis #machine learning #modelling

The adverse effects of code duplication in machine learning models of code (MA), pp. 143–153.

Onward-2019-KleppmannWHM

Local-first software: you own your data, in spite of the cloud (MK, AW, PvH, MM), pp. 154–178.

Onward-2019-BaniassadBHKA #design #learning

Learning to listen for design (ELAB, IB, RH, GK, MA), pp. 179–186.

Onward-2019-Smaragdakis #programming language #question #what

Next-paradigm programming languages: what will they look like and what changes will they bring? (YS), pp. 187–197.