Backlinks
| Referring page | DR | Ref. domains | Linked domains | Anchor and target URL |
|---|---|---|---|---|
|
Explore projects · GitLab
https://gitlab.rts.mpi-sws.org/explore/projects?non_archived=true&page=4&sort=latest_activity_desc
gitlab.rts.mpi-sws.org
|
11 | 1 | 7 |
[project website]
https://iris-project.org/
NOFOLLOW
|
|
Rodolphe Lepigre's webpage
https://lepigre.fr/
lepigre.fr
|
17 | 4 | 45 |
Iris workshop
https://iris-project.org/workshop-2019
DOFOLLOW
|
|
Rodolphe Lepigre's webpage
https://lepigre.fr/
lepigre.fr
|
17 | 4 | 45 |
PDF
https://iris-project.org/pdfs/2022-popl-vip.pdf
DOFOLLOW
|
|
Rodolphe Lepigre's webpage
https://lepigre.fr/
lepigre.fr
|
17 | 4 | 45 |
Iris
https://iris-project.org/
DOFOLLOW
|
|
PhD Candidate Required at Radboud University (Higher Salary)
https://www.scholarshipdiary.com/phd-candidate-required-at-radboud-university
scholarshipdiary.com
|
39 | 1 | 31 |
Iris
https://iris-project.org/
NOFOLLOW
|
|
Explore projects · GitLab
https://gitlab.mpi-sws.org/explore/projects?non_archived=true&page=2&sort=created_desc
gitlab.mpi-sws.org
|
60 | 94 | 3 |
https://iris-project.org/iron/
https://iris-project.org/iron
NOFOLLOW
|
|
Explore projects · GitLab
https://gitlab.mpi-sws.org/explore/projects?non_archived=true&page=2&sort=created_desc
gitlab.mpi-sws.org
|
60 | 94 | 3 |
Iris Separation Logic Framework
https://iris-project.org/
NOFOLLOW
|
|
GitHub - logsem/iris-tutorial
https://github.com/logsem/iris-tutorial
github.com
|
94 | 207,222 | 4,201 |
Iris Lecture Notes
https://iris-project.org/tutorial-material.html
NOFOLLOW
|
|
GitHub - logsem/iris-tutorial
https://github.com/logsem/iris-tutorial
github.com
|
94 | 207,222 | 4,201 |
Iris separation logic framework
https://iris-project.org/
NOFOLLOW
|
|
Journal Publications -- Amin Timany
https://cs.au.dk/~timany/publication-types/journal-publications
cs.au.dk
|
73 | 117 | 611 |
website
https://iris-project.org/mosel
DOFOLLOW
|
|
RGSep & related program logics
https://people.mpi-sws.org/~viktor/rgsep
people.mpi-sws.org
|
70 | 62 | 299 |
Iris
http://iris-project.org/
DOFOLLOW
|
|
Nikos Tzevelekos - papers
https://www.tzevelekos.org/papers
tzevelekos.org
|
42 | 3 | 42 |
pdf
https://iris-project.org/pdfs/2021-icfp-intensional-final.pdf
DOFOLLOW
|
|
Test-of-Time Award at POPL 2025
https://cs.au.dk/research/centers/cpv/news/single/artikel/test-of-time-award-at-popl-2025
cs.au.dk
|
73 | 117 | 611 |
iris-project.org
https://iris-project.org/
DOFOLLOW
|
|
Dan (Daniel) Frumin
https://groupoid.moe/
groupoid.moe
|
49 | 4 | 28 |
Context-Dependent Effects in Guarded Interaction Trees
https://iris-project.org/pdfs/2025-esop-gitrees.pdf
DOFOLLOW
|
|
Dan (Daniel) Frumin
https://groupoid.moe/
groupoid.moe
|
49 | 4 | 28 |
concurrent separation logics
https://iris-project.org/
DOFOLLOW
|
|
Pierre Rousselin / Iris · GitLab
https://gitlab.mpi-sws.org/Villetaneuse/iris
gitlab.mpi-sws.org
|
60 | 94 | 3 |
[project website]
https://iris-project.org/
NOFOLLOW
|
|
SYCOMORES - 2024 - Rapport annuel d'activité
https://radar.inria.fr/report/2024/sycomores/index.html
radar.inria.fr
|
9 | 4 | 862 |
Iris
https://iris-project.org/
DOFOLLOW
|
|
Explore projects · GitLab
https://gitlab.mpi-sws.org/explore/projects
gitlab.mpi-sws.org
|
60 | 94 | 3 |
https://iris-project.org/
https://iris-project.org/
NOFOLLOW
|
|
Poleiro, the Coq blog - Main
https://poleiro.info/
poleiro.info
|
— | 0 | 14 |
Iris
https://iris-project.org/
DOFOLLOW
|
|
Thibault Dardinier
https://dardinier.me/
dardinier.me
|
49 | 2 | 50 |
the Iris Workshop 2023
https://iris-project.org/workshop-2023
DOFOLLOW
|
|
Robbert Krebbers - PLDI 2023
https://pldi23.sigplan.org/profile/robbertkrebbers
pldi23.sigplan.org
|
61 | 72 | 91 |
Iris
https://iris-project.org/
NOFOLLOW
|
|
Publications | Robbert Krebbers
https://robbertkrebbers.nl/publications.html
robbertkrebbers.nl
|
14 | 10 | 56 |
[website]
http://iris-project.org/mosel
DOFOLLOW
|
|
Publications | Robbert Krebbers
https://robbertkrebbers.nl/publications.html
robbertkrebbers.nl
|
14 | 10 | 56 |
[website]
http://iris-project.org/iron
DOFOLLOW
|
|
Publications | Robbert Krebbers
https://robbertkrebbers.nl/publications.html
robbertkrebbers.nl
|
14 | 10 | 56 |
[website]
https://iris-project.org/reloc
DOFOLLOW
|
|
Publications | Robbert Krebbers
https://robbertkrebbers.nl/publications.html
robbertkrebbers.nl
|
14 | 10 | 56 |
[website]
http://iris-project.org/transfinite-iris
DOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
A Logical Relation for Monadic Encapsulation of State
http://iris-project.org/pdfs/runST.pdf
NOFOLLOW
|
|
Hugo SALOU
https://hugos29.dev/
hugos29.dev
|
— | 0 | 6 |
Iris
https://iris-project.org/
DOFOLLOW
|
|
Simcha van Collem / Iris · GitLab
https://gitlab.mpi-sws.org/svancollem/iris
gitlab.mpi-sws.org
|
60 | 94 | 3 |
[project website]
https://iris-project.org/
NOFOLLOW
|
|
Alessio Duè / Iris · GitLab
https://gitlab.mpi-sws.org/dalz/iris
gitlab.mpi-sws.org
|
60 | 94 | 3 |
https://iris-project.org/
https://iris-project.org/
NOFOLLOW
|
|
A modal deconstruction of Löb induction (POPL 2025 - POPL Research Papers) - ...
https://popl25.sigplan.org/details/POPL-2025-popl-research-papers/30/A-modal-deconstruction-of-L-b-induction
popl25.sigplan.org
|
68 | 70 | 185 |
Pre-print
https://iris-project.org/pdfs/2025-popl-affect.pdf
DOFOLLOW
|
|
Explore projects · GitLab
https://gitlab.rts.mpi-sws.org/explore/projects?archived=true&language=4&non_archived=false&page=2&sort=latest_activity_asc
gitlab.rts.mpi-sws.org
|
11 | 1 | 7 |
[project website]
https://iris-project.org/
NOFOLLOW
|
|
Tej Chajed
https://www.chajed.io/
chajed.io
|
48 | 2 | 22 |
Iris
https://iris-project.org/
DOFOLLOW
|
|
Teaching/ProgramVerification
https://mbsd.cs.ru.nl/Teaching/ProgramVerification
mbsd.cs.ru.nl
|
— | 0 | 29 |
Iris
https://iris-project.org/
NOFOLLOW
|
|
Robbert Krebbers - POPL 2025
https://popl25.sigplan.org/profile/robbertkrebbers
popl25.sigplan.org
|
68 | 70 | 185 |
Iris
https://iris-project.org/
NOFOLLOW
|
|
Lars Birkedal receives Villum Investigator Grant
https://cs.au.dk/research/centers/cpv/news/single/artikel/lars-birkedal-receives-villum-investigator-grant
cs.au.dk
|
73 | 117 | 611 |
Iris
https://iris-project.org/index.html
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2026-popl-robustdimsum.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2021-pldi-transfinite-iris-final.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2026-cpp-tree-traversals.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper website
https://iris-project.org/transfinite-iris
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2025-pldi-refinedprosa.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
website with Rocq development
https://iris-project.org/mosel
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2025-pldi-treeborrows.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2024-pldi-quiver.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2025-pldi-daenerys.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2022-popl-simuliris.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2017-esop-iris3-final.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2022-popl-vip.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
our work on Iris
https://iris-project.org/
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2024-pldi-refinedrust.pdf
DOFOLLOW
|
|
Derek Dreyer → Research
https://people.mpi-sws.org/~dreyer/research.html
people.mpi-sws.org
|
70 | 62 | 299 |
paper in PDF
https://iris-project.org/pdfs/2024-jacm-logical-type-soundness-final.pdf
DOFOLLOW
|
Frequently Asked Questions
How many backlinks does iris-project.org have?
The backlinks page for iris-project.org shows all individual inbound links discovered in our crawl of the web. Each backlink represents a hyperlink on another website that points to a page on iris-project.org. Use the filters to narrow results by dofollow/nofollow status, domain rating, or anchor text.
What is a backlink?
A backlink is a hyperlink on one website that points to a page on a different website. Backlinks are one of the most important ranking factors in search engine algorithms because they act as votes of confidence from other sites. The more high-quality backlinks a domain has, the more authority search engines assign to it.
Are the backlinks to iris-project.org dofollow or nofollow?
Backlinks to iris-project.org include both dofollow and nofollow links. Dofollow links pass link equity (ranking power) to the target site, while nofollow links include a rel="nofollow" attribute that tells search engines not to pass authority. Both types contribute to a natural backlink profile, but dofollow links carry more SEO weight. You can filter by link type using the rel filter above the table.
How often is backlink data updated?
Backlink data is updated monthly when our web crawler completes a new cycle. Our pipeline processes billions of web pages to discover new backlinks, track lost links, and update domain authority scores. The freshness of data depends on when our crawler last visited the referring pages.