Thanks to the search API provided by our friends at the Allen Institute for Artificial Intelligence (AI2) , we have added a new full-text search option to dblp. By choosing "Semantic Scholar search" as your default search action in the drop down menu next to the search bar, searching will now retrieve documents from dblp based on matches within the full texts as indexed by the Semantic Scholar service. Since dblp usually does not have access to the full texts of research articles, this is something that has not been possible before. Please try it for yourself.
ACM Queue’s “Research for Practice” is a must-read for practitioners who want to stay current with the latest advances in computing research. In this installment, Albert Kwon reviews research that examines ensuring privacy in our daily online communication. His selections illustrate the possibilities over the horizon: transparent endpoint authentication, enhanced communication metadata protection, etc. Then, James R. Wilcox looks at research that gives us a tour of recent advances in verified systems design and demonstrates the possibility of building end-to-end verified compilers, operating systems, and distributed systems.