Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
Browse the full PLDI paper archive.