SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatoha

Ko te ariā ka mohio koe ki nga mea katoa engari kaore he mahi.
Ko te parakatihi ka mahi nga mea katoa engari kaore tetahi e mohio he aha.
nga punaha tohatoha, kua honoa te ariā me te mahi:
kaore he mea e mahi ana kaore tetahi e mohio he aha.

Hei tohu he tino poauau te kata i roto i te epigraph, kei te pupuri matou i te SPTDC (kura mo te mahi me te ariā o te rorohiko tohatoha) mo te toru o nga wa. Mo te hitori o te kura, ona hoa-kaiwhakarewa Petr Kuznetsov me Vitaly Aksyonov, me te whakauru o JUG Ru Rōpū ki te whakahaere SPTDC, kua oti ke ka korerotia i runga i a Habr. No reira, i tenei ra e pa ana ki te kura i te tau 2020, mo nga kauhau me nga kaikorero, me nga rereketanga o te kura me te hui.

Ka tu te kura SPTDC mai i te 6 ki te 9 o Hurae 2020 ki Moscow.

Ko nga kauhau katoa he reo Ingarihi. Kaupapa kauhau: tohe tonu te mahi rorohiko tahi, taputapu tuhi mo nga punaha toha, tikanga okawa mo te manatoko i nga kawa whakaae, te rite ki nga punaha nui, te ako miihini tohatoha.

SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatoha
I matapae tonu koe he aha te rangatira o nga hoia o te pikitia? Aroha ana ahau ki a koe.

Kaiako me nga kauhau

SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaNir Shavit (Nir Shavit) he ahorangi i te MIT me te Whare Wananga o Tel Aviv, he kaituhi-kaituhi mo tetahi pukapuka nui. Te Toi o te Papatono Tukatuka Maha, rangatira Nga Tohu Dijkstra mo te whanaketanga me te whakatinanatanga mahara tauwhitinga rorohiko (STM) me Tohu Gödel mo tana mahi mo te whakamahi i te topology taurangi ki te whaihanga o te rorohiko mahara tahi, te kaiwhakarewa o te kamupene. Neural Magic, e hanga ana i nga huringa ako miihini tere mo nga PTM tikanga, a, ko te tikanga, kei a ia ano Nga wharangi Wikipedia me nga whakaahua puhoi me te puhoi. Kua whai waahi a Nir ki ta matou kura i te tau 2017, i reira i tino arotakehia e ia nga tikanga aukati (Tuhinga o 1, Tuhinga o 2). He aha nga korero a Nir i tenei tau, kaore ano matou i te mohio, engari kei te tumanako matou ki nga korero mai i te mata o te ao putaiao.


SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaMichael Scott (Michael Scott) he kairangahau i roto i Te Whare Wananga o Rochester, e mohiotia ana e nga kaihanga Java katoa hei kaihanga o hātepe aukati-kore me nga rarangi tukutahi mai i te whare pukapuka paerewa Java. Ko te tikanga, me te Tohu Hoahoa a Dijkstra hātepe tukutahi mo te rorohiko mahara tahi me te ake Whārangi Wikipedia. I tera tau, i korero a Mikaera i to matou kura mo nga hanganga raraunga kore-aukati (Tuhinga o 1, Tuhinga o 2). I tenei tau ko ia ka korero e pā ana ki te whakamahi hōtaka mahara kore-kore (NVM), e whakaiti ana i te matatini o te hotaka me te mahara i runga ake ka whakatauritea ki te maharatanga urunga matapōkere (DRAM).


SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaIdit Keidar (Idit Keidar) he ahorangi i te Technion me te rangatira o Taurangi Hirsch tata ki te 40 (he tino nui) mo e rua rau nga tuhinga putaiao i roto i te mara o te tohatoha rorohiko, te miro maha me te katakina he. Ka uru a Eidit ki to tatou kura mo te wa tuatahi, kei reira ia hoatu he kauhau e pa ana ki nga ahuatanga taketake o te mahi o nga whare putunga raraunga kua tohatohahia: te tohatoha mahara, te whakawhanaketanga whakaaro me nga huringa whirihoranga.


SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaRodrigo Rodriguez (Rodrigo Rodrigues) - ahorangi i Técnico, mema o te taiwhanga INESC ID me te kaituhi mahi rangahau i roto i te mara o nga punaha tohatoha. I tenei tau i to matou kura Rodrigo ka korero e pā ana ki te riterite me te wehe i roto i nga whare putunga raraunga kua tohatohahia, ka tātari hoki ma te whakamahi CAP nga kaupapa te whaihua i roto i te mahi o etahi tauira o te riterite me te wehe.


SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaKo Chen Ching (Jing Chen) he ahorangi i te Whare Wananga o te Kawanatanga o New York i Stony Brook, kaituhi mahi rangahau i roto i te mara o poraka me tetahi kaiputaiao rangatira i roto Algorand — he kamupene me tetahi papaa poraka e whakamahi ana i te algorithm whakaaetanga i runga katoa Tuhinga o mua. I tenei tau i to maatau kura, ka korero a Chen mo te Algorand poraka me nga huarahi ki te whakatutuki i ona ahuatanga whakamere: kaore i te tono ki nga rauemi rorohiko whatunga, te kore e taea te wehewehe i te hitori o te tauwhitinga, me te whakapumau i te otinga o te tukatuka tauwhitinga i muri i te taapiri ki te poraka.


SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaKaraitiana Kahini (Christian Cachin) he ahorangi i te Whare Wananga o Bern, te upoko o te roopu rangahau mo te whakamarumaru raraunga, he kaituhi-kaituhi o te pukapuka "He Kupu Whakataki ki te Whakahoahoa Tuari Tiaki me te Haumaru”, kaiwhakawhanake papaaho poraka Te Hiko Kaiparau (mo ia ano ko panui i runga i a Habré) me te kaituhi mahi rangahau i roto i te mara o te tuhi me te haumaru i roto i nga punaha tohatoha. I tenei tau i to matou kura Karaitiana hoatu he kauhau i roto i nga wahanga e wha e pa ana ki nga taputapu kiripiri mo te rorohiko toha: te hangarite me te hangarite, me te tuhi tuhi matua tiritahi, tau pseudo-tupurangi me whakangao tau matapōkere ka whakamanahia.


SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaMarko Vukolich (Marko Vukolic) he kairangahau i IBM Research, kaituhi Tuhinga o mua i roto i te poraka me te kaiwhakawhanake o Hyperledger Fabric. Kaore ano matou i te mohio he aha nga korero a Marco i to maatau kura i tenei tau, engari e tumanako ana matou ki te ako mo ana whanaketanga hou i roto i te waahanga poraka: rangahau paheketanga mahi ka tohatohahia nga kawa whakaae mo nga kahui o nga miihini ki te 100, ka paoho Kawa Mir me te raupapa o te ao me te Whakaaetanga hapa Byzantine poraka kore poraka ranei StreamChainte whakaiti i te wa tukatuka tauwhitinga.


SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaPrasad Jayanti (Prasad Jayanti) he ahorangi i te Kareti o Dartmouth, he wahanga o te hunga rangatira riiki ivy, me te kaituhi mahi rangahau i roto i te mara o nga algorithms multithreaded. I tenei tau i to maatau kura Prasad hoatu he kauhau e pa ana ki te tukutahi miro me nga algorithm mo te whakatinana i nga momo whiringa mutex: me te haukoti, te whakaora ranei i nga mahi i roto i nga tauira mahara-kore, me nga mahi panui me te tuhi motuhake.


SPTDC 2020 - te kura tuatoru mo te mahi me te ariā o te rorohiko tohatohaAlexey Gotsman (Alexey Gotsman) he ahorangi i IMDEA me te kaituhi mahi rangahau i roto i te mara o te manatoko hōtaka o hātepe. Kare ano matou i te mohio he aha ta Alexey e kauhau ai ki ta matou kura i tenei tau, engari kei te titiro whakamua matou ki tetahi kaupapa i te waahi o te manatoko rorohiko me nga punaha toha.



He aha tenei he kura, ehara i te huihuinga?

Tuatahi, ka korero nga kaikorero i roto i te whakatakotoranga matauranga me te panui e rua nga takirua o ia kauhau nui: "he haora me te hawhe - he okiokinga - he haora me te hawhe." He maha nga tau i waho o te kaareti, me te tikanga o nga korero hui haora-roa me nga ataata YouTube 10-meneti, he uaua tenei. Ko te kaikorero pai ka whakahihiri i nga haora e toru, engari ma te katoa te kawenga mo te kirihou o to ratau ake roro.

Tohu Awhina: Parakatihi mo nga rekoata ataata o nga kauhau kura i roto 2017 году Tuhinga o mua 2019 году. Kia ora, mahi - tena koe e nga tianara Byzantine.

Tuarua, ka aro atu nga kaikorero ki te rangahau putaiao me te korero mo nga kaupapa taketake nga punaha tohatoha me te rorohiko whakarara, tae atu ki nga purongo mai i te mata o te puiao. Mena ko to whainga kia tere te tohu i tetahi mea ka toha ki te whakaputanga i te ra e whai ake nei i muri i te kura i roto i te whainga wera, he uaua ano tenei.

He Tohu Awhina: Rapua nga pepa rangahau a nga kaikorero o te kura i Google Scholar и arXiv.org. Mena he pai ki a koe te panui i nga pepa putaiao, ka koa koe ki te kura.

Tuatoru, ehara te kura SPTDC 2020 i te huihuinga, na te mea ko te huihuinga mo nga punaha toha me te rorohiko whakarara he Hydra 2020. I tata nei i runga i a Habré he panui me arotake i tana kaupapa. I tera tau, ko SPTDC me Hydra i tu i te wa kotahi me te waahi kotahi. I tenei tau kaore ratou e īnaki i nga ra, na reira kaore ratou e whakataetae ki a ratau mo to wa me to aro.

Aki awhina: Tirohia te kaupapa hui a Hydra me te whakaaro ki te haere ki te huihuinga i muri i te kura. He wiki pai tenei.

Me pehea te haere ki te kura?

  • A papa‘i i te mau taio mahana mai te 6 no tiurai e tae atu i te 9 no tiurai 2020 i roto i te tarena (aore ra hau atu, i te 11 no tiurai no te haere i te amuiraa Hydra i muri a‘e i te haapiiraa).
  • Kia kaha, kia takatu.
  • Kōwhiri tīkiti ka haere ki te kura.

Source: will.com

Tāpiri i te kōrero