Powered by
Conference Publishing Consulting

2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2015), October 25–30, 2015, Pittsburgh, PA, USA

Onward! 2015 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Article: onward15foreword-fm000-p doi:
Message from the Chairs
Article: onward15foreword-fm001-p doi:

Papers

Towards Secure Integration of Cryptographic Software
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany)
Article: onward15papers-onward15-papers-6-p doi:
Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback
Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, and Andreas Roth
(University of Zurich, Switzerland; SAP, Germany)
Article: onward15papers-onward15-papers-15-p doi:
Constraints as a Design Pattern
Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, and Alan Borning
(SAP Labs, USA; Viewpoints Research Institute, USA)
Article: onward15papers-onward15-papers-44-p doi:
The Moldable Inspector
Andrei Chiş, Oscar Nierstrasz, Aliaksei Syrel, and Tudor Gîrba
(University of Bern, Switzerland; tudorgirba.com, Switzerland)
Article: onward15papers-onward15-papers-18-p doi:
Just-in-Time Data Structures
Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer B. Sartor, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium; INRIA, France; Ghent University, Belgium)
Article: onward15papers-onward15-papers-14-p doi:
Separation of Powers in the Cloud: Where Applications and Users Become Peers
David H. Lorenz and Boaz Rosenan
(Open University, Israel; Technion, Israel; University of Haifa, Israel)
Article: onward15papers-onward15-papers-25-p doi:
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Junsong Li, Justin Pombrio, Joe Gibbs Politz, and Shriram Krishnamurthi
(Brown University, USA)
Article: onward15papers-onward15-papers-32-p doi:
Musiplectics: Computational Assessment of the Complexity of Music Scores
Ethan Holder, Eli Tilevich, and Amy Gillick
(Virginia Tech, USA)
Article: onward15papers-onward15-papers-40-p doi:
Toward Tool Support for Interactive Synthesis
Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, and David Culler
(University of California at Berkeley, USA; University of Washington, USA; Samsung Research, USA)
Article: onward15papers-onward15-papers-21-p doi:
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, and Mira Mezini
(TU Darmstadt, Germany; Lancaster University, UK)
Article: onward15papers-onward15-papers-31-p doi:
One Parser to Rule Them All
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)
Article: onward15papers-onward15-papers-37-p doi:
Isolates, Channels, and Event Streams for Composable Distributed Programming
Aleksandar Prokopec and Martin Odersky
(EPFL, Switzerland)
Article: onward15papers-onward15-papers-45-p doi:
A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages
Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, and Luc Fabresse
(INRIA, France; École des Mines de Douai, France)
Article: onward15papers-onward15-papers-23-p doi:
Columnar Objects: Improving the Performance of Analytical Applications
Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, and Malte Appeltauer
(HPI, Germany; SAP, Germany)
Article: onward15papers-onward15-papers-8-p doi:
Virtualization Support for Dynamic Core Library Update
Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, and Max Mattone
(INRIA, France; École des Mines de Douai, France)
Article: onward15papers-onward15-papers-16-p doi:
Towards a Dynamic Object Model within Unix Processes
Stephen Kell
(University of Cambridge, UK)
Article: onward15papers-onward15-papers-30-p doi:
Towards Fully Reflective Environments
Guido Chari, Diego Garbervetsky, Stefan Marr, and Stéphane Ducasse
(CONICET, Argentina; University of Buenos Aires, Argentina; INRIA, France)
Article: onward15papers-onward15-papers-36-p doi:

Essays

Against a Universal Definition of 'Type'
Tomas Petricek
(University of Cambridge, UK)
Article: onward15essays-essays8-p doi:
The Cuban Software Revolution: 2016–2025
David M. West
(Transcendence, USA)
Article: onward15essays-essays3-p doi:
Towards a Theory of Conceptual Design for Software
Daniel Jackson
(Massachusetts Institute of Technology, USA)
Article: onward15essays-essays5-p doi:
The Cuneiform Tablets of 2015
Long Tien Nguyen and Alan Kay
(University of California at Los Angeles, USA; Viewpoints Research Institute, USA)
Article: onward15essays-essays9-p doi:

proc time: 0.72