Gail C. Murphy, Guy L. Steele Jr.
Proceedings of the Fifth Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Onward!, 2015.

@proceedings{Onward-2015,
	acmid         = "2814228",
	editor        = "Gail C. Murphy and Guy L. Steele Jr.",
	isbn          = "978-1-4503-3688-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fifth Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software}",
	year          = 2015,
}

Contents (21 items)

5 ×#towards
2 ×#performance

Onward-2015-ArztNABEM #encryption #integration #towards

Towards secure integration of cryptographic software (SA, SN, KA, EB, SE, MM), pp. 1–13.

Onward-2015-CitoLGDKR #developer #feedback #metric #runtime #using

Runtime metric meets developer: building better cloud applications using feedback (JC, PL, HCG, AD, AK, AR), pp. 14–27.

Onward-2015-SamimiWEB #constraints #design pattern

Constraints as a design pattern (HS, AW, ME, AB), pp. 28–43.

Onward-2015-ChisNSG

The moldable inspector (AC, ON, AS, TG), pp. 44–60.

Onward-2015-WaelMKSM #data type

Just-in-time data structures (MDW, SM, JDK, JBS, WDM), pp. 61–75.

Onward-2015-LorenzR #in the cloud

Separation of powers in the cloud: where applications and users become peers (DHL, BR), pp. 76–89.

Onward-2015-LiPPK #semantics

Slimming languages by reducing sugar: a case for semantics-altering transformations (JL, JP, JGP, SK), pp. 90–106.

Onward-2015-HolderTG #assessment #complexity #music #named

Musiplectics: computational assessment of the complexity of music scores (EH, ET, AG), pp. 107–120.

Onward-2015-BarmanBCTBC #interactive #synthesis #tool support #towards

Toward tool support for interactive synthesis (SB, RB, SC, ET, AB, DC), pp. 121–136.

Onward-2015-GreweEWM #performance #proving #type system

Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.

Onward-2015-AfroozehI #parsing

One parser to rule them all (AA, AI), pp. 151–170.

Onward-2015-ProkopecO #composition #distributed #programming

Isolates, channels, and event streams for composable distributed programming (AP, MO), pp. 171–182.

Onward-2015-PolitoDBF #framework

A bootstrapping infrastructure to build and extend Pharo-like languages (GP, SD, NB, LF), pp. 183–196.

Onward-2015-MattisHRHA #performance

Columnar objects: improving the performance of analytical applications (TM, JH, PR, RH, MA), pp. 197–210.

Onward-2015-PolitoDBFM #library

Virtualization support for dynamic core library update (GP, SD, NB, LF, MM), pp. 211–223.

Onward-2015-Kell #process #towards

Towards a dynamic object model within Unix processes (SK), pp. 224–239.

Onward-2015-ChariGMD #towards

Towards fully reflective environments (GC, DG, SM, SD), pp. 240–253.

Onward-2015-Petricek

Against a universal definition of “Type” (TP), pp. 254–266.

Onward-2015-West

The Cuban software revolution: 2016¿2025 (DMW), pp. 267–281.

Onward-2015-Jackson #concept #design #formal method #towards

Towards a theory of conceptual design for software (DJ), pp. 282–296.

Onward-2015-NguyenK

The cuneiform tablets of 2015 (LTN, AK), pp. 297–307.