219
Voted
POPL
9 years 10 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...
109
Voted
POPL
9 years 10 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 ...
113
Voted
POPL
9 years 10 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...
129
Voted
POPL
9 years 10 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...
121
Voted
POPL
9 years 10 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...
|
Programming Languages