Computer Science Nerdz - 09.2019 (Why Amazon Chose TLA+)

This is a past event

11 people went

Hackerspace Silesia

Ondraszka 17 · Katowice

How to find us

https://hs-silesia.pl/place

Location image of event venue

Details

Kolejne spotkanie w formule #PapersWeLove na Śląsku! :)

Zapraszamy do Hackerspace Silesia na spotkanie, podczas którego analizujemy oraz dyskutujemy nad jedną konkretną publikacją naukową związaną z Informatyką.

Podczas spotkania weźmiemy na tapet kilka publikacji, które wyjaśnią nam dlaczego Amazon podczas projektowania usług AWS korzystał z TLA+ i innych formalnych metod weryfikacji:

➡️ https://link.springer.com/chapter/10.1007/978-3-662-43652-3_3
➡️ https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
➡️ https://lamport.azurewebsites.net/tla/amazon-excerpt.html

Publikację, historię i szczegóły techniczne przybliży Wojciech Gawroński.

Oto szczegółowy abstrakt:

Tytuł: Why Amazon Chose TLA+

Abstrakt:
Od 2011 Amazon korzysta z TLA+ przy tworzeniu skomplikowanych systemów rozproszonych, które stanowią podstawę wielu dostępnych usług na platformie AWS (a nie jest to jedyna z wielkich firm, bo samo TLA+ to praca naukowców m.in. Leslie Lamporta z Microsoft Research). Dlaczego te wielkie firmy korzystają z formalnych metod weryfikacji?

Zapraszamy do śledzenia wszelkich aktualności na naszych profilach społecznościowych oraz stronie:

- https://functional-miners.org
- https://functional-miners.org/computer-science-nerdz

WAŻNE: Jeśli chcesz wystąpić daj nam znać w wiadomości prywatnej lub na [masked].

Do zobaczenia. ;)