Onward! 2015

21 papers

1. A bootstrapping infrastructure to build and extend Pharo-like languages · Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse
2. Against a universal definition of 'Type' · Tomas Petricek
3. Columnar objects: improving the performance of analytical applications · Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, Malte Appeltauer
4. Constraints as a design pattern · Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, Alan Borning
5. Isolates, channels, and event streams for composable distributed programming · Aleksandar Prokopec, Martin Odersky
6. Just-in-time data structures · Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer B. Sartor, Wolfgang De Meuter
7. Musiplectics: computational assessment of the complexity of music scores · Ethan Holder, Eli Tilevich, Amy Gillick
8. One parser to rule them all · Ali Afroozeh, Anastasia Izmaylova
9. Runtime metric meets developer: building better cloud applications using feedback · Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, Andreas Roth
10. Separation of powers in the cloud: where applications and users become peers · David H. Lorenz, Boaz Rosenan
11. Slimming languages by reducing sugar: a case for semantics-altering transformations · Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi
12. The Cuban software revolution: 2016¿2025 · David M. West
13. The cuneiform tablets of 2015 · Long Tien Nguyen, Alan C. Kay
14. The moldable inspector · Andrei Chis, Oscar Nierstrasz, Aliaksei Syrel, Tudor Gîrba
15. Toward tool support for interactive synthesis · Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler
16. Towards a dynamic object model within Unix processes · Stephen Kell
17. Towards a theory of conceptual design for software · Daniel Jackson
18. Towards fully reflective environments · Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse
19. Towards secure integration of cryptographic software · Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini
20. Type systems for the masses: deriving soundness proofs and efficient checkers · Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini
21. Virtualization support for dynamic core library update · Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, Max Mattone