Onward! 2013

13 papers

1. Building connections between theories of computing and physical systems · Eric L. McCorkle
2. Content over container: object-oriented programming with multiplicities · Friedrich Steimann
3. Conversational programming: exploring interactive program analysis · Alexander Repenning
4. Game programming by demonstration · Mikaël Mayer, Viktor Kuncak
5. Growing solver-aided languages with rosette · Emina Torlak, Rastislav Bodík
6. KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework · Yoshiki Ohshima, Aran Lunzer, Bert Freudenberg, Ted Kaehler
7. Model-based, event-driven programming paradigm for interactive web applications · Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov
8. One VM to rule them all · Thomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer + 3 more
9. The power of interoperability: why objects are inevitable · Jonathan Aldrich
10. Usable live programming · Sean McDirmid
11. Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems · Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, Shriram Krishnamurthi
12. User model and system model: the yin and yang in user-centered software development · Han Xu, Oliver Creighton, Naoufel Boulila, Ruth Barbara Demmel
13. What's wrong with git?: a conceptual design analysis · Santiago Perez De Rosso, Daniel Jackson