Title Page

Message from the Chairs

Towards Secure Integration of Cryptographic Software
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany)


@InProceedings{Onward!15p1, author = {Steven Arzt and Sarah Nadi and Karim Ali and Eric Bodden and Sebastian Erdweg and Mira Mezini}, title = {Towards Secure Integration of Cryptographic Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

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)


@InProceedings{Onward!15p21, author = {Jürgen Cito and Philipp Leitner and Harald C. Gall and Aryan Dadashi and Anne Keller and Andreas Roth}, title = {Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, }

Constraints as a Design Pattern
Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, and Alan Borning
(SAP Labs, USA; Viewpoints Research Institute, USA)


@InProceedings{Onward!15p41, author = {Hesam Samimi and Alessandro Warth and Mahdi Eslamimehr and Alan Borning}, title = {Constraints as a Design Pattern}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, }

The Moldable Inspector
Andrei Chiş, Oscar Nierstrasz, Aliaksei Syrel, and Tudor Gîrba
(University of Bern, Switzerland; tudorgirba.com, Switzerland)


@InProceedings{Onward!15p61, author = {Andrei Chiş and Oscar Nierstrasz and Aliaksei Syrel and Tudor Gîrba}, title = {The Moldable Inspector}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, }

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)


@InProceedings{Onward!15p81, author = {Mattias De Wael and Stefan Marr and Joeri De Koster and Jennifer B. Sartor and Wolfgang De Meuter}, title = {Just-in-Time Data Structures}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, }

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)


@InProceedings{Onward!15p101, author = {David H. Lorenz and Boaz Rosenan}, title = {Separation of Powers in the Cloud: Where Applications and Users Become Peers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2015}, }

Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Junsong Li, Justin Pombrio, Joe Gibbs Politz, and Shriram Krishnamurthi
(Brown University, USA)


@InProceedings{Onward!15p121, author = {Junsong Li and Justin Pombrio and Joe Gibbs Politz and Shriram Krishnamurthi}, title = {Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, }

Musiplectics: Computational Assessment of the Complexity of Music Scores
Ethan Holder, Eli Tilevich, and Amy Gillick
(Virginia Tech, USA)


@InProceedings{Onward!15p141, author = {Ethan Holder and Eli Tilevich and Amy Gillick}, title = {Musiplectics: Computational Assessment of the Complexity of Music Scores}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2015}, }

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)


@InProceedings{Onward!15p161, author = {Shaon Barman and Rastislav Bodik and Satish Chandra and Emina Torlak and Arka Bhattacharya and David Culler}, title = {Toward Tool Support for Interactive Synthesis}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, }

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)


@InProceedings{Onward!15p181, author = {Sylvia Grewe and Sebastian Erdweg and Pascal Wittmann and Mira Mezini}, title = {Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, }

One Parser to Rule Them All
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)


@InProceedings{Onward!15p201, author = {Ali Afroozeh and Anastasia Izmaylova}, title = {One Parser to Rule Them All}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2015}, }

Isolates, Channels, and Event Streams for Composable Distributed Programming
Aleksandar Prokopec and Martin Odersky
(EPFL, Switzerland)


@InProceedings{Onward!15p221, author = {Aleksandar Prokopec and Martin Odersky}, title = {Isolates, Channels, and Event Streams for Composable Distributed Programming}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2015}, }

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)


@InProceedings{Onward!15p241, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse}, title = {A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2015}, }

Columnar Objects: Improving the Performance of Analytical Applications
Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, and Malte Appeltauer
(HPI, Germany; SAP, Germany)


@InProceedings{Onward!15p261, author = {Toni Mattis and Johannes Henning and Patrick Rein and Robert Hirschfeld and Malte Appeltauer}, title = {Columnar Objects: Improving the Performance of Analytical Applications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, }

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)


@InProceedings{Onward!15p281, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse and Max Mattone}, title = {Virtualization Support for Dynamic Core Library Update}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2015}, }

Towards a Dynamic Object Model within Unix Processes
Stephen Kell
(University of Cambridge, UK)


@InProceedings{Onward!15p301, author = {Stephen Kell}, title = {Towards a Dynamic Object Model within Unix Processes}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, }

Towards Fully Reflective Environments
Guido Chari, Diego Garbervetsky, Stefan Marr, and Stéphane Ducasse
(CONICET, Argentina; University of Buenos Aires, Argentina; INRIA, France)


@InProceedings{Onward!15p321, author = {Guido Chari and Diego Garbervetsky and Stefan Marr and Stéphane Ducasse}, title = {Towards Fully Reflective Environments}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2015}, }

Against a Universal Definition of 'Type'
Tomas Petricek
(University of Cambridge, UK)


@InProceedings{Onward!15p341, author = {Tomas Petricek}, title = {Against a Universal Definition of 'Type'}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2015}, }

The Cuban Software Revolution: 2016–2025
David M. West
(Transcendence, USA)


@InProceedings{Onward!15p361, author = {David M. West}, title = {The Cuban Software Revolution: 2016–2025}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2015}, }

Towards a Theory of Conceptual Design for Software
Daniel Jackson
(Massachusetts Institute of Technology, USA)


@InProceedings{Onward!15p381, author = {Daniel Jackson}, title = {Towards a Theory of Conceptual Design for Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2015}, }

The Cuneiform Tablets of 2015
Long Tien Nguyen and Alan Kay
(University of California at Los Angeles, USA; Viewpoints Research Institute, USA)


@InProceedings{Onward!15p401, author = {Long Tien Nguyen and Alan Kay}, title = {The Cuneiform Tablets of 2015}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2015}, }