Predicting a Correct Program in Programming by Example
Abstract elided by the publisher.
Related papers
- Adversarial examples for models of code OOPSLA 2020
- Predictable Verification using Intrinsic Definitions PLDI 2024
- Mutatis Mutandis: Safe and predictable dynamic software updating TOPLAS 2007
- Static prediction of heap space usage for first-order functional programs POPL 2003
- A totally predictable outcome: an investigation of traversals of infinite structures Haskell 2022
- Prediction and trace compression of data access addresses through nested loop recognition CGO 2008
- Speculative parallelization using state separation and multiple value prediction ISMM 2010
- RefinedC: automating the foundational verification of C code with refined ownership types PLDI 2021