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
Message from the Chairs

Papers

Towards Secure Integration of Cryptographic Software
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Constraints as a Design Pattern
Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, and Alan Borning
(SAP Labs, USA; Viewpoints Research Institute, USA)
Publisher's Version Article Search Info
The Moldable Inspector
Andrei Chiş, Oscar Nierstrasz, Aliaksei Syrel, and Tudor Gîrba
(University of Bern, Switzerland; tudorgirba.com, Switzerland)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Junsong Li, Justin Pombrio, Joe Gibbs Politz, and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version Article Search
Musiplectics: Computational Assessment of the Complexity of Music Scores
Ethan Holder, Eli Tilevich, and Amy Gillick
(Virginia Tech, USA)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
One Parser to Rule Them All
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)
Publisher's Version Article Search Info
Isolates, Channels, and Event Streams for Composable Distributed Programming
Aleksandar Prokopec and Martin Odersky
(EPFL, Switzerland)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Columnar Objects: Improving the Performance of Analytical Applications
Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, and Malte Appeltauer
(HPI, Germany; SAP, Germany)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Towards a Dynamic Object Model within Unix Processes
Stephen Kell
(University of Cambridge, UK)
Publisher's Version Article Search
Towards Fully Reflective Environments
Guido Chari, Diego Garbervetsky, Stefan Marr, and Stéphane Ducasse
(CONICET, Argentina; University of Buenos Aires, Argentina; INRIA, France)
Publisher's Version Article Search

Essays

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

proc time: 0.66