179
click to vote
PPNA
2016
10 years 20 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 20 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...
150
click to vote
POPL
2016
ACM
10 years 20 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...
254
click to vote
POPL
2016
ACM
10 years 20 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...
140
click to vote
POPL
2016
ACM
10 years 20 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...