69
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Today, software engineering practices focus on finding the single “right” data representation for a program. The “right” data representation, however, might not exist: ch...
60
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
59
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Bug-finding tools based on dynamic analysis (DA), such as Valgrind or the compiler sanitizers provided by Clang and GCC, have become ubiquitous during software development. These...
78
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
While cryptography is now readily available to everyone and can, provably, protect private information from attackers, we still frequently hear about major data leakages, many of ...
76
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces...