Onward! 2015- 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)

Full Citation in the ACM Digital Library

SESSION: Papers

Towards secure integration of cryptographic software

Runtime metric meets developer: building better cloud applications using feedback

Constraints as a design pattern

The moldable inspector

Just-in-time data structures

Separation of powers in the cloud: where applications and users become peers

Slimming languages by reducing sugar: a case for semantics-altering transformations

Musiplectics: computational assessment of the complexity of music scores

Toward tool support for interactive synthesis

Type systems for the masses: deriving soundness proofs and efficient checkers

One parser to rule them all

Isolates, channels, and event streams for composable distributed programming

A bootstrapping infrastructure to build and extend Pharo-like languages

Columnar objects: improving the performance of analytical applications

Virtualization support for dynamic core library update

Towards a dynamic object model within Unix processes

Towards fully reflective environments

SESSION: Essays

Against a universal definition of 'Type'

The Cuban software revolution: 2016-2025

Towards a theory of conceptual design for software

The cuneiform tablets of 2015