Основные показатели сайта

Возраст доменаn/a
Дата окончанияn/a
ИКСn/a
Страниц в Googlen/a
Страниц в Яндексеn/a
Dmozn/a
Яндекс Каталогn/a
Alexa Traffic Rankn/a
Alexa Countryn/a
История изменения показателейАвторизация

iris-project.org

Идет сбор информации... Обновить

Анализ сайта

Title

Iris Project

Keywords

n/a

Description

n/a

Кодировка

UTF-8

Размер страницы

80.14 КБ

Количество слов

2 500

Длина текста на странице

26 548 симв.

Длина текста без пробелов

22 844 симв.

<H1>

    <H2>

    • Learning Iris
    • Events
    • Publications
    • PhD dissertations
    • Other material
    • Main research groups involved
    • Grants

    <H3>

      Анализ текста

      • 2.56% ( 64 ) programming
      • 2.40% ( 60 ) sigplan
      • 2.36% ( 59 ) development
      • 1.80% ( 45 ) logic
      • 1.68% ( 42 ) language
      • 1.64% ( 41 ) conference
      • 1.48% ( 37 ) iris
      • 1.24% ( 31 ) separation
      • 1.20% ( 30 ) popl
      • 1.16% ( 29 ) symposium
      • 1.04% ( 26 ) birkedal
      • 1.04% ( 26 ) krebbers
      • 1.04% ( 26 ) lars
      • 1.04% ( 26 ) robbert
      • 0.96% ( 24 ) international
      • 0.92% ( 23 ) principles
      • 0.88% ( 22 ) derek
      • 0.88% ( 22 ) dreyer
      • 0.76% ( 19 ) website
      • 0.72% ( 18 ) artifact

      Идет сбор информации... Обновить

      Идет сбор информации... Обновить

      Вы можете разместить у себя кнопку, которая будет показывать значение тИЦ и ПР для вашего сайта. Для этого скопируйте приведенный выше код кнопки и вставьте его в html-код своей страницы.

      Если Вы хотите выбрать другой дизайн информера, нажмите здесь.

      Идет сбор информации... Обновить

      Внешние ссылки главной страницы ( 168 ) 
      gitlab.mpi-sws.org/iris/iris/Coq Formalization
      plv.mpi-sws.org/iris/appendix-4.0.pdfTechnical Reference (v4.0)
      lists.mpi-sws.org/listinfo/iris-clubIris Club list
      plv.mpi-sws.org/semantics-course/Semantics lecture notes
      gitlab.mpi-sws.org/iris/tutorial-popl21Iris Tutorial at POPL'21
      youtube.com/watch?v=LjXaffBpMagvideo recording
      youtube.com/watch?v=8Xyk_dGcAwkvideo recording
      gitlab.mpi-sws.org/iris/tutorial-popl20Iris Tutorial at POPL'20
      mpi-sws.org/~dreyer/papers/iris-ground-up/paper.pdf.pdf
      gitlab.mpi-sws.org/iris/iris/blob/master/docs/proof_mode.mdIris Proof Mode (IPM) / MoSeL
      gitlab.mpi-sws.org/iris/iris/blob/master/docs/heap_lang.mdHeapLang
      popl21.sigplan.org/details/POPL-2021-tutorialfest/4/-T4-Iris...Tutorial on Iris
      popl20.sigplan.org/details/POPL-2020-tutorialfest/4/-T4-Prov...Tutorial on Proving Semantic Type Soundness in Iris
      popl18.sigplan.org/details/POPL-2018-TutorialFest/1/Iris-A-M...Tutorial on Iris
      github.com/kaist-cp/smr-verificationCoq development
      github.com/logsem/spireaCoq development
      zenodo.org/record/8314888Artifact
      zenodo.org/record/7712620Artifact
      gitlab.mpi-sws.org/iris/diaframeCoq development
      gitlab.inria.fr/cambium/hazelCoq development
      zenodo.org/record/8121688Artifact
      github.com/logsem/anerisCoq development
      apndx.org/pub/mpy9/miniactris.pdf.pdf
      apndx.org/pub/mpy9/Artifact
      github.com/julesjacobs/miniactrisCoq development
      doi.org/10.5281/zenodo.7717100Coq development
      sf.snu.ac.kr/publications/fairness.pdf.pdf
      sf.snu.ac.kr/fairness/Website
      github.com/snu-sf/fairnessCoq development
      doi.org/10.5281/zenodo.7799173Artifact
      github.com/logsem/VMSLCoq development
      github.com/WasmCert/WasmCert-Coq/tree/iris-wasm-nativeCoq development
      zenodo.org/record/7808708#.ZF4mLexBxqsArtifact
      julesjacobs.com/pdf/locks.pdf.pdf
      github.com/julesjacobs/cgraphsCoq development
      cambium.inria.fr/~amoine/publications/moine-chargueraud-pott....pdf
      gitlab.inria.fr/amoine/spacelambdaCoq development
      zenodo.org/record/7129302Artifact
      plv.mpi-sws.org/dimsum/Website
      gitlab.mpi-sws.org/iris/dimsumCoq development
      zenodo.org/record/7306313Artifact
      zenodo.org/record/6329773#.ZA7x2y-B08YCoq development
      doi.org/10.5281/zenodo.7079022Artifact
      plv.mpi-sws.org/refinedc/bffWebsite
      doi.org/10.5281/zenodo.7055010Coq development
      github.com/logsem/cerise-stack-monotoneCoq development
      katamaran-project.github.io/Website
      github.com/katamaran-project/katamaranCoq development
      dl.acm.org/do/10.5281/zenodo.6865817/full/Artifact
      doi.org/10.5281/zenodo.6882808Artifact
      plv.mpi-sws.org/later-credits/paper-later-credits.pdf.pdf
      plv.mpi-sws.org/later-credits/Website (with Coq development)
      zenodo.org/record/6702804#.Ytqb1h1BzB9Artifact and appendix
      mpi-sws.org/~dreyer/papers/compass/paper.pdf.pdf
      gitlab.mpi-sws.org/iris/gpfsl/-/tree/ci/compassCoq development
      plv.mpi-sws.org/compasswebsite
      mpi-sws.org/~dreyer/papers/rusthornbelt/paper.pdf.pdf
      gitlab.mpi-sws.org/iris/lambda-rust/-/tree/masters/rusthornb...Coq development
      github.com/xldenis/rhb-specsCreusot development
      doi.org/10.5281/zenodo.6426048artifact
      people.mpi-sws.org/~dreyer/papers/rusthornbelt/errata.txterrata
      mpi-sws.org/~dreyer/papers/islaris/paper.pdf.pdf
      github.com/rems-project/islarisCoq development
      julesjacobs.com/pdf/lambdabar.pdf.pdf
      gitlab.mpi-sws.org/iris/actrisCoq development
      cs.cornell.edu/~noamz/files/pubs/cpp22.pdf.pdf
      gitlab.mpi-sws.org/iris/reloc/-/tree/master/theories/example...Coq development
      gitlab.mpi-sws.org/iris/simuliris/Coq development
      doi.org/10.5281/zenodo.5667545Artifact and appendix
      gitlab.mpi-sws.org/iris/refinedcCoq development
      doi.org/10.5281/zenodo.5662349Artifact and appendix
      youtu.be/jrMxY8TnAocVideo
      cambium.inria.fr/~fpottier/publis/madiot-pottier-diamonds-20....pdf
      gitlab.inria.fr/fpottier/diamondsCoq development
      doi.org/10.5281/zenodo.5549765Artifact
      gitlab.inria.fr/gmevel/cosmoWeb development
      plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf.pdf
      plv.mpi-sws.org/rustbelt/ghostcell/website with Rust and Coq development
      github.com/logsem/free-theorems-slCoq development
      youtube.com/watch?v=8lv6UYX9toMvideo
      gitlab.mpi-sws.org/iris/relocCoq development
      chajed.io/papers/gojournal:osdi2021.pdf.pdf
      github.com/mit-pdos/go-journalcode
      github.com/mit-pdos/perennialCoq development
      plv.mpi-sws.org/refinedc/paper.pdf.pdf
      plv.mpi-sws.org/refinedc/website
      doi.org/10.5281/zenodo.4646747Artifact and appendix
      gitlab.mpi-sws.org/iris/transfiniteCoq development
      github.com/co-dan/SeLoCCoq development
      cacm.acm.org/magazines/2021/4/251364-safe-systems-programmin...html + video
      github.com/logsem/cerise-stackCoq formalization
      github.com/logsem/iris-tiniCoq formalization
      zenodo.org/record/4066608Coq formalization
      github.com/scaup/fae-gtlc-muCoq formalization
      cambium.inria.fr/~fpottier/publis/de-vilhena-pottier-sleh.pd...[preprint] .pdf
      gitlab.inria.fr/pdevilhe/hazelCoq formalization
      github.com/amintimany/monotoneCoq development
      github.com/Blaisorblade/dot-irisCoq development
      dot-iris.github.io/website
      cs.nyu.edu/wies/publ/templates-pldi20.pdf.pdf
      github.com/nyu-acsys/template-proofs/Coq development
      plv.mpi-sws.org/rustbelt/rbrlx/paper.pdf.pdf
      plv.mpi-sws.org/rustbelt/rbrlx/website
      gallium.inria.fr/~fpottier/publis/de-vilhena-pottier-jourdan....pdf
      gitlab.inria.fr/pdevilhe/spy-gameCoq development
      gitlab.mpi-sws.org/iris/actris/Coq development
      plv.mpi-sws.org/prophecies/paper.pdf.pdf
      plv.mpi-sws.org/prophecies/website
      youtu.be/6Xhhasl50YUvideo
      mpi-sws.org/~dreyer/papers/sandboxing/paper.pdf.pdf
      gitlab.mpi-sws.org/FCS/lang-sandbox-coqCoq development
      gitlab.mpi-sws.org/iris/cCoq development
      cs.ru.nl/~dfrumin/wpc/website
      cs.ru.nl/~dfrumin/wpc/esop-talk.pdfslides
      gitlab.inria.fr/gmevel/iris-time-proofsCoq development
      gitlab.mpi-sws.org/iris/ironCoq development
      github.com/jtassarotti/polarisCoq development
      plv.mpi-sws.org/iris/appendix-3.1.pdftechnical appendix
      github.com/Mtac2/Mtac2website
      gitlab.mpi-sws.org/dfrumin/logrel-concCoq development
      cs.ru.nl/~dfrumin/pdf/t/reloc-lics.pdfslides
      plv.mpi-sws.org/rustbelt/popl18/paper.pdf.pdf
      plv.mpi-sws.org/rustbelt/popl18/website
      mpi-sws.org/~dreyer/papers/ocpl/paper.pdf[preprint] .pdf
      people.mpi-sws.org/~swasey/papers/ocpl/ocpl-oopsla17-long.pd...[long version] .pdf
      mpi-sws.org/~dreyer/papers/ocpl/ocpl.tgzCoq development
      people.mpi-sws.org/~swasey/papers/ocpl/ocpl-vm-20170705.ovaCoq development (VM)
      drops.dagstuhl.de/opus/volltexte/2017/7275/pdf/LIPIcs-ECOOP-....pdf
      plv.mpi-sws.org/igpswebsite
      cs.cmu.edu/~jtassaro/papers/iris-refinement/index.htmlwebsite
      arxiv.org/abs/1701.05888arXiv
      plv.mpi-sws.org/iris/appendix-3.0.pdftechnical appendix
      gitlab.mpi-sws.org/iris/iris/tree/iris-3.0.0Coq development
      plv.mpi-sws.org/iris/appendix-2.0.pdftechnical appendix (2/2)
      gitlab.mpi-sws.org/iris/iris/tree/iris-2.0Coq development
      youtube.com/watch?v=vUxWU-qvGX0talk on youtube
      people.mpi-sws.org/~jung/iris/talk-icfp2016.pdfslides
      plv.mpi-sws.org/iris/appendix.pdftechnical appendix
      plv.mpi-sws.org/iris/distrib/(historic) Coq formalization
      dl.acm.org/citation.cfm?doid=2676726.2676980publisher's site
      people.mpi-sws.org/~jung/iris/talk-popl2015.pdfslides
      devilhena-paulo.github.io/thesis/de-vilhena-thesis.pdf.pdf
      gmevel.github.io/papers/mevel_phd-dissertation.pdf.pdf
      chajed.io/papers/tchajed-thesis.pdf.pdf
      groupoid.moe/pdf/thesis.pdf.pdf
      groupoid.moe/thesis.htmlwebsite
      people.mpi-sws.org/~jung/phd/thesis-screen.pdf.pdf
      people.mpi-sws.org/~jung/thesis.htmlwebsite
      cs.nyu.edu/media/publications/krishna_siddharth.pdf.pdf
      pure.au.dk/portal/files/142698762/Morten_Krogh_Jespersen_the....pdf
      lirias.kuleuven.be/retrieve/510052.pdf
      arxiv.org/abs/2301.10061arXiv
      cs.ru.nl/bachelors-theses/2023/Simcha_van_Collem___1040283__....pdf
      doi.org/10.5281/zenodo.7749189Coq development
      gitlab.mpi-sws.org/FP/iris-examples/tree/master/theories/con...Coq development
      lirias.kuleuven.be/bitstream/123456789/555709/1/CoqPL.pdfabstract
      gitlab.mpi-sws.org/iris/examples/tree/master/theories/logrelCoq development
      youtube.com/watch?v=9Dyna88piektalk on youtube
      people.mpi-sws.org/~jung/iris/talk-hope2015.pdfslides
      cs.au.dk/<img>
      cs.au.dk/~birke/Lars Birkedal
      mpi-sws.org/<img>
      mpi-sws.org/~dreyer/Derek Dreyer
      ru.nl<img>
      robbertkrebbers.nlRobbert Krebbers
      cs.au.dk/~birke/modures/more information
      plv.mpi-sws.org/rustbelt/more information
      cs.au.dk/research/centers/cpv/more information
      Внутренние ссылки главной страницы ( 88 ) 
      chat.htmlchat room
      #otherOther material
      tutorial-material.htmlIris lecture notes
      pdfs/2022-submitted-logical-type-soundness.pdf[preprint] .pdf
      pdfs/2017-popl-proofmode-final.pdf.pdf
      workshop-2023The Third Iris Workshop
      workshop-2022The Second Iris Workshop
      workshop-2019The First Iris Workshop
      pdfs/2023-oopsla-reclamation.pdf.pdf
      pdfs/2023-oopsla-spirea.pdf.pdf
      pdfs/2023-oopsla-diaframe2-final.pdf.pdf
      pdfs/2023-lmcs-rmad.pdf.pdf
      pdfs/2023-icfp-relcom.pdf.pdf
      pdfs/2023-ecoop-crdts.pdf[preprint] .pdf
      pdfs/2023-osdi-vmvcc.pdf.pdf
      pdfs/2023-pldi-cqs.pdf.pdf
      pdfs/2023-pldi-diaframe-disj.pdf.pdf
      pdfs/2023-pldi-hypervisor-vmsl.pdf.pdf
      pdfs/2023-pldi-iris-wasm.pdf.pdf
      pdfs/2023-popl-dimsum.pdf.pdf
      pdfs/2022-oopsla-purity-of-ST.pdf.pdf
      pdfs/2022-oopsla-bff.pdf[preprint] .pdf
      pdfs/2022-oopsla-crdts.pdf[preprint] .pdf
      pdfs/2022-oopsla-directed-capabilities-final.pdf[preprint] .pdf
      pdfs/2022-icfp-symbexec-final.pdf.pdf
      pdfs/2022-icfp-multiparty.pdf.pdf
      pdfs/2022-pldi-diaframe-final.pdf.pdf
      pdfs/2022-lmcs-actris2-final.pdf.pdf
      pdfs/2022-cpp-folly-queue.pdf.pdf
      iris-project.org/pdfs/2022-popl-simuliris.pdf.pdf
      iris-project.org/pdfs/2022-popl-connectivity-graphs.pdf.pdf
      iris-project.org/pdfs/2022-popl-vip.pdf.pdf
      iris-project.org/pdfs/2021-icfp-certisuslik.pdf.pdf
      iris-project.org/pdfs/2021-icfp-cosmo-queue-final.pdf.pdf
      iris-project.org/pdfs/2021-icfp-intensional-final.pdf.pdf
      pdfs/2021-lmcs-reloc-reloaded-final.pdf.pdf
      iris-project.org/reloc/website
      iris-project.org/pdfs/2021-pldi-transfinite-iris-final.pdf.pdf
      iris-project.org/transfinite-iris/website
      pdfs/2020-seloc-submission.pdf[preprint] .pdf
      pdfs/2021-rustbelt-cacm-final.pdf.pdf
      pdfs/2021-popl-ucaps-final.pdf[preprint] .pdf
      pdfs/2021-popl-tiniris-final.pdf.pdf
      pdfs/2021-popl-tiniris-appendix.pdftechnical appendix
      pdfs/2021-popl-ccddb-final.pdf.pdf
      pdfs/2021-popl-ccddb-appendix.pdftechnical appendix
      pdfs/2021-popl-fae-gradual-final.pdf.pdf
      pdfs/2021-cpp-ms-queue-final.pdf.pdf
      pdfs/2021-CPP-monotone-final.pdf[amended after publication] .pdf
      pdfs/2021-cpp-sessions-final.pdf.pdf
      pdfs/2020-icfp-cosmo-final.pdf.pdf
      pdfs/2020-icfp-dot-final.pdf.pdf
      pdfs/2020-esop-aneris-final.pdf.pdf
      pdfs/2020-esop-aneris-final-appendix.pdftechnical appendix
      artifacts/2020-esop-aneris.tar.gzCoq development
      pdfs/2020-popl-actris-final.pdf.pdf
      pdfs/2019-sosp-perennial-final.pdf.pdf
      pdfs/2019-icfp-logrelcc-final.pdf.pdf
      artifacts/2019-icfp-logrelcc.tar.gzCoq development
      pdfs/2019-esop-c.pdf.pdf
      pdfs/2019-esop-time.pdf.pdf
      pdfs/2019-popl-iron-final.pdf.pdf
      iron/website
      pdfs/2019-popl-polaris-final.pdf.pdf
      pdfs/2018-icfp-mosel-final.pdf.pdf
      mosel/website
      pdfs/2018-icfp-mtac2-final.pdf.pdf
      pdfs/2018-lics-reloc-final.pdf.pdf
      pdfs/2018-popl-runST-final.pdf.pdf
      artifacts/2018-popl-runst.tar.gzCoq development
      pdfs/2017-mfps-box-modality.pdf.pdf
      pdfs/2017-esop-refinement-final.pdf.pdf
      pdfs/2017-esop-iris3-final.pdf.pdf
      pdfs/2017-popl-effects-final.pdf.pdf
      pdfs/2017-popl-effects-appendix.pdftechnical appendix
      pdfs/2016-icfp-iris2-final.pdf.pdf
      pdfs/2016-icfp-iris2-final-appendix.pdftechnical appendix (1/2)
      pdfs/2015-popl-iris1-final.pdf.pdf
      pdfs/2023-phd-gregersen.pdf.pdf
      pdfs/2021-phd-kastberg.pdf.pdf
      pdfs/2019-phd-tassarotti.pdf.pdf
      pdfs/2021-submitted-trillium.pdf[preprint] .pdf
      artifacts/2021-submitted-trillium.zipCoq development
      pdfs/2020-iris-capabilities-prisc-conf.pdf.pdf
      pdfs/2017-case-study-verifying-dartino-framework.pdf.pdf
      artifacts/2017-case-study-verifying-dartino-framework.zipCoq development
      pdfs/2017-case-study-concurrent-stacks-with-helping.pdf.pdf
      pdfs/2017-thesis-verifying-hash-tables-in-iris.pdf.pdf

      Идет сбор информации... Обновить

      IP адреса

      США - 185.199.108.153

      США - Сан-Франциско - 185.199.109.153

      США - 185.199.110.153

      США - 185.199.111.153

      HTTP/1.1 200 OK
      Connection: keep-alive
      Content-Length: 82060
      Server: GitHub.com
      Content-Type: text/html; charset=utf-8
      x-origin-cache: HIT
      Last-Modified: Fri, 29 Sep 2023 09:53:15 GMT
      Access-Control-Allow-Origin: *
      ETag: "65169e8b-1408c"
      expires: Thu, 05 Oct 2023 16:30:33 GMT
      Cache-Control: max-age=600
      x-proxy-cache: MISS
      X-GitHub-Request-Id: 55D2:43D9:FA2A48:1007FB2:651EE24E
      Accept-Ranges: bytes
      Date: Thu, 05 Oct 2023 16:20:33 GMT
      Via: 1.1 varnish
      Age: 0
      X-Served-By: cache-ams21039-AMS
      X-Cache: MISS
      X-Cache-Hits: 0
      X-Timer: S1696522833.378291,VS0,VE113
      Vary: Accept-Encoding
      X-Fastly-Request-ID: 281134e4c74c96d84bd85411a7d6a1f86a65023d

      Проиндексирован

      Ссылаются

      Дополнительные ссылки

      Ссылка на отчет


      Анализ сайта


      Кнопка в Вашем браузере

      Кнопка для анализа сайта в один клик, для установки перетащите ссылку на "Панель закладок"

      Анализ сайта