62 citations
- University of Wisconsin–MadisonUS2 papers
- Carnegie Mellon UniversityUS1 paper
- Concordia UniversityCA1 paper
- Korea Advanced Institute of Science and TechnologyKR1 paper
- Microsoft (United States)US1 paper
- Rice UniversityUS1 paper
- Southern University of Science and TechnologyCN1 paper
- University College LondonGB1 paper
- University of Applied Sciences Upper AustriaAT1 paper
- University of MichiganUS1 paper
- University of PennsylvaniaUS1 paper
- University of PittsburghUS1 paper
8 papers
A Broad Comparative Evaluation of x86-64 Binary Rewriters
Eric Schulte, Michael D. Brown, Vlad Folts
Binary rewriting is a rapidly-maturing technique for modifying software for instrumentation, customization, optimization, and hardening without access to source code. Unfortunately…
The State and Future of Genetic Improvement
William B. Langdon, Westley Weimer, Christopher Timperley +9
We report the discussion session at the sixth international Genetic Improvement workshop, GI-2019 @ ICSE, which was held as part of the 41st ACM/IEEE International Conference on So…
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit +1
With the rise of machine learning, there is a great deal of interest in treating programs as data to be fed to learning algorithms. However, programs do not start off in a form tha…
Neural Attribute Machines for Program Generation
Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps
Recurrent neural networks have achieved remarkable success at generating sequences with complex structures, thanks to advances that include richer embeddings of input and cures for…
Monitoring Assumptions in Assume-Guarantee Contracts
Oleg Sokolsky, Teng Zhang, Insup Lee +1
Pre-deployment verification of software components with respect to behavioral specifications in the assume-guarantee form does not, in general, guarantee absence of errors at run t…
Polymorphic Type Inference for Machine Code
Matthew Noonan, Alexey Loginov, David Cok
For many compiled languages, source-level types are erased very early in the compilation process. As a result, further compiler passes may convert type-safe source into type-unsafe…