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

Essays

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

proc time: 0.81