Анализ страницы https://greenberg.science/papers.html
Основное Готовность: 100%
Домен
greenberg.science
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Домен второго уровня идеален для продвижения.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 04.10.2026 22:45:22.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Язык
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
~0,84сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,84сек оптимальна.
Объем документа
33Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 33Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 2
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 2 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | https://code.cdn.mozilla.net/fonts/fira.css | |
| stylesheet | /css/main.css |
Серверные заголовки
Кол-во: 6
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 6шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Date | Mon, 24 Aug 2026 04:54:16 GMT |
| Server | Apache |
| ETag | "86ae-6593be65f4d0f" |
| Accept-Ranges | bytes |
| Vary | Accept-Encoding |
| Via | e14s |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
Apache
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
Сайт работает на веб-сервере Apache.
Мета-теги Готовность: 32%
Title
mgreenbe.papers(5) - Publications - Michael Greenberg - Assistant Professor - Stevens Institute of Technology
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо уменьшить число символов в title (текущее значение: 109, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Michael Greenberg's complete list of publications
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Необходимо увеличить число символов в description (текущее значение мало: 49, минимум: 80, оптимально: от 120 до 130)
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Рекомендуем прописать канонический Url.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
width=device-width, initial-scale=1
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport со значением-константой width=device-width задаёт ширину страницы в соответствии с размером экрана.
Meta-тег viewport со значением initial-scale=1.0 определяет масштаб 1:1, т.е. «не масштабировать».
Разметка OpenGraph
Не найдено
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph не задана. Страница не оптимизирована под социальные сети. Мета-теги с разметкой Og помогают социальным роботам лучше структурировать Ваш сайт.
Все мета-теги
Кол-во: 3
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 3шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | description | Michael Greenberg's complete list of publications |
| name | author | Michael Greenberg |
| name | viewport | width=device-width, initial-scale=1 |
Оптимизация Готовность: 75%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют по одному на документ).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Абзацев с текстом 2 слишком мало. Добавьте больше абзацев с текстом (тег <p>)!
Слова из title 6 встречаются в тексте достаточно.
Среднее число слов в абзаце 36 достаточно.
Кол-во знаков контента 9207 на странице оптимально.
Кол-во слов 1237 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 4. Это прекрасно.
Тошнота
7,28
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 3. Измените текст страницы!
Академич. тошнота
10,27%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота страницы в пределах нормы.
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| michael | 53 | 4,28% |
| greenberg | 51 | 4,12% |
| slides | 17 | 1,37% |
| github | 10 | 0,81% |
| konstantinos | 9 | 0,73% |
| kallas | 8 | 0,65% |
| vasilakis | 8 | 0,65% |
| version | 7 | 0,57% |
| youtube | 7 | 0,57% |
| contracts | 7 | 0,57% |
| mgreenbe | 6 | 0,49% |
| papers | 6 | 0,49% |
| programming | 6 | 0,49% |
| bembenek | 5 | 0,40% |
| stephen | 5 | 0,40% |
| manifest | 5 | 0,40% |
| walker | 5 | 0,40% |
| benjamin | 5 | 0,40% |
| pierce | 5 | 0,40% |
| georgios | 4 | 0,32% |
Индексация Готовность: 0%
Индексирование
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 185 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
Не найден
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Файл robots.txt не найден (ошибка 404). Крайне рекомендуем добавить файл robots.txt, это правило хорошего тона для поисковых роботов.
Sitemap
Кол-во: 0
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt не содержит ссылку на карту сайта. Рекомендуется добавить карту сайта и указать ссылку на нее в robots.txt.
Внутренние ссылки
Кол-во: 78
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 78 оптимально.
Показать внутренние ссылки
| Url | Анкор | Состояние |
|---|---|---|
| /index.html |
Michael Greenberg
|
|
| /mgree_bib.html |
html
|
|
| /mgree.bib |
bib
|
|
| /papers/2026osdi_hs.pdf |
hS: Speculative Script Reordering at Subprocess Granularity
|
|
| /papers/2026osdi_try.pdf |
Controlling Opaque-Component Effects with Semisolates and Try
|
|
| /papers/2025atc_koala.pdf |
The Koala Benchmarks for the Shell: Characterization and Implications
|
|
| /papers/2025hotos_sash.pdf |
From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs
|
|
| /papers/2024oopsla_formulog.pdf |
Making Formulog Fast: An Argument for Unconventional
Datalog Evaluation
|
|
| /papers/2024oopsla_multiplt.pdf |
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
|
|
| /papers/2023hotos.pdf |
Executing Shell Scripts in the Wrong Order, Correctly
|
|
| /papers/2023types_lh2coq.pdf |
Towards a Translation from Liquid Haskell to Coq
|
|
| /papers/2022_multiple.pdf |
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages
|
|
| /papers/2023evcs_clam.pdf |
Reasoning About Paths in the Interface Graph
|
|
| /papers/2023popl_asp.pdf |
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems
|
|
| /papers/2022datalog_formulog.pdf |
Formulog: Datalog + SMT + FP
|
|
| /papers/2022haskell_funext.pdf |
How to Safely Use Extensionality in Liquid Haskell
|
|
| /papers/2022osdi_pash.pdf |
Practically Correct, Just-in-Time Shell Script Parallelization
|
|
| /papers/pldi2022_genkat.pdf |
Kleene Algebras Modulo Theories
|
|
| /papers/2022pldi.key |
slides (key)
|
|
| /papers/2021_ffs.pdf |
Files-as-Filesystems for POSIX Shell Data Processing
|
|
| /papers/2021_typewhich.pdf |
Solver-based Gradual Type Migration
|
|
| /papers/2021_adt.pdf |
Gradually Structured Data
|
|
| /papers/hotos2021_shell.pdf |
Unix Shell Programming:
The Next 50 Years
|
|
| /papers/2021_hotos_panel_report.pdf |
Report on the "The Future of the Shell" Panel at HotOS 2021
|
|
| /papers/oopsla2020_formulog.pdf |
Formulog: Datalog for SMT-based Static Analysis
|
|
| /papers/oopsla2020_poster.mp4 |
poster (mp4)
|
|
| /papers/oopsla2020_talk.mp4 |
talk (mp4)
|
|
| /papers/oopsla2020_talk.key |
keynote (slides)
|
|
| /papers/iclp2020_extabs.pdf |
Datalog-Based Systems Can Use Incremental SMT Solving
|
|
| /papers/popl2020_smoosh.pdf |
Executable formal semantics for the POSIX shell
|
|
| /papers/popl2020_smoosh_slides.key |
keynote (slides)
|
|
| /papers/popl2020_smoosh_slides.pdf |
pdf (slides)
|
|
| /papers/wgt20.pdf |
Gradual Algebraic Data Types
|
|
| /papers/wgt20_slides.key |
keynote (slides)
|
|
| /papers/wgt20_slides.pdf |
pdf (slides)
|
|
| /papers/snapl2019.pdf |
The Dynamic Practice and Static Theory of Gradual Typing
|
|
| /papers/coqpl2019.pdf |
Teaching Discrete Mathematics to Early Undergraduates with Software Foundations
|
|
| /papers/coqpl2019_slides.pdf |
pdf (slides)
|
|
| /papers/dsldi2018.pdf |
The POSIX shell is an interactive DSL for concurrency
|
|
| /papers/px2018.pdf |
Word expansion supports POSIX shell interactivity
|
|
| /papers/toplas2017.pdf |
Polymorphic
Manifest Contracts, Revised and Resolved
|
|
| /papers/obt2017.pdf |
Understanding the POSIX Shell as a Programming Language
|
|
| /papers/obt2017_talk.pdf |
pdf (slides)
|
|
| /papers/tfp2016_final.pdf |
Space-Efficient Latent Contracts
|
|
| /papers/sigcomm2016.pdf |
SNAP: Stateful Network-Wide
Abstractions for Packet Processing
|
|
| /papers/pldi2016_preprint.pdf |
Temporal NetKAT
|
|
| /papers/plvnet2015_temporal.pdf |
pdf (PLVNET 2015)
|
|
| /papers/pldi2016_presentation.pdf |
pdf (slides)
|
|
| /papers/hope2015.pdf |
Combining Manifest Contracts with State
|
|
| /papers/hope2015_presentation.pdf |
pdf (slides)
|
|
| /papers/snapl2015.pdf |
Tracking the Flow of
Ideas through the Programming Languages Literature
|
|
| /papers/snapl2015_presentation.pdf |
pdf (slides)
|
|
| /papers/popl2015_space.pdf |
Space-Efficient Manifest Contracts
|
|
| /papers/popl2015_space_presentation.pdf |
pdf (slides)
|
|
| /papers/popl2015_space_uncorrected.pdf |
pdf (uncorrected)
|
|
| /papers/popl2014sub_space.pdf |
older pdf (coercions + dynamic types; July, 2013)
|
|
| /papers/plvnet2015_controllers.pdf |
Type systems
for SDN controllers
|
|
| /papers/icfp2014_cnc.pdf |
Concurrent NetCore: From
Policies to Pipelines
|
|
| /papers/thesis.pdf |
Manifest Contracts
|
|
| /papers/sp2013_exceptional.pdf |
All Your
IFCException Are Belong To Us
|
|
| /papers/esop2011_fh.pdf |
Polymorphic Contracts
|
|
| /papers/esop2011_fh_uncorrected.pdf |
pdf (original
ESOP version)
|
|
| /papers/esop_20110331.pdf |
pdf (slides)
|
|
| /papers/lmcs2013_mts.pdf |
Measure Transformer Semantics for Bayesian
Machine Learning
|
|
| /papers/esop2011_mts.pdf |
pdf (ESOP)
|
|
| /papers/icfp2010_matching.pdf |
Matching Lenses:
Alignment and View Update
|
|
| /papers/contracts_jfp_firstview.pdf |
Contracts
Made Manifest
|
|
| /papers/popl2010_contracts.pdf |
pdf (POPL)
|
|
| /papers/popl2010_contracts_presentation.pdf |
pdf
(slides)
|
|
| /papers/oopsla2009_flapjax.pdf |
Flapjax: A Programming Language for Ajax Applications
|
|
| /papers/padl2008_padx.pdf |
A Generic Programming
Toolkit for PADS/ML: First-Class Upgrades for
Third-Party Developers
|
|
| /papers/padl2008_padx.odp |
odp (slides)
|
|
| /papers/ugrad_thesis.pdf |
Declarative, composable
views
|
|
| /papers/ugrad_thesis_presentation.odp |
odp
(slides)
|
|
| /papers/ugrad_thesis_presentation.pdf |
pdf
(slides)
|
|
| /papers/tr2005_margrave.pdf |
The Soundness and
Completeness of Margrave with Respect to a
Subset of XACML
|
|
| /papers/fse2004_vaam.pdf |
Verifying Aspect
Advice Modularly
|
|
| /index.html |
mgreenbe(1)
|
|
Внешние ссылки
Кол-во: 51
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 51 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать внешние ссылки
| Url | Анкор |
|---|---|
| arxiv.org |
arXiv
|
| arxiv.org |
arXiv
|
| arxiv.org |
arXiv
|
| drops.dagstuhl.de |
DROPS
|
| arxiv.org |
pdf (arXiv)
|
| github.com |
github
|
| arxiv.org |
pdf (arXiv)
|
| youtu.be |
talk (youtube)
|
| github.com |
github
|
| youtu.be |
talk (youtube)
|
| youtu.be |
demo (youtube)
|
| link.growkudos.com |
acm kudos
|
| arxiv.org |
pdf (arxiv)
|
| sigops.org |
pdf
(official)
|
| youtu.be |
talk (youtube)
|
| arxiv.org |
pdf (arXiv)
|
| arxiv.org |
pdf (arxiv)
|
| github.com |
github
|
| youtube.com |
youtube (ICLP 2020 talk)
|
| youtu.be |
youtube (POPL 2020 talk)
|
| dl.acm.org |
PACMPL
|
| github.com |
github
|
| shell.cs.pomona.edu |
shell.cs.pomona.edu
|
| drops.dagstuhl.de |
DROPS
|
| cs.pomona.edu |
S2018
|
| cs.pomona.edu |
S2020
|
| cs.pomona.edu |
F2020
|
| arxiv.org |
pdf (extended version; arXiv)
|
| arxiv.org |
pdf (extended version; arXiv)
|
| cs.princeton.edu |
pdf (TR)
|
| github.com |
github
|
| drops.dagstuhl.de |
DROPS
|
| github.com |
github
|
| dl.acm.org |
mov via ACM DL (POPL 2015 talk)
|
| arxiv.org |
pdf (extended version; arXiv)
|
| github.com |
Coq
non-interference proofs (github)
|
| weaselhat.com |
an errata blogpost
|
| research.microsoft.com |
html/pdf
(MSR TR)
|
| research.microsoft.com |
release
(courtesy of MSR)
|
| github.com |
Coq
parallel-reduction proofs (github)
|
| cis.upenn.edu |
Software
Foundations
|
| github.com |
github
|
| weaselhat.com |
<img alt="a weasel in a hat (weaselhat icon)" src="images/weaselhat.ico">
blog(1)
|
| dblp.org |
<img alt="dblp icon" src="images/dblp.ico">
dblp(7)
|
| github.com |
<img alt="github icon" src="images/github.ico">
github(2)
|
| scholar.google.com |
<img alt="google scholar icon" src="images/scholar.ico">
google scholar(7)
|
| orcid.org |
<img alt="orcid icon" src="images/orcid.ico">
orcid(7)
|
| conf.researchr.org |
<img alt="sigplan researchr icon" src="images/researchr.ico">
researchr(7)
|
| twitch.tv |
<img alt="twitch icon" src="images/twitch.ico">
twitch(1)
|
| twitter.com |
<img alt="twitter icon" src="images/twitter.ico">
twitter(6)
|
| youtube.com |
<img alt="youtube icon" src="images/youtube.ico">
youtube(1)
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://greenberg.science/papers.html готова к продвижению на 52%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки индексации.
Поделитесь с друзьями: