kirancodes.me
To Proof Maintenance & Beyond!
Venues / Onward! /

Onward! 2011

25 papers

  1. 2nd workshop on free composition (FREECO) · Christoph Bockisch, Lodewijk Bergmans, Dean Wampler
  2. A literate experimentation manifesto · Jeremy Singer
  3. Ageing society · Roberto Bisiani, Davide Merico
  4. Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning · Kevin Bierhoff
  5. Automatic performance programming · Markus Püschel
  6. Biological realms in computer science · Didier Verna
  7. Coding at the speed of touch · Sean McDirmid
  8. Continuous demonstration · Harald Stangl
  9. Emerson: accessible scripting for applications in an extensible virtual world · Behram F. T. Mistree, Bhupesh Chandra, Ewen Cheslack-Postava, Philip Alexander Levis, David Gay
  10. Evaluation and usability of programming languages and tools: (PLATEAU) · Craig Anslow, Shane Markstrum, Emerson R. Murphy-Hill
  11. Evolution of Mobile Software Development from Platform-Specific to Web-Based Multiplatform Paradigm · Luis Corral, Alberto Sillitti, Giancarlo Succi, Alessandro Garibbo, Paolo Ramella
  12. Example embedding · Ohad Barzilay
  13. Language support for asynchronous event handling in the invocation call stack · Carlos Rafael Gimenes das Neves, Eduardo Martins Guerra, Clovis Torres Fernandes
  14. Mind your language: on novices' interactions with error messages · Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi
  15. Naturalistic types · Roman Knöll, Vaidas Gasiunas, Mira Mezini
  16. On the language metaphor · Paul Adamczyk
  17. Presenting a day in the life of video-based requirements engineering · Naoufel Boulila, Oliver Creighton, Georgi A. Markov, Steve Russell, Ronald Blechner
  18. The accessibility toolkit · Halimat I. Alabi, Bruce Gooch
  19. The artist in the computer scientist: more humanity to our research · Daniel Cukier, Joseph W. Yoder
  20. The four Rs of programming language design · Dominic A. Orchard
  21. The intuitive control of smart home and office environments · Sebastian Peters, Vivian Loftness, Volker Hartkopf
  22. The serious game: wemakewords · Ruth Barbara Demmel, Barbara Köhler, Stephan Krusche, Ludwig Schubert
  23. The tradeoffs of societal computing · Swapneel Sheth, Gail E. Kaiser
  24. TouchDevelop: programming cloud-connected mobile devices via touchscreen · Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich
  25. What makes a programming language popular?: an essay from a historical perspective · Molisa Derk