DOI,IST REx ID,Title of publication
10.1145/996841.996844,4459,Race checking by context inference