"au:"Christopher Ré"" — arXiv2 Search