Abstract is missing.
- Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systemsHannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, Shriram Krishnamurthi. 1-16 [doi]
- Model-based, event-driven programming paradigm for interactive web applicationsAleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov. 17-36 [doi]
- What's wrong with git?: a conceptual design analysisSantiago Perez De Rosso, Daniel Jackson. 37-52 [doi]
- Usable live programmingSean McDirmid. 53-62 [doi]
- Conversational programming: exploring interactive program analysisAlexander Repenning. 63-74 [doi]
- Game programming by demonstrationMikaël Mayer, Viktor Kuncak. 75-90 [doi]
- User model and system model: the yin and yang in user-centered software developmentHan Xu, Oliver Creighton, Naoufel Boulila, Ruth Demmel. 91-100 [doi]
- The power of interoperability: why objects are inevitableJonathan Aldrich. 101-116 [doi]
- KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI frameworkYoshiki Ohshima, Aran Lunzer, Bert Freudenberg, Ted Kaehler. 117-134 [doi]
- Growing solver-aided languages with rosetteEmina Torlak, Rastislav Bodík. 135-152 [doi]
- Building connections between theories of computing and physical systemsEric L. McCorkle. 153-172 [doi]
- Content over container: object-oriented programming with multiplicitiesFriedrich Steimann. 173-186 [doi]
- One VM to rule them allThomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer, Gregor Richards, Doug Simon, Mario Wolczko. 187-204 [doi]