Software engineering activities such as package migration, fixing error reports from static
analysis or testing, and adding type annotations or other specifications to a codebase …

Measuring code similarity is fundamental for many software engineering tasks, eg, code
search, refactoring and reuse. However, most existing techniques focus on code syntactical …

Software bugs are a well-known source of security vulnerabilities. One technique for finding
bugs, symbolic execution, considers all possible inputs to a program but suffers from …

Existing code similarity comparison methods, whether source or binary code based, are
mostly not resilient to obfuscations. In the case of software plagiarism, emerging obfuscation …

An Ironclad App lets a user securely transmit her data to a remote machine with the
guarantee that every instruction executed on that machine adheres to a formal abstract …

We present a scalable approach for establishing similarity between stripped binaries (with
no debug information). The main challenge in binary similarity, is to establish similarity even …

Existing code similarity comparison methods, whether source or binary code based, are
mostly not resilient to obfuscations. Identifying similar or identical code fragments among …

Binary code similarity analysis (BCSA) is widely used for diverse security applications,
including plagiarism detection, software license violation detection, and vulnerability …

Regression verification is an approach complementing regression testing with formal
verification. The goal is to formally prove that two versions of a program behave either …

Automated program repair has been studied via the use of techniques involving search,
semantic analysis and artificial intelligence. Most of these techniques rely on tests as the …