Evaluation du site robd.io
Rob Dickerson
Généré le 03 Janvier 2026 02:54
Vieilles statistiques? UPDATE !
Le score est de 63/100
Optimisation du contenu
Titre
Rob Dickerson
Longueur : 13
Parfait, votre titre contient entre 10 et 70 caractères.
Description
Rob Dickerson is a PhD student studying programming languages, program verification, and synthesis at Purdue University. He is advised by Ben Delaware.
Longueur : 151
Génial, votre balise META description contient entre 70 et 160 caractères.
Mots-clefs
Très mauvais. Nous n'avons pas trouvé de balise META keywords sur votre page. Utilisez ce générateur gratuit de balises META en ligne pour créer des mots-clés.
Propriétés Open Graph
Bien, cette page profite des balises META Open Graph.
| Propriété | Contenu |
|---|---|
| title | Rob Dickerson |
| locale | en_US |
| description | Rob Dickerson is a PhD student studying programming languages, program verification, and synthesis at Purdue University. He is advised by Ben Delaware. |
| url | https://robd.io/ |
| site_name | Rob Dickerson |
| type | website |
Niveaux de titre
| H1 | H2 | H3 | H4 | H5 | H6 |
| 0 | 0 | 6 | 0 | 0 | 0 |
- [H3] KestRel at OOPSLA 2025
- [H3] Coming to Augustana in Fall 2025!
- [H3] KestRel at the 2023 E-Graphs Workshop
- [H3] RHLE: Modular Deductive Verification of Relational ∀∃ Properties
- [H3] Data-Driven Abductive Inference of Library Specifications
- [H3] PurPL Seminar: Relational Reasoning with Specifications
Images
Nous avons trouvé 1 image(s) sur cette page Web.
1 attribut(s) alt sont vides ou manquants. Ajouter un texte alternatif permet aux moteurs de recherche de mieux comprendre le contenu de vos images.
Ratio texte/HTML
Ratio : 34%
Idéal! le ratio de cette page texte/HTML est entre 25 et 70 pour cent.
Flash
Parfait, aucun contenu FLASH n'a été détecté sur cette page.
Iframe
Génial, il n'y a pas d'Iframes détectés sur cette page.
Liens
Réécriture d'URLs
Bien. Vos liens sont optimisés!
Tiret bas dans les URLs
Parfait! Aucuns soulignements détectés dans vos URLs.
Liens dans la page
Nous avons trouvé un total de 17 lien(s) dont 3 lien(s) vers des fichiers
| Texte d'ancre | Type | Juice |
|---|---|---|
| Augustana | Externe | Passing Juice |
| CV | Interne | Passing Juice |
| Research | Interne | Passing Juice |
| Teaching | Interne | Passing Juice |
| Github | Externe | Passing Juice |
| Scholar | Externe | Passing Juice |
| Externe | Passing Juice | |
| OOPSLA 2025 | Externe | Passing Juice |
| Augustana College | Externe | Passing Juice |
| Ben Delaware | Externe | Passing Juice |
| APLAS 2022 | Externe | Passing Juice |
| Zhe Zhou | Externe | Passing Juice |
| Suresh Jagannathan | Externe | Passing Juice |
| OOPSLA 2021 | Externe | Passing Juice |
| distinguished artifact award | Externe | Passing Juice |
| the PurPL website | Externe | Passing Juice |
| RSS | Interne | Passing Juice |
Mots-clefs
Nuage de mots-clefs
specifications e-graph relational verification work kestrel purpl oopsla augustana rob
Cohérence des mots-clefs
| Mot-clef | Contenu | Titre | Mots-clefs | Description | Niveaux de titre |
|---|---|---|---|---|---|
| kestrel | 5 |  |
|
|
 |
| relational | 5 | |
|
|
|
| work | 4 | |
|
|
|
| oopsla | 3 | |
|
|
|
| verification | 3 | |
|
|
|
Ergonomie
Url
Domaine : robd.io
Longueur : 7
Favicon
Génial, votre site web dispose d'un favicon.
Imprimabilité
Aucun style CSS pour optimiser l'impression n'a pu être trouvé.
Langue
Bien. Votre langue est : en.
Dublin Core
Cette page ne profite pas des métadonnées Dublin Core.
Document
Doctype
HTML 5
Encodage
Parfait. Votre charset est UTF-8.
Validité W3C
Erreurs : 0
Avertissements : 0
E-mail confidentialité
Attention! Au moins une adresse e-mail a été trouvée en texte clair. Utilisez une protection anti-spam gratuite pour cacher vos e-mails aux spammeurs.
HTML obsolètes
| Tags obsolètes | Occurrences |
|---|---|
| <center> | 1 |
Les balises HTML obsolètes sont des balises qui ne sont plus utilisés. Il est recommandé de supprimer ou de remplacer ces balises HTML, car elles sont désormais obsolètes.
Astuces vitesse
|
Excellent, votre site n'utilise pas de tableaux imbriqués. |
|
Parfait. Aucun style css inline n'a été trouvé dans vos tags HTML! |
|
Génial, votre site web contient peu de fichiers CSS. |
|
Parfait, votre site web contient peu de fichiers javascript. |
|
Parfait : votre site tire parti de gzip. |
Mobile
Optimisation mobile
|
Icône Apple |
|
Méta tags viewport |
|
Contenu FLASH |
Optimisation
Sitemap XML
Manquant
Votre site web ne dispose pas d’une sitemap XML, ce qui peut poser problème.
La sitemap recense les URLs que les moteurs de recherche peuvent indexer, tout en proposant d’éventuelles informations supplémentaires (comme la date de dernière mise à jour, la fréquence des changements, ainsi que leur niveau d’importance). Ceci permet aux moteurs de recherche de parcourir le site de façon plus efficace.
Robots.txt
https://robd.io/robots.txt
Votre site dispose d’un fichier robots.txt, ce qui est optimal.
Mesures d'audience
Manquant
Nous n'avons trouvé aucun outil d'analytics sur ce site.
Un outil de mesure d'audience vous permet d'analyser l’activité des visiteurs sur votre site. Vous devriez installer au moins un outil Analytics. Il est souvent utile d’en rajouter un second, afin de confirmer les résultats du premier.
PageSpeed Insights
Dispositif
Les catégories
Free SEO Testing Tool
Free SEO Testing Tool est un outil gratuit de référencement qui vous aidera à analyser vos pages web