181
click to vote
PPNA
2016
10 years 23 days ago
2016
Modeling and simulation can help to validate and evaluate the performance of wireless sensor networks (WSNs) within specific applications. In order to resolve the issue of the re...
159
click to vote
POPL
2016
ACM
10 years 23 days 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...
151
click to vote
POPL
2016
ACM
10 years 23 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...
255
click to vote
POPL
2016
ACM
10 years 23 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...
141
click to vote
POPL
2016
ACM
10 years 23 days 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...
123
click to vote
POPL
2016
ACM
10 years 23 days 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 ...
141
click to vote
POPL
2016
ACM
10 years 23 days 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-...
129
click to vote
POPL
2016
ACM
10 years 23 days 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...