ETAPS best paper award 2010
The ETAPS best paper award from EAPLS goes to: Jyotirmoy Deshmukh, Ganesan Ramalingam, Venkatesh Prasad Ranganath and Kapil Vaswani
in
EAPLS news
by
Mark van den Brand on
March 23, 2010
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)