Onward! 2019
13 papers
- Active learning for software engineering
- AlleAlle: bounded relational model finding with unbounded data
- An approach for persistent time-varying values
- CallƐ: an effect system for method calls
- Declarative assembly of web applications from predefined concepts
- Deployable probabilistic programming
- GoTcha: an interactive debugger for GoT-based distributed systems
- Learning to listen for design
- Local-first software: you own your data, in spite of the cloud
- Next-paradigm programming languages: what will they look like and what changes will they bring?
- Property conveyances as a programming language
- Storage combinators
- The adverse effects of code duplication in machine learning models of code