ETAPS best paper award 2010

by Mark van den Brand, March 23, 2010

The ETAPS best paper award from EAPLS goes to: Jyotirmoy Deshmukh, Ganesan Ramalingam, Venkatesh Prasad Ranganath and Kapil Vaswani

The EAPLS board has decided to give the ETAPS best paper award 2010 to:

Jyotirmoy Deshmukh, Ganesan Ramalingam, Venkatesh Prasad Ranganath and Kapil Vaswani

Logical Concurrency Control from Sequential Proofs (ESOP2010)