117
click to vote
POPL
2016
ACM
10 years 20 days 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...
128
click to vote
POPL
2016
ACM
10 years 20 days 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...
126
click to vote
POPL
2016
ACM
10 years 20 days 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...
102
click to vote
POPL
2016
ACM
10 years 20 days 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...
108
click to vote
POPL
2016
ACM
10 years 20 days 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...