Události

The Commutativity Problem of MapReduce Programs

A112, Božetěchova 2, Brno 12.4.2018

Zajímáte se o big data a/nebo aplikace formálních metod v informatice? Programujete na platformě Hadoop nebo Spark? Používáte tyto platformy pro důležité výpočty? Věděli jste, že tyto platformy jsou nedeterministické, a že pro stejné vstupy můžete dostat různé výstupy? Jak můžete ověřit, že Váš program skutečně počítá to, co si myslíte, že počítá?

V této přednášce se dozvíte o problémech s nedeterministickými výpočty na platformách pro big data. Prof. Chen ukáže, že ověření toho, zda program generuje deterministické výsledky, je obecně nerozhodnutelné. Dále ukáže, že pro omezenou třídu programů (která však zahrnuje velké množství příkladů z praxe) tento problém rozhodnout lze.

[img]


Přednáška se koná ve čtvrtek 12. dubna od 13:00 v posluchárně A112.

Přednášející

Chen Yu-Fang, Academia Sinica

Vaše IPv4 adresa: 3.88.161.108
Přepnout na https