72
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
We present an efficient, modular, and feature-rich framework for automated generation and validation of complex structures, suitable for tasks that explore a large space of struc...
68
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
The data structures under-pinning collection API (e.g. lists, sets, maps) in the standard libraries of programming languages are used intensively in many applications. The standar...
74
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Syntax-guided synthesis searches for an implementation of a given specification by exploring large spaces of candidate programs. Sketches reduce these search spaces, making synth...
62
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Aliasing is crucial for supporting useful implementation patterns, but it makes reasoning about programs difficult. To deal with this problem, numerous type-based aliasing contro...
73
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
HTML5 applications normally have a large set of CSS (Cascading Style Sheets) rules for data display. Each CSS rule consists of a node selector and a declaration block (which assig...