Google's got a new tool for making sure your phone is running the Android apps it should

The system will let Android users verify that they're running officially sanctioned releases of Google apps and Mainline updates.
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), ...