Eelco Visser, Emerson R. Murphy-Hill, Crista Lopes
Proceedings of the Sixth Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Onward!, 2016.

@proceedings{Onward-2016,
	doi           = "10.1145/2986012",
	editor        = "Eelco Visser and Emerson R. Murphy-Hill and Crista Lopes",
	isbn          = "978-1-4503-4076-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Sixth Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software}",
	year          = 2016,
}

Contents (18 items)

Onward-2016-MarterBLH #identifier #lightweight #programming #readability #similarity #source code #using

Lightweight programming experiments without programmers and programs: an example study on the effect of similarity and number of object identifiers on the readability of source code using natural texts (TM, PB, PL, SH), pp. 1–14.

Onward-2016-Cardozo

Emergent software services (NC), pp. 15–28.

Onward-2016-Kuramitsu #named

Nez: practical open grammar language (KK), pp. 29–42.

Onward-2016-MilojkovicN #heuristic #type inference

Exploring cheap type inference heuristics in dynamically typed languages (NM, ON), pp. 43–56.

Onward-2016-ForsH #composition #diagrams #named #programming

Bloqqi: modular feature-based block diagram programming (NF, GH), pp. 57–73.

Onward-2016-AfshariS #abstraction #refinement

Building white-box abstractions by program refinement (MA, ZS), pp. 74–81.

Onward-2016-MillerHMB #distributed #functional #programming

Function passing: a model for typed, distributed functional programming (HM, PH, NM, JB), pp. 82–97.

Onward-2016-YadidY #programming #tutorial

Extracting code from programming tutorial videos (SY, EY), pp. 98–111.

Onward-2016-McCutchenIJ #development #spreadsheet #web

Object spreadsheets: a new computational model for end-user development of data-centric web applications (MM, SI, DJ0), pp. 112–127.

Onward-2016-ChisGKNRS

Moldable, context-aware searching with Spotter (AC, TG, JK, ON, SR, AS), pp. 128–144.

Onward-2016-KurajJ #distributed #paradigm #programming

Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift (IK, DJ0), pp. 145–164.

Onward-2016-ReinHT #development #named #programming language

Gramada: immediacy in programming language development (PR, RH, MT), pp. 165–179.

Onward-2016-IndelaKND #encryption #framework #interface #semantics #towards

Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks (SI, MK, KN, TD), pp. 180–196.

Onward-2016-ZilbersteinY #corpus #natural language #similarity

Leveraging a corpus of natural language descriptions for program similarity (MZ, EY), pp. 197–211.

Onward-2016-Emerich #how #source code

How are programs found? speculating about language ergonomics with Curry-Howard (JE), pp. 212–223.

Onward-2016-NobleBBHM

The left hand of equals (JN0, APB, KBB, MH, MSM), pp. 224–237.

Onward-2016-IngallsFHKLRTM #game studies

A world of active objects for work and play: the first ten years of lively (DI, TF, RH, RK, JL, MR, AT, TM), pp. 238–249.

Onward-2016-Gabriel

in the control room of the banquet (RPG), pp. 250–268.