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

Onward! 2016

18 papers

  1. A world of active objects for work and play: the first ten years of lively · Daniel Ingalls, Tim Felgentreff, Robert Hirschfeld, Robert Krahn, Jens Lincke, Marko Röder + 2 more
  2. Bloqqi: modular feature-based block diagram programming · Niklas Fors, Görel Hedin
  3. Building white-box abstractions by program refinement · Mehrdad Afshari, Zhendong Su
  4. Emergent software services · Nicolás Cardozo
  5. Exploring cheap type inference heuristics in dynamically typed languages · Nevena Milojkovic, Oscar Nierstrasz
  6. Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift · Ivan Kuraj, Daniel Jackson
  7. Extracting code from programming tutorial videos · Shir Yadid, Eran Yahav
  8. Function passing: a model for typed, distributed functional programming · Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier
  9. Gramada: immediacy in programming language development · Patrick Rein, Robert Hirschfeld, Marcel Taeumel
  10. Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks · Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras
  11. How are programs found? speculating about language ergonomics with Curry-Howard · Johannes Emerich
  12. Leveraging a corpus of natural language descriptions for program similarity · Meital Zilberstein, Eran Yahav
  13. Lightweight programming experiments without programmers and programs: an example study on the effect of similarity and number of object identifiers on the readability of source code using natural texts · Tim Marter, Paul Babucke, Philipp Lembken, Stefan Hanenberg
  14. Moldable, context-aware searching with Spotter · Andrei Chis, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel
  15. Nez: practical open grammar language · Kimio Kuramitsu
  16. Object spreadsheets: a new computational model for end-user development of data-centric web applications · Matt McCutchen, Shachar Itzhaky, Daniel Jackson
  17. The left hand of equals · James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller
  18. in the control room of the banquet · Richard P. Gabriel