Emina Torlak, Tijs van der Storm, Robert Biddle
Proceedings of the Seventh Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Onward!, 2017.

@proceedings{Onward-2017,
	editor        = "Emina Torlak and Tijs van der Storm and Robert Biddle",
	isbn          = "978-1-4503-5530-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software}",
	year          = 2017,
}

Contents (18 items)

Onward-2017-WilsonPK #crowdsourcing #design #question

Can we crowdsource language design? (PTW, JP, SK), pp. 1–17.

Onward-2017-Chamberlain #design #programming language

Assessing user preferences in programming language design (RDC), pp. 18–29.

Onward-2017-Steimann #dependence #design #implementation #programming language

Replacing phrase structure grammar with dependency grammar in the design and implementation of programming languages (FS), pp. 30–43.

Onward-2017-VaziriMSSH #api #chat #generative #specification #web

Generating chat bots from web API specifications (MV, LM, AS, JS, MH), pp. 44–57.

Onward-2017-LamZC #generative #interactive #named #random #testing

ChimpCheck: property-based randomized test generation for interactive apps (ESLL, PZ, BYEC), pp. 58–77.

Onward-2017-JangdaY #bound

Unbounded superoptimization (AJ, GY), pp. 78–88.

Onward-2017-BaldiniCFMMRST #composition

The serverless trilemma: function composition for serverless computing (IB, PC, SJF, NM, VM, RR, PS, OT), pp. 89–103.

Onward-2017-Prokopec #communication #encoding

Encoding the building blocks of communication (AP), pp. 104–118.

Onward-2017-Newcomb0JSS #automation #calculus #internet

I¿¿¿: a calculus for internet of things automation (JLN, SC0, JBJ, CS, MS), pp. 119–133.

Onward-2017-WrennK #classification #design #error message #fault #process

Error messages are classifiers: a process to design and evaluate error messages (JW, SK), pp. 134–147.

Onward-2017-FrancoHWDE #abstraction #performance

You can have it all: abstraction and good cache performance (JF, MH, TW, SD, SE), pp. 148–167.

Onward-2017-VeroyG #case study #how #java #named

Garbology: a study of how Java objects die (RLV, SZG), pp. 168–179.

Onward-2017-HallSH #named #programming language #visual notation

Infra: structure all the way down: structured data as a visual programming language (CH0, TS, TH), pp. 180–197.

Onward-2017-Kirsch

Selfie and the basics (CMK), pp. 198–213.

Onward-2017-SorensenG #liveness

Systems level liveness with extempore (AS, HJG), pp. 214–228.

Onward-2017-Kell

Some were meant for C: the endurance of an unmanageable language (SK), pp. 229–245.

Onward-2017-Kaijanaho #concept analysis #programming language #research

Concept analysis in programming language research: done well it is all right (AJK), pp. 246–259.

Onward-2017-Biddle #how #modelling #research

How can our publication models best serve our research? (panel) (RB), pp. 260–261.