POPL
2016
ACM
8 years 24 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...
POPL
2016
ACM
8 years 24 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...
POPL
2016
ACM
8 years 24 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...
POPL
2016
ACM
8 years 24 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...
POPL
2016
ACM
8 years 24 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...
POPL
2016
ACM
8 years 24 days ago
2016
ACM
Induction is a successful approach for verification of hardware and software systems. A common practice is to model a system using logical formulas, and then use a decision proce...
POPL
2016
ACM
8 years 24 days ago
2016
ACM
Traditional control-flow analysis (CFA) for higher-order languages introduces spurious connections between callers and callees, and different invocations of a function may pollut...
POPL
2016
ACM
8 years 24 days ago
2016
ACM
Effect and session type systems are two expressive behavioural type systems. The former is usually developed in the context of the λcalculus and its variants, the latter for the ...
POPL
2016
ACM
8 years 24 days ago
2016
ACM
Fault-tolerant distributed algorithms play an important role in many critical/high-availability applications. These algorithms are notoriously difficult to implement correctly, d...
POPL
2016
ACM
8 years 24 days ago
2016
ACM
Input-output examples have emerged as a practical and user-friendly specification mechanism for program synthesis in many environments. While example-driven tools have demonstrat...