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


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


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