^{La teoría es cuando sabes todo pero nada funciona.}
^{La práctica es cuando todo funciona pero nadie sabe por qué.}
^{En los sistemas distribuidos, la teoría y la práctica se combinan:}
^{nada funciona y nadie sabe por qué.}

Para demostrar que la broma en el epígrafe es estupidez absoluta, esta es la tercera vez que llevamos a cabo la SPTDC (escuela de práctica y teoría de la computación distribuida). Yahablamossobre la historia de la escuela, sus cofundadores Petra Kuznetsova y Vitaliy Aksyonov, así como la participación del Grupo JUG Ru en la organización SPTDCen Habré. Por lo tanto, hoy, sobre la escuela en 2020, sobre conferencias y conferenciantes, así como sobre las diferencias entre la escuela y la conferencia.

La escuela SPTDC se llevará a cabo del 6 al 9 de julio de 2020 en Moscú.

Todas las conferencias serán en inglés.Temas principales de la conferencia: informática concurrente persistente, herramientas criptográficas para sistemas distribuidos, métodos formales para verificar protocolos de consenso, consistencia en sistemas a gran escala, aprendizaje automático distribuido.

Inmediatamente adivinado en qué rango militar los personajes de la imagen? Te adoro.

Profesores y conferencias.

Nir Shavit es profesor en el MIT y la Universidad de Tel Aviv, coautor del gran libro The Art of Multiprocessor Programming , ganador del Premio Dijkstra por el desarrollo y la implementación de la Memoria de Programación Transaccional (STM), y el Premio Gödel por su trabajo en la aplicación de topología algebraica al modelado computacional Con memoria compartida, cofundador de Neural Magic , una empresa que crea algoritmos rápidos de aprendizaje automático para CPU convencionales y, por supuesto, el propietario de su propia página de Wikipedia con una fotografía deslumbrante y sensual. Nir ya participó en nuestra escuela en 2017, donde realizó una revisión exhaustiva de las técnicas para tomar cerraduras ( parte 1 ,parte 2 ). Aún no sabemos de qué hablará Nir este año, pero esperamos noticias de la ciencia más avanzada.

Michael Scott es investigador en la Universidad de Rochester , conocido por todos los desarrolladores de Java como el creador de algoritmos sin bloqueo y colas sincrónicas de la biblioteca estándar de Java. Por supuesto, con el Premio Dijkstra por desarrollar algoritmos de sincronización para computación con memoria compartida y su propia página en Wikipedia . El año pasado, Michael dio una conferencia en nuestra escuela sobre estructuras de datos sin bloqueo ( parte 1 , parte 2 ). Este año hablará sobre programación usandomemoria no volátil (NVM), que reduce la complejidad de los programas y la sobrecarga de trabajar con la memoria en comparación con la memoria de acceso aleatorio "regular" (DRAM).

Idit Keidar , profesor en Technion y propietario del índice Hirsch de aproximadamente 40 (que es mucho, mucho) revisa más de doscientos artículos científicos en el campo de la computación distribuida, el subprocesamiento múltiple y la tolerancia a fallas. Participa por primera vez en nuestra escuela, donde impartirá una conferencia sobre los aspectos básicos del funcionamiento de los almacenes de datos distribuidos: emulación de memoria distribuida, creación de consenso y cambio de configuraciones.

Rodrigo Rodrigues - Profesor en Técnico, Miembro del Laboratorio INESC-IDy autor de investigaciones sobre sistemas distribuidos. Este año, en nuestra escuela, Rodrigo hablará sobre la consistencia y el aislamiento en los almacenes de datos distribuidos, y también, utilizando el teorema CAP , analizará la viabilidad en la práctica de varios modelos de consistencia y aislamiento.

Chen Jing (Jing Chen) - Profesor de la Universidad Estatal de Nueva York en Stony Brook, autor de trabajos de investigación en el campo de blokcheyna y científico líder en la empresa y plataforma Algorand - blokcheyn, utilizando un algoritmo de consenso, basado completamente en la Prueba de Estaca. Este año, en nuestra escuela, Chen hablará sobre la cadena de bloques Algorand y cómo lograr sus propiedades interesantes: bajas demandas en los recursos informáticos de la red, la imposibilidad de dividir el historial de transacciones y garantizar la finalización del procesamiento de transacciones después de que se agregue a la cadena de bloques.

Christian Kashin (Christian Cachin) - Profesor de la Universidad de Berna, que dirige un grupo de investigación en el campo de la protección de datos, coautor del libro « Introducción a la programación confiable y segura », desarrollador Blokcheyn plataforma Hyperledger Fabric A (sobre esto fue incluso un post Habré ) y autor de la investigación trabaja en el campo de la criptografía y la seguridad en sistemas distribuidos. Este año en nuestra escuela cristianadará una conferencia de cuatro partes sobre herramientas critográficas para computación distribuida: criptografía simétrica y asimétrica, así como criptografía de clave compartida , números pseudoaleatorios y generación de números aleatorios verificados .

Vukolich Marco (Marko Vukolic) - investigador en IBM Research, el autor trabaja en el campo de blokcheyna y desarrollador Hyperledger Fabric. No sabemos de qué hablará Marco en nuestra escuela este año, pero esperamos aprender sobre sus últimos desarrollos en el campo de blockchain: el estudio de la degradación del rendimiento de los protocolos de consenso distribuidos en grupos de hasta 100 máquinas, el protocolo de transmisión MirEl orden global y la tolerancia a fallos bizantinos o bezblochnom blokcheyne StreamChain minimiza el tiempo de procesamiento de transacciones.

Prasad Jayanti es profesor en el Dartmouth College, miembro de la élite Ivy League y autor de trabajos de investigación en el campo de los algoritmos multiproceso. Este año, en nuestra escuela, Prasad dará una conferencia sobre sincronización de hilos y algoritmos para implementar varias opciones de mutex : con funciones de interrupción o restauración en modelos de memoria no volátil, así como con operaciones separadas de lectura y escritura.

Alexey Gotsman (Alexey Gotsman) - profesor de IMDEA y autorTrabajo de investigación en el campo de la verificación de software de algoritmos. Todavía no sabemos lo que Alexey dará una conferencia en nuestra escuela este año, pero estamos contando con el tema en la intersección de la verificación del programa y los sistemas distribuidos.

¿Por qué es una escuela y no una conferencia?

En primer lugar, los profesores hablan en un formato académico y leen cada conferencia grande en dos pares: "una hora y media, un descanso, otra hora y media". Muchos años después de la universidad, con la costumbre de informes por hora en conferencias y clips de 10 minutos en YouTube, esto puede ser difícil. Un buen profesor hará que las tres horas sean interesantes, pero todos son responsables de la plasticidad de su propio cerebro.

Consejos útiles: practique en videos de conferencias escolares en 2017 y en 2019 . Adiós, trabajo, hola, generales bizantinos.

En segundo lugar, los profesores se centran en la investigación científica y hablan sobre principios fundamentales.sistemas distribuidos y computación paralela, y sobre las noticias de la vanguardia de la ciencia. Si su objetivo es programar rápidamente algo e instalarlo en producción al día siguiente después de la escuela sin demora, esto también puede ser difícil.

Sugerencia útil: busque la investigación del profesor de la escuela en Google Scholar y arXiv.org . Si te colocas en buscapersonas científicas, también te encantará la escuela.

En tercer lugar, SPTDC 2020 no es una conferencia, porque una conferencia sobre sistemas distribuidos y computación paralela es Hydra 2020 . Recientemente en Habré había una publicación con una visión general de su programa. El año pasado, SPTDC e Hydra se llevaron a cabo simultáneamente en el mismo sitio. Este año no se superponen en fechas, por lo que no compiten entre sí por su tiempo y atención.

Consejo útil: mire el programa de la conferencia Hydra y piense en asistir a la conferencia después de la escuela. Será una buena semana

¿Cómo llegar a la escuela?

Escriba las fechas del 6 al 9 de julio de 2020 (o mejor, el 11 de julio para ir a la conferencia de Hydra después de la escuela).
Reúne tu coraje, prepárate.
Elige tus boletos y ve a la escuela.

SPTDC 2020 - Tercera escuela de práctica y teoría de la computación distribuida

Profesores y conferencias.

¿Por qué es una escuela y no una conferencia?

¿Cómo llegar a la escuela?

More articles: