POPL
8 years 6 months ago
2016 ACM
We present Prophet, a novel patch generation system that works with a set of successful human patches obtained from opensource software repositories to learn a probabilistic, appl...
POPL
8 years 6 months ago
2016 ACM
According to conventional wisdom, a self-interpreter for a strongly normalizing λ-calculus is impossible. We call this the normalization barrier. The normalization barrier stems ...
POPL
8 years 6 months ago
2016 ACM
Regression formulas are a domain-specific language adopted by several R packages for describing an important and useful class of statistical models: hierarchical linear regressio...
POPL
8 years 6 months ago
2016 ACM
Cleaning spreadsheet data types is a common problem faced by millions of spreadsheet users. Data types such as date, time, name, and units are ubiquitous in spreadsheets, and clea...
POPL
8 years 6 months ago
2016 ACM
Induction is a successful approach for verification of hardware and software systems. A common practice is to model a system using logical formulas, and then use a decision proce...
|