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

Onward! 2019

13 papers

  1. Active learning for software engineering · José Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard
  2. AlleAlle: bounded relational model finding with unbounded data · Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju
  3. An approach for persistent time-varying values · Tetsuo Kamina, Tomoyuki Aotani
  4. CallƐ: an effect system for method calls · Isaac Oscar Gariano, James Noble, Marco Servetto
  5. Declarative assembly of web applications from predefined concepts · Santiago Perez De Rosso, Daniel Jackson, Maryam Archie, Czarina Lao, Barry A. McNamara III
  6. Deployable probabilistic programming · David Tolpin
  7. GoTcha: an interactive debugger for GoT-based distributed systems · Rohan Achar, Pritha Dawn, Cristina V. Lopes
  8. Learning to listen for design · Elisa L. A. Baniassad, Ivan Beschastnikh, Reid Holmes, Gregor Kiczales, Meghan Allen
  9. Local-first software: you own your data, in spite of the cloud · Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, Mark McGranaghan
  10. Next-paradigm programming languages: what will they look like and what changes will they bring? · Yannis Smaragdakis
  11. Property conveyances as a programming language · Shrutarshi Basu, Nate Foster, James Grimmelmann
  12. Storage combinators · Marcel Weiher, Robert Hirschfeld
  13. The adverse effects of code duplication in machine learning models of code · Miltiadis Allamanis