139
Voted
POPL
2016
ACM
9 years 10 months ago
2016
ACM
We show the diagonal problem for higher-order pushdown automata (HOPDA), and hence the simultaneous unboundedness problem, is decidable. From recent work by Zetzsche this means th...
129
Voted
POPL
2016
ACM
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...
219
Voted
POPL
2016
ACM
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...
115
Voted
POPL
2016
ACM
9 years 10 months ago
2016
ACM
Syntactic language extensions can introduce new facilities into a programming language while requiring little implementation effort and modest changes to the compiler. It is typi...
102
Voted
POPL
2016
ACM
9 years 10 months ago
2016
ACM
We investigate the model checking problem for symbolic-heap separation logic with user-defined inductive predicates, i.e., the problem of checking that a given stack-heap memory ...
124
Voted
POPL
2016
ACM
9 years 10 months ago
2016
ACM
118
Voted
POPL
2016
ACM
9 years 10 months ago
2016
ACM
Floating-point numbers are an essential part of modern software, recently gaining particular prominence on the web as the exclusive numeric format of Javascript. To use floating-...
105
Voted
POPL
2016
ACM
9 years 10 months ago
2016
ACM
Many advanced programming tools—for both end-users and expert developers—rely on program synthesis to automatically generate implementations from high-level specifications. T...
111
Voted
POPL
2016
ACM
9 years 10 months ago
2016
ACM
We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting t...
101
Voted
POPL
2016
ACM
9 years 10 months ago
2016
ACM