Alexey Gotsman ganó el premio al mejor artículo en la 23 Conferencia Internacional sobre Teoría de Concurrencia (CONCUR 2012). El artículo, titulado “Linearizability with Ownership Transfer”, tiene como coautor a Hongseok Yang (Oxford University).
La “linearizabilidad” es la noción de corrección más utilizada en librerías concurrentes. Este artículo generaliza la noción de linearizabilidad a lenguajes de programación convencionales, en los que las librerías y sus clientes se pueden comunicar a través de la memoria heap, y transferirse la propiedad de estructuras de datos, e incluso pueden ejecutar en el mismo espacio de direcciones sin mecanismos de protección de memoria.
