248
click to vote
POPL
10 years 10 days 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...
124
click to vote
POPL
10 years 10 days 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 ...
135
click to vote
POPL
10 years 10 days 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...
147
click to vote
POPL
10 years 10 days 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...
144
click to vote
POPL
10 years 10 days 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