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

Onward! 2021

11 papers

  1. Angelic and demonic visitation: school memories · Leila Salem
  2. Dala: a simple capability-based dynamic language design for data race-freedom · Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad
  3. Kotlin coroutines: design and implementation · Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov
  4. Let a thousand flowers bloom: on the uses of diversity in software testing · Alex Groce
  5. Motivating complexity understanding by profiling energy usage · Joshua B. Gross, Daniel Jacoby, Kevin Coogan, Aaron Helman
  6. Natural language-guided programming · Geert Heyman, Rafael Huysegems, Pascal Justen, Tom Van Cutsem
  7. Programming as architecture, design, and urban planning · Tomas Petricek
  8. Programming with neural surrogates of programs · Alex Renda, Yi Ding, Michael Carbin
  9. SkyQuery: an aerial drone video sensing platform · Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Sam Madden
  10. The kingdoms of objects and values · Friedrich Steimann
  11. Towards self-adaptable languages · Gwendal Jouneaux, Olivier Barais, Benoît Combemale, Gunter Mussbacher