chajed.io

Avaliação do site chajed.io

Tej Chajed

 Gerado a 22 de Janeiro de 2026 04:26 AM

Estatísticas desatualizadas? ATUALIZE !

O resultado é de 66/100

Conteúdo SEO

Título

Tej Chajed

Cumprimento : 10

Perfeito, o Título contém entre 10 e 70 caracteres.

Descrição

I'm Tej Chajed, an assistant professor at the University of Wisconsin-Madison.

Cumprimento : 78

Perfeito, a Descrição META contém entre 70 e 160 caracteres.

Palavras-chave

Tej,Chajed,MIT,computer science

Perfeito, a página contém palavras-chave META.

Propriedades Og Meta

Esta página não tira vantagens das propriedades Og.

Cabeçalhos

H1 H2 H3 H4 H5 H6
1 5 0 0 0 0
  • [H1] Tej Chajed
  • [H2] Research
  • [H2] Teaching
  • [H2] Publications
  • [H2] Service
  • [H2] How to pronounce my name

Imagens

Encontrámos 34 imagens nesta página.

Bom, a maioria das imagens têm o atributo ALT definidos.

Rácio Texto/HTML

Rácio : 32%

Ideal! O rácio de texto para código HTML desta página está entre 25 e 70 porcento.

Flash

Perfeito, não foi encontrado conteúdo Flash nesta página.

Iframe

Excelente, não foram detetadas Iframes nesta página.

Reescrita de URL

Perfeito. As ligações aparentam ser limpas!

Underscores (traços inferiores) nas URLs

Perfeito. Não foram encontrados 'underscores' (traços inferiores) nas suas URLs.

Ligações para a própria página

Encontrámos um total de 32 ligações incluindo 19 ligações a ficheiros

Âncoras Tipo Sumo
DaisyNFS Externas Passa sumo
Perennial Externas Passa sumo
Goose Externas Passa sumo
list of Rocq tricks Externas Passa sumo
Iris Externas Passa sumo
EECS Communication Lab Externas Passa sumo
Spring 2026 Externas Passa sumo
Fall 2025 Externas Passa sumo
Fall 2024 Externas Passa sumo
Spring 2024 Externas Passa sumo
Fall 2020 Externas Passa sumo
Fall 2019 Externas Passa sumo
Fall 2017 Externas Passa sumo
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols Internas Passa sumo
Verus: A Practical Foundation for Systems Verification Internas Passa sumo
Shadow Filesystems: Recovering from Filesystem Runtime Errors via Robust Alternative Execution Internas Passa sumo
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas Internas Passa sumo
Anvil: Verifying Liveness of Cluster Management Controllers Internas Passa sumo
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs Internas Passa sumo
Beyond isolation: OS verification as a foundation for correct applications Internas Passa sumo
DBSP: Automatic Incremental View Maintenance for Rich Query Languages Internas Passa sumo
Verifying a concurrent, crash-safe file system with sequential reasoning Internas Passa sumo
GoJournal: a verified, concurrent, crash-safe journaling system Internas Passa sumo
Record Updates in Coq Internas Passa sumo
Verifying concurrent Go code in Coq with Goose Internas Passa sumo
Verifying concurrent, crash-safe systems with Perennial Internas Passa sumo
Argosy: Verifying Layered Storage Systems with Recovery Refinement Internas Passa sumo
Verifying concurrent software using movers in CSPEC Internas Passa sumo
Proving confidentiality in a file system using DiskSec Internas Passa sumo
Extending a verified file system with concurrency Internas Passa sumo
Using Crash Hoare Logic for certifying the FSCQ file system Internas Passa sumo
Amber: Decoupling user data from web applications Internas Passa sumo

Palavras-chave SEO

Núvem de palavras-chave

systems system zeldovich frans nickolai file verifying chajed kaashoek tej

Consistência das Palavras-chave

Palavra-chave Conteúdo Título Palavras-chave Descrição Cabeçalhos
tej 27
chajed 27
systems 14
zeldovich 12
nickolai 12

Usabilidade

Url

Domínio : chajed.io

Cumprimento : 9

Favicon

Ótimo, o site tem um favicon.

Facilidade de Impressão

Não encontrámos CSS apropriado para impressão.

Língua

Não foi declarada nenhuma língua para este site.

Dublin Core

Esta página não tira vantagens do Dublin Core.

Documento

Tipo de Documento

HTML 5

Codificação

Perfeito. O conjunto de caracteres UTF-8 está declarado.

Validação W3C

Erros : 0

Avisos : 0

Privacidade do Email

Aviso! No mínimo, foi encontrado um endereço de email sob a forma de texto. Isto é um convite para que spammers entupam a caixa de correio deste endereço.

HTML obsoleto

Fantástico! Não detetámos etiquetas HTML obsoletas.

Dicas de Velocidade

Excelente, este site não usa tablelas dentro de tabelas.
Perfeito. Não foram detetados estilos CSS nas etiquetas HTML!
Boa, o site usa poucos ficheiros CSS.
Perfeito, o site usa poucos ficheiros JavaScript.
Perfeito, o site tira vantagens da compressão gzip.

Dispositivos Móveis

Otimização para dispositivos móveis

Icon Apple
Meta Viewport Tag
Conteúdo Flash

Otimização

XML Sitemap

Em falta

O site não tem um mapa XML do site (sitemap) - isto pode ser problemático.

Um mapa do site identifica todas as URLs que estão disponíveis para rastreio, incluindo informação acerca de atualizações, frequência de alterações ou a importancia de cada URL. Isto contribui para uma maior inteligência e eficiência do rastreio.

Robots.txt

https://chajed.io/robots.txt

Perfeito, o seu site tem um ficheiro robots.txt.

Analytics

Perfeito, o site tem uma ferramenta analítica para a análise de atividade.

   Google Analytics

PageSpeed Insights


Dispositivo
Categorias

Free SEO Testing Tool

Free SEO Testing Tool é uma ferramenta gratuita que o ajuda a avaliar o seu site