169
Voted
POPL
2016
ACM
10 years 3 months ago
2016
ACM
Programmers have come to embrace dynamically-typed languages for prototyping and delivering large and complex systems. When it comes to maintaining and evolving these systems, the...
169
Voted
POPL
2016
ACM
10 years 3 months ago
2016
ACM
Ordinary differential equations (ODEs) are widespread in many natural sciences including chemistry, ecology, and systems biology, and in disciplines such as control theory and ele...
175
Voted
POPL
2016
ACM
10 years 3 months ago
2016
ACM
Reconstructing the meaning of a program from its binary executable is known as reverse engineering; it has a wide range of applications in software security, exposing piracy, lega...
160
click to vote
POPL
2016
ACM
10 years 3 months ago
2016
ACM
We present and illustrate Kleenex, a language for expressing general nondeterministic finite transducers, and its novel compilation to streaming string transducers with worst-cas...
154
Voted
POPL
2016
ACM
10 years 3 months ago
2016
ACM
Reverse engineering is an important tool in mitigating vulnerabilities in binaries. As a lot of software is developed in object-oriented languages, reverse engineering of object-o...