Robert Hirschfeld, Eelco Visser
Proceedings of the First Symposium on New Ideas in Programming and Reflections on Software
Onward!, 2011.

@proceedings{Onward-2011,
	acmid         = "2048237",
	address       = "Portland, Oregon, USA",
	editor        = "Robert Hirschfeld and Eelco Visser",
	isbn          = "978-1-4503-0941-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the First Symposium on New Ideas in Programming and Reflections on Software}",
	year          = 2011,
}

Contents (24 items)

3 ×#programming language
2 ×#automation
2 ×#mobile
2 ×#named
2 ×#programming
2 ×#tool support

Onward-2011-Puschel #automation #performance #programming

Automatic performance programming (MP), pp. 1–2.

Onward-2011-MarceauFK #error message #fault #interactive

Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.

Onward-2011-Bierhoff #automation #lightweight #reasoning #verification

Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.

Onward-2011-KnollGM

Naturalistic types (RK, VG, MM), pp. 33–48.

Onward-2011-TillmannMHF #mobile #named #programming

TouchDevelop: programming cloud-connected mobile devices via touchscreen (NT, MM, JdH, MF), pp. 49–60.

Onward-2011-McDirmid

Coding at the speed of touch (SM), pp. 61–76.

Onward-2011-MistreeCCLG #named

Emerson: accessible scripting for applications in an extensible virtual world (BFTM, BC, ECP, PL, DG), pp. 77–90.

Onward-2011-Singer

A literate experimentation manifesto (JS), pp. 91–102.

Onward-2011-BoulilaCMRB #requirements

Presenting a day in the life of video-based requirements engineering (NB, OC, GAM, SR, RB), pp. 105–106.

Onward-2011-Stangl

Continuous demonstration (HS), pp. 107–108.

Onward-2011-DemmelKKS #game studies

The serious game: wemakewords (RBD, BK, SK, LS), pp. 109–110.

Onward-2011-BisianiM

Ageing society (RB, DM), pp. 111–112.

Onward-2011-PetersLH #smarttech

The intuitive control of smart home and office environments (SP, VL, VH), pp. 113–114.

Onward-2011-AnslowMM #evaluation #programming language #tool support #usability

Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.

Onward-2011-Adamczyk #on the

On the language metaphor (PA), pp. 121–128.

Onward-2011-CukierY #research

The artist in the computer scientist: more humanity to our research (DC, JWY), pp. 129–136.

Onward-2011-Barzilay

Example embedding (OB), pp. 137–144.

Onward-2011-AlabiG #tool support

The accessibility toolkit (HIA, BG), pp. 145–148.

Onward-2011-ShethK #trade-off

The tradeoffs of societal computing (SS, GEK), pp. 149–156.

Onward-2011-Orchard #design #programming language

The four Rs of programming language design (DAO), pp. 157–162.

Onward-2011-Derk #perspective #programming language #what

What makes a programming language popular?: an essay from a historical perspective (MD), pp. 163–166.

Onward-2011-Verna #biology

Biological realms in computer science (DV), pp. 167–176.

Onward-2011-NevesGF #stack

Language support for asynchronous event handling in the invocation call stack (CRGdN, EMG, CTF), pp. 177–180.

Onward-2011-CorralSSGR #development #evolution #mobile #multi #paradigm #platform

Evolution of Mobile Software Development from Platform-Specific to Web-Based Multiplatform Paradigm (LC, AS, GS, AG, PR), pp. 181–183.