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

Onward! 2020

14 papers

  1. A case study in language-based security: building an I/O library for Wyvern · Jennifer A. Fish, Darya Melicher, Jonathan Aldrich
  2. A principled approach to REPL interpreters · L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoît Combemale, Olivier Barais
  3. A rhetorical framework for programming language evaluation · Stefan K. Muller, Hannah Ringler
  4. Analogy-making as a Core primitive in the software engineering toolbox · Matthew Sotoudeh, Aditya V. Thakur
  5. Demystifying dependence · James Koppel, Daniel Jackson
  6. Discussion of aviation software oversight improvement · Marc Ronell
  7. End-user software customization by direct manipulation of tabular data · Geoffrey Litt, Daniel Jackson, Tyler Millis, Jessica Ayeley Quaye
  8. Example-based live programming for everyone: building language-agnostic tools for live programming with LSP and GraalVM · Fabio Niephaus, Patrick Rein, Jakob Edding, Jonas Hering, Bastian König, Kolya Opahle + 2 more
  9. How (not) to write Java pointer analyses after 2020 · Manas Thakur
  10. Intrepydd: performance, productivity, and portability for data science application kernels · Tong Zhou, Jun Shirako, Anirudh Jain, Sriseshan Srikanth, Thomas M. Conte, Richard W. Vuduc + 1 more
  11. Notes on notebooks: is Jupyter the bringer of jollity? · Jeremy Singer
  12. Putting the semantics into semantic versioning · Patrick Lam, Jens Dietrich, David J. Pearce
  13. Software design as story telling: reflecting on the work of Italo Calvino · Paolo Ciancarini, Sergey Masyagin, Giancarlo Succi
  14. The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics · Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg