SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zaraina

Ny teoria dia rehefa fantatrao ny zava-drehetra fa tsy misy mandeha.
Ny fanazaran-tena dia rehefa mandeha ny zava-drehetra fa tsy misy mahalala ny antony.
Amin'ny rafitra distributed, ny teoria sy ny fampiharana dia mitambatra:
tsy misy mandeha ary tsy misy mahalala ny antony.

Mba hanaporofoana fa hadalana tanteraka ny vazivazy ao amin'ny epigrafy, dia ataontsika fanintelony ny SPTDC (school on practice and theory of distributed computing). Efa niresaka momba ny tantaran'ny sekoly, Pyotr Kuznetsov sy Vitaly Aksyonov, mpiara-manorina azy, ary koa ny fandraisan'ny JUG Ru Group amin'ny fikarakarana SPTDC. nilaza amin'ny Habré. Noho izany, androany isika dia miresaka momba ny sekoly amin'ny 2020, momba ny lahateny sy ny mpampianatra, ary koa ny fahasamihafana misy eo amin'ny sekoly sy ny fihaonambe.

Ny sekoly SPTDC dia hatao ny 6 Jolay hatramin'ny 9 Jolay 2020 ao Moskoa.

Ny lahateny rehetra dia hatao amin'ny teny anglisy. Ny lohahevitry ny lahateny: informatika mitambatra maharitra, fitaovana kriptografika ho an'ny rafitra zaraina, fomba ofisialy hanamarinana ny protocols marimaritra iraisana, tsy miovaova amin'ny rafitra midadasika, fianarana milina fizarana.

SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zaraina
Fantatrao avy hatrany hoe inona ny laharan'ny miaramila amin'ny sary? Mamiko ianao.

Mpampianatra sy lahateny

SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaNir Shavit (Nir Shavit) - mpampianatra ao amin'ny MIT sy Tel Aviv University, mpiara-manoratra boky lehibe Ny Art of Multiprocessor Programming, tompony Loka Dijkstra ho fampandrosoana sy fampiharana logiciel transactional memory (STM) ary Loka Gödel ho an'ny asany amin'ny fampiharana ny topolojia algebra amin'ny famolavolana ny computing fahatsiarovana iombonana, mpiara-manorina ny orinasa Neural Magic, izay mamorona algorithm fianarana milina haingana ho an'ny CPU tsotra, ary mazava ho azy fa manana ny azy manokana Pejy Wikipedia miaraka amin'ny sary manjelanjelatra sy mafana. Efa nandray anjara tamin'ny sekolintsika i Nir tamin'ny taona 2017, izay nanome fomba fijery feno momba ny teknika fanakanana (ampahany amin'ny 1, ampahany amin'ny 2). Tsy mbola fantatsika izay horesahin'i Nir amin'ity taona ity, fa manantena vaovao avy amin'ny lohalaharana amin'ny siansa.


SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaMichael Scott (Michael Scott) - mpikaroka ao amin'ny Oniversite Rochester, fantatry ny mpamorona Java rehetra ho mpamorona Algorithm tsy manakana sy filaharana synchronous avy amin'ny Java Standard Library. Mazava ho azy, miaraka amin'ny loka Dijkstra ho an'ny fampandrosoana algorithms synchronization ho an'ny computing fahatsiarovana iombonana ary manana Pejy Wikipedia. Tamin'ny taon-dasa, Michael dia nanao lahateny tao amin'ny sekolintsika momba ny rafitra angona tsy manakana (ampahany amin'ny 1, ampahany amin'ny 2). Tamin'ity taona ity izy dia hilaza momba ny fampiasana programa fahatsiarovana tsy miovaova (NVM), izay mampihena ny fahasarotan'ny programa sy ny fitadidiana ambony raha ampitahaina amin'ny fahatsiarovana fidirana an-tsokosoko (DRAM) "tsy tapaka".


SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaMandeha Keidar (Idit Keidar) - mpampianatra ao amin'ny Technion ary tompony Hirsch index eo amin'ny 40 (izay tena lehibe tokoa) ho an'ny lahatsoratra siantifika roanjato eo amin'ny sehatry ny informatika zaraina, multithreading ary fandeferana diso. Sambany nandray anjara tamin'ny sekolintsika i Idit, izay misy azy hanao lahateny momba ny lafin-javatra fototra amin'ny fampandehanana ny fitehirizana angon-drakitra zaraina: fanahafana fahatsiarovana mizara, fampivoarana marimaritra iraisana ary fanovana fanovana.


SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaRodrigo Rodriguez (Rodrigo Rodrigues) - mpampianatra ao amin'ny Técnico, mpikambana ao amin'ny laboratoara INESC-ID ary mpanoratra asa fikarohana eo amin'ny sehatry ny rafitra fizarana. Amin'ity taona ity ao amin'ny sekolintsika Rodrigo dia hilaza momba ny tsy fitovian-kevitra sy ny fitokanana amin'ny fitehirizana angon-drakitra zaraina, ary hamakafaka ihany koa ny fampiasana Ireo singa mifandraika amin'ny CAP azo atao amin'ny fampiharana ny modely maromaro amin'ny tsy fitoviana sy ny fitokanana.


SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaChen Jing (Jing Chen) - Profesora ao amin'ny Oniversiten'i New York ao amin'ny Stony Brook, mpanoratra asa fikarohana eo amin'ny sehatry ny blockchain ary mpahay siansa malaza ao Algorand - orinasa sy sehatra blockchain izay mampiasa algorithm marimaritra iraisana mifototra tanteraka amin'ny Porofon'ny tsatòka. Amin'ity taona ity ao amin'ny sekolintsika, i Chen dia hiresaka momba ny blockchain Algorand sy ny fomba hanatrarana ny toetrany mahaliana: fitakiana ambany amin'ny loharanom-baovaon'ny informatika, ny tsy fahafahana manasaraka ny tantaran'ny varotra ary miantoka ny fahavitan'ny fanodinana varotra rehefa ampidirina amin'ny blockchain.


SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaChristian Cashin (Christian Cachin) dia mpampianatra ao amin'ny Oniversiten'i Bern, mitarika vondrona mpikaroka eo amin'ny sehatry ny fiarovana ny angona, mpiara-manoratra ny boky “Fampidirana amin'ny fandaharana azo itokisana sy azo antoka", mpamorona sehatra blockchain Hyperledger lamba (Nisy resaka momba azy mihitsy aza lahatsoratra tao amin'ny Habré) sy ny mpanoratra asa fikarohana eo amin'ny sehatry ny kriptografika sy ny fiarovana amin'ny rafitra zaraina. Amin'ity taona ity ao amin'ny sekoly Kristiana hanao lahateny andian-dahatsoratra efatra momba ny fitaovana kriptografika ho an'ny informatika zaraina: kriptografia symmetrika sy asymmetrika, ary koa kriptografika fanalahidy iombonana, isa pseudorandom ary famokarana isa kisendrasendra azo hamarinina.


SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaMarko Vukolić (Marko Vukolic) - mpikaroka ao amin'ny IBM Research, mpanoratra ny asa ao amin'ny blockchain ary mpamorona ny Hyperledger Fabric. Tsy mbola fantatray izay horesahin'i Marco ao amin'ny sekolintsika amin'ity taona ity, fa manantena izahay fa hianatra momba ny fivoarany vaovao amin'ny sehatry ny blockchain: fikarohana. fahasimban'ny asa nizara protocols marimaritra iraisana amin'ny clusters hatramin'ny milina 100, fampitana Mir protocol miaraka amin'ny filaminana manerantany sy Fandeferana ny fahadisoan'ny Byzantine na blockchain tsy misy sakana StreamChain, manamaivana ny fotoana fikarakarana ny fifampiraharahana.


SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaPrasad Jayanti (Prasad Jayanti) dia mpampianatra ao amin'ny Dartmouth College, iray amin'ireo sangany Ivy League, ary ny mpanoratra asa fikarohana eo amin'ny sehatry ny algorithm multi-threaded. Amin'ity taona ity ao amin'ny sekoly Prasad hanao lahateny momba ny fampifanarahana ny kofehy sy ny algorithm amin'ny fampiharana safidy isan-karazany mutex: Miaraka amin'ny fiasa manapaka na mamerina amin'ny maodely fitadidiana tsy miovaova, ary koa ny asa famakiana sy fanoratana misaraka.


SPTDC 2020 - sekoly fahatelo momba ny fampiharana sy ny teoria momba ny informatika zarainaAlexey Gotsman (Alexey Gotsman) - mpampianatra ao amin'ny IMDEA sady mpanoratra asa fikarohana eo amin'ny sehatry ny fanamarinana rindrambaiko ny algorithms. Mbola tsy fantatray izay ho lahatenin'i Alexey ao amin'ny sekolintsika amin'ity taona ity, fa miantehitra amin'ny lohahevitra iray eo amin'ny fihaonan'ny fanamarinana rindrambaiko sy ny rafitra fizarana.



Nahoana no sekoly ity fa tsy fihaonambe?

Voalohany, ny mpampianatra dia miteny amin'ny endrika akademika ary ny lahateny lehibe tsirairay dia omena tsiroaroa: "Adiny iray sy sasany - fiatoana - adiny iray sy sasany." Taona maro taorian'ny oniversite, miaraka amin'ny fahazarana manao famelabelarana mandritra ny adiny iray sy horonan-tsary YouTube 10 minitra, dia mety ho sarotra izany. Ny mpampianatra mahay dia hahatonga ny adiny telo ho mahaliana, fa ny tsirairay dia tompon'andraikitra amin'ny plastika ny atidohany.

Torohevitra mahasoa: fanazaran-tena amin'ny firaketana horonan-tsary momba ny lahatenin'ny sekoly ao Taona 2017 ary ao Taona 2019. Veloma ry jeneraly Byzantine.

Faharoa, mifantoka amin'ny fikarohana siantifika ny mpampianatra ary miresaka momba ny foto-kevitra fototra rafitra fizarana sy informatika parallèle, ary koa ny vaovao avy amin'ny siantifika farany. Raha ny tanjonao dia ny hanomana zavatra haingana sy hametraka izany amin'ny famokarana ny ampitso aorian'ny fianarana, dia mety ho sarotra ihany koa izany.

Soso-kevitra mahasoa: mitadiava taratasy fikarohana ataon'ny mpampianatra ao amin'ny sekoly Google Scholar и arXiv.org. Raha tia mamaky lahatsoratra siantifika ianao dia ho tianao koa ny sekoly.

Fahatelo, ny SPTDC 2020 dia tsy fihaonambe, satria ny fihaonambe momba ny rafitra mizara sy ny computing parallèle dia Hydra 2020. Vao haingana dia nisy lahatsoratra momba ny Habré miaraka amin'ny topimaso momba ny programany. Tamin’ny taon-dasa dia niara-nanatontosa sy teo amin’ny toerana iray ihany ny SPDTC sy Hydra. Amin'ity taona ity dia tsy mifanipaka amin'ny daty izy ireo, ka tsy hifaninana amin'ny fotoananao sy ny fiheveranao.

Soso-kevitra mahasoa: Jereo ny fandaharana fihaonambe Hydra ary diniho ny hanatrika fihaonambe hafa aorian'ny fianarana. Ho herinandro tsara izao.

Ahoana no ahatongavana any an-tsekoly?

  • Soraty ao amin'ny kalandrienao ny datin'ny 6 Jolay ka hatramin'ny 9 Jolay 2020 (na tsara kokoa, 11 Jolay, mba hahafahanao manatrika ny fihaonambe Hydra aorian'ny fianarana).
  • Mahereza, miomàna.
  • Mifidiana tapakila ary mandeha any an-tsekoly.

Source: www.habr.com

Add a comment