IEEE

Semantic Code Finder: an Efficient Semantic Search Framework for Large-Scale Codebases

Abstract: We present SEMANTIC CODE FINDER, a framework for semantic code search that delivers high-level search performance and supports multiple programming languages. Leveraging code summaries, it ...
IEEE

On the Difficulty to Beat the First Linear Programming Bound for Binary Codes

Abstract: The first linear programming bound is the best known asymptotic upper bound for binary codes, for a certain subrange of distances. Starting from the work of Friedman and Tillich (2005), ...