Анализ страницы https://csgordon.github.io/publications
Основное Готовность: 100%
Домен
csgordon.github.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Цепочка редиректов:
https://csgordon.github.io/publications
301 MovedPermanently
https://csgordon.github.io/publications/
200 OK
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 28.10.2026 23:43:40.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Язык
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
~0,46сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,46сек оптимальна.
Объем документа
74Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 74Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 3
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 3 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@5.15.4/css/all.min.css | |
| stylesheet | https://cdn.jsdelivr.net/gh/jpswalsh/academicons@1/css/academicons.min.css | |
| stylesheet | https://csgordon.github.io/styles/styles.css |
Серверные заголовки
Кол-во: 17
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 17шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| ETag | "6a7f66be-12a62" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | 4148:2840:573207:5E72FA:6A8B75D9 |
| x-github-edge-region | swedencentral |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Sun, 23 Aug 2026 22:36:09 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-bma-essb1270075-BMA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787524570.543458,VS0,VE130 |
| Vary | Accept-Encoding |
| x-fastly-request-id | 048d2fb6e5bc9cca171dc34acbae351843244bcb |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 32%
Title
Publications |
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо увеличить число символов в title (текущее значение мало: 16, минимум: 25, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Установите мета-тег description!
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.0
Настройка масштабирования на мобильных устройствах
?
Тег 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 помогают социальным роботам лучше структурировать Ваш сайт.
Все мета-теги
Кол-во: 1
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 1шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | viewport | width=device-width, initial-scale=1.0 |
Оптимизация Готовность: 60%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют по одному на документ).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 1 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 130 достаточно.
Среднее число слов в абзаце 20 достаточно.
Кол-во знаков контента 17273 на странице оптимально.
Кол-во слов 2411 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 1. Это прекрасно.
На странице присутствуют заголовки <h2> 53. Это хорошо.
Тошнота
7
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 5. Измените текст страницы!
Академич. тошнота
20,66%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота превышает норму 5-15%. Измените текст страницы!
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| gordon | 49 | 2,03% |
| systems | 35 | 1,45% |
| programming | 26 | 1,08% |
| effect | 17 | 0,71% |
| number | 17 | 0,71% |
| system | 15 | 0,62% |
| october | 13 | 0,54% |
| languages | 12 | 0,50% |
| proceedings | 12 | 0,50% |
| static | 11 | 0,46% |
| effects | 11 | 0,46% |
| conference | 10 | 0,41% |
| language | 9 | 0,37% |
| youtube | 9 | 0,37% |
| november | 8 | 0,33% |
| concurrent | 8 | 0,33% |
| workshop | 8 | 0,33% |
| software | 8 | 0,33% |
| capabilities | 8 | 0,33% |
| sequential | 8 | 0,33% |
Индексация Готовность: 60%
Индексирование
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 192 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 81 байт. Загружен за: 0сек.
Проверяемая страница не запрещена в robots.txt.
Robots.txt доступен по постоянному адресу
Показать содержимое robots.txt
User-agent: *
Disallow:
Allow: /
Sitemap: https://csgordon.github.io/sitemap.xml
Sitemap
Кол-во: 1
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt содержит карту сайта. Это прекрасно!
Robots.txt не содержит ошибок в карте сайта.
Показать карту сайта
| Url | Статус |
|---|---|
| https://csgordon.github.io/sitemap.xml |
|
Внутренние ссылки
Кол-во: 90
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 90 оптимально.
Внутренние ссылки не запрещены к индексации в robots.txt.
Показать внутренние ссылки
| Url | Анкор | Состояние |
|---|---|---|
| /courses |
Teaching
|
|
| /publications |
Publications
|
|
| /books |
Electronic References
|
|
| /funding |
Funding
|
|
| /service |
Service
|
|
| /publications/handbookphilcs/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Programming Languages as Tools for Reasoning
</h2>
<p class="text-sm text-slate-400">
Oxford Handbook of Philosophy in Computer Science, November 2026</p>
<p class="text-sm pb-1"> Programming languages are designed for a wide variety of stated
reasons, including examples such as simplifying concurrent
programming; being easy to read, write, or learn; being more
secure; supporting low-leve… </p>
|
|
| /publications/nsad26/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Effect Systems as Abstract Interpretations
</h2>
<p class="text-sm text-slate-400">
International Workshop on Numerical and Symbolic Abstract
Domains (NSAD), October 2026</p>
<p class="text-sm pb-1"> Many forms of static reasoning about program behaviours are
known in the literature, yet formal relationships are studied
surprisingly infrequently. While most type systems are well-known
to be captured by abstr… </p>
|
|
| /publications/onward26/ |
<p class="text-sm text-slate-400">Servetto, Marco, Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Normalization by Origin, Not by Shape
</h2>
<p class="text-sm text-slate-400">
Onward! Papers, October 2026</p>
<p class="text-sm pb-1"> Memoization is about avoiding recomputation, by caching results
and retrieving them when previously-seen inputs are provided
again in the future. In the literature, many different ways have
been proposed to effi… </p>
|
|
| /publications/editorial25b/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Squibs and Discussions at TOPLAS
</h2>
<p class="text-sm text-slate-400">
ACM Transactions on Programming Languages and Systems (TOPLAS), volume 47, number 18, December 2025, doi: 10.1145/3785413</p>
|
|
| /publications/asenier25/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Linguistic Theories Coincide with Misformalization in Temporal Logic
</h2>
<p class="text-sm text-slate-400">
Automated Software Engineering: New Ideas and Results Track
(ASE NIER), November 2025, doi: 10.1109/ASE63991.2025.00329</p>
<p class="text-sm pb-1"> One of the key challenges in using formal methods is producing
accurate formalizations of natural language requirements, as
providing incorrect formalizations may miss bugs or even codify
their existence. Yet de… </p>
|
|
| https:////publications/asenier25/asenier25.pdf |
pdf
|
|
| /publications/oopsla25/ |
<p class="text-sm text-slate-400">Kuru, Ismail, Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Modal Abstractions for Virtualizing Memory Addresses
</h2>
<p class="text-sm text-slate-400">
Proceedings of the ACM on Programming Languages, volume 9, number OOPSLA2, October 2025, doi: 10.1145/3763134</p>
<p class="text-sm pb-1"> Virtual memory management (VMM) code is a critical piece of
general-purpose OS kernels, but verification of this
functionality is challenging due to the complexity of the
hardware interface (the page ta… </p>
|
|
| https:////publications/oopsla25/oopsla25.pdf |
pdf
|
|
| /publications/plos25/ |
<p class="text-sm text-slate-400">Kuru, Ismail, Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Modal Verification Patterns for Systems Software
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 13th Workshop on Programming Languages and
Operating Systems (PLOS 2025), October 2025, doi: 10.1145/3764860.3768337</p>
<p class="text-sm pb-1"> Although they differ in the functionality they offer, low-level
systems exhibit certain patterns of design and utilization of
computing resources. In this paper we examine how modalities have
emerged as a common… </p>
|
|
| https:////publications/plos25/plos25.pdf |
pdf
|
|
| /publications/gulfest/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Actor Capabilities for Message Ordering
</h2>
<p class="text-sm text-slate-400">
Concurrent Programming, Open Systems and Formal Methods:
Essays Dedicated to Gul Agha to Celebrate his Scientific Career, October 2025, doi: 10.1007/978-3-032-05291-9_3</p>
<p class="text-sm pb-1"> Actor systems are a flexible model of concurrent and
distributed programming, which are efficiently implementable, and
avoid many classic concurrency bugs by construction. However they
must still deal with the c… </p>
|
|
| https:////publications/gulfest/gulfest.pdf |
pdf
|
|
| /publications/editorial25/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Changing of the Seasons at TOPLAS
</h2>
<p class="text-sm text-slate-400">
ACM Transactions on Programming Languages and Systems (TOPLAS), volume 47, number 1, September 2025, doi: 10.1145/3768632</p>
|
|
| /publications/onward24/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">The Linguistics of Programming
</h2>
<p class="text-sm text-slate-400">
Onward! Essays, October 2024, doi: 10.1145/3689492.3689806</p>
<p class="text-sm pb-1"> Research in programming languages and software engineering are
broadly concerned with the study of aspects of computer programs:
their syntactic structure, the relationship between form and
meaning (sem… </p>
|
|
| https:////publications/onward24/onward24.pdf |
pdf
|
|
| /publications/splashe24/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Mocking Temporal Logic
</h2>
<p class="text-sm text-slate-400">
SPLASH-E, October 2024, doi: 10.1145/3689493.3689980</p>
<p class="text-sm pb-1"> Temporal logics cover important classes of system
specifications dealing with system behavior over time. Despite
the prevalence of long-running systems that accept repeated input
and output, and thus the clear r… </p>
|
|
| https:////publications/splashe24/splashe24.pdf |
pdf
|
|
| /publications/onward23/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Matskevich, Sergey
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Trustworthy Formal Natural Language Specifications
</h2>
<p class="text-sm text-slate-400">
Onward! Papers, October 2023, doi: 10.1145/3622758.3622890</p>
<p class="text-sm pb-1"> Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However, this only validates truth of a formal claim, which may have been mis… </p>
|
|
| https:////publications/onward23/onward23.pdf |
pdf
|
|
| /publications/sas23/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Yun, Chaewon
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Error Localization for Sequential Effect Systems
</h2>
<p class="text-sm text-slate-400">
30th Annual Static Analysis Symposium (SAS), October 2023, doi: 10.1007/978-3-031-44245-2_16</p>
<p class="text-sm pb-1"> We describe a new concrete approach to giving predictable error locations for sequential (flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on either computing a bottom-up effect and comparing it to a declaration… </p>
|
|
| https:////publications/sas23/sas23.pdf |
pdf
|
|
| /publications/icsenier22/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Towards Property-Based Tests in Natural Language
</h2>
<p class="text-sm text-slate-400">
44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER), May 2022, doi: 10.1145/3510455.3512781</p>
<p class="text-sm pb-1"> We consider a new approach to generate tests from natural language. Rather than relying on machine learning or templated extraction from structured comments, we propose to apply classic ideas from linguistics to translate natural-language sentences i… </p>
|
|
| https:////publications/icsenier22/icsenier22.pdf |
pdf
|
|
| /publications/toplas21/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Polymorphic Iterable Sequential Effect Systems
</h2>
<p class="text-sm text-slate-400">
ACM Transactions on Programming Languages and Systems (TOPLAS), volume 43, number 1, April 2021, doi: 10.1145/3450272</p>
<p class="text-sm pb-1"> Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is… </p>
|
|
| https:////publications/toplas21/toplas21.pdf |
pdf
|
|
| /publications/ecoop20a/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Designing with Static Capabilities and Effects
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 34th European Conference on Object-Oriented Programming
(ECOOP'20), July 2020, doi: 10.4230/LIPIcs.ECOOP.2020.10</p>
<p class="text-sm pb-1"> Capabilities (whether object or reference capabilities) are fundamentally tools to restrict effects. Thus static capabilities (object or reference) and effect systems take different technical machinery to the same core problem of statically restricti… </p>
|
|
| https:////publications/ecoop20a/ecoop20a.pdf |
pdf
|
|
| /publications/ecoop20b/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Lifting Sequential Effects to Control Operators
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 34th European Conference on Object-Oriented Programming
(ECOOP'20), July 2020, doi: 10.4230/LIPIcs.ECOOP.2020.23</p>
<p class="text-sm pb-1"> Sequential effect systems are a class of effect system that exploits information about program order, rather than discarding it as traditional commutative effect systems do. This extra expressive power allows effect systems to reason about behavior … </p>
|
|
| https:////publications/ecoop20b/ecoop20b.pdf |
pdf
|
|
| /publications/agere19/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Modal Assertions for Actor Correctness
</h2>
<p class="text-sm text-slate-400">
ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and
Decentralized Control (AGERE 2019), October 2019, doi: 10.1145/3358499.3361221</p>
<p class="text-sm pb-1"> The actor model is a well-established way to approach to modularly designing and implementing concurrent and/or distributed systems, seeing increasing adoption in industry.
But deductive verification tailored to actor programs remains underexplored; … </p>
|
|
| https:////publications/agere19/agere19corrected.pdf |
pdf
|
|
| /publications/esop19/ |
<p class="text-sm text-slate-400">Kuru, Ismail, Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Safe Deferred Memory Reclamation with Types
</h2>
<p class="text-sm text-slate-400">
European Symposium on Programming (ESOP 2019), April 2019, doi: 10.1007/978-3-030-17184-1_4</p>
<p class="text-sm pb-1"> Memory management in lock-free data structures remains a major challenge in concurrent programming. Design techniques including read-copy-update (RCU) and hazard pointers provide workable solutions, and are widely used to great effect. These techniqu… </p>
|
|
| https:////publications/esop19/esop19.pdf |
pdf
|
|
| /publications/nl4se18/ |
<p class="text-sm text-slate-400">Matskevich, Sergey, Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Generating Comments from Source Code
</h2>
<p class="text-sm text-slate-400">
ACM Workshop on Natural Language for Software Engineering (NL4SE), November 2018, doi: 10.1145/3283812.3283822</p>
<p class="text-sm pb-1"> Good comments help developers understand software faster and provide better
maintenance. However, comments are often missing, generally inaccurate, or out
of date. Many of these problems can be avoided by automatic comment generation.
This paper pres… </p>
|
|
| https:////publications/nl4se18/nl4se18.pdf |
pdf
|
|
| /publications/obt18/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Synthesizing Program-Specific Static Analyses
</h2>
<p class="text-sm text-slate-400">
Off the Beaten Track Workshop (OBT'18), January 2018</p>
<p class="text-sm pb-1"> Designing a static analysis is generally a substantial undertaking, requiring significant expertise in both program analysis and the domain of interest, and significant development resources. As a result, most program analyses target properties that … </p>
|
|
| https:////publications/obt18/obt18.pdf |
pdf
|
|
| /publications/toplas17/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Ernst, Michael D., Grossman, Dan, Parkinson, Matthew J.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Verifying Invariants of Lock-free Data Structures with Rely-Guarantee and Refinement Types
</h2>
<p class="text-sm text-slate-400">
ACM Transactions on Programming Languages and Systems (TOPLAS), volume 39, number 3, July 2017, doi: 10.1145/3064850</p>
<p class="text-sm pb-1"> We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recursive objects, and is expressive e… </p>
|
|
| https:////publications/toplas17/toplas17.pdf |
pdf
|
|
| /publications/ecoop17/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">A Generic Approach to Flow-Sensitive Polymorphic Effects
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 31st European Conference on Object-Oriented Programming
(ECOOP'17), June 2017, doi: 10.4230/LIPIcs.ECOOP.2017.13</p>
<p class="text-sm pb-1"> Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is… </p>
|
|
| https:////publications/ecoop17/ecoop17.pdf |
pdf
|
|
| /publications/oopsla16/ |
<p class="text-sm text-slate-400">Chandra, Satish, Gordon, Colin S., Jeannin, Jean-Baptiste
, Schlesinger, Cole, Sridharan, Manu, Tip, Frank, Choi,
Young-Il
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Type Inference for Static Compilation of JavaScript
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 2016 ACM Conference on Object-Oriented
Programming, Systems, Languages, and Applications (OOPSLA 2016), November 2016, doi: 10.1145/2983990.2984017</p>
<p class="text-sm pb-1"> We present a type system and inference algorithm for a rich
subset of JavaScript equipped with objects, structural subtyping,
prototype inheritance, and first-class methods. The type system
supports abstract and… </p>
|
|
| https:////publications/oopsla16/oopsla16.pdf |
pdf
|
|
| /publications/ecoop16/ |
<p class="text-sm text-slate-400">Andreasen, Esben, Gordon, Colin S., Chandra, Satish,
Sridharan, Manu, Tip, Frank, Sen, Koushik
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Trace Typing: An Approach for Evaluating Retrofitted Type Systems
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 30th European Conference on Object-Oriented
Programming (ECOOP'16), July 2016, doi: 10.4230/LIPIcs.ECOOP.2016.1</p>
<p class="text-sm pb-1"> Recent years have seen growing interest in the retrofitting of
type systems onto dynamically-typed programming languages, in
order to improve type safety, programmer productivity, or
performance. In suc… </p>
|
|
| https:////publications/ecoop16/ecoop16.pdf |
pdf
|
|
| /publications/ecoop13/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Dietl, Werner, Ernst, Michael D., Grossman, Dan
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">JavaUI: Effects for Controlling UI Object Access
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 27th European Conference on Object-Oriented Programming
(ECOOP'13), July 2013, doi: 10.1007/978-3-642-39038-8_8</p>
<p class="text-sm pb-1"> Most graphical user interface (GUI) libraries forbid accessing UI elements from threads other than the UI event loop thread. Violating this requirement leads to a program crash or an inconsistent UI. Unfortunately, such errors are all too common in G… </p>
|
|
| https:////publications/ecoop13/ecoop13.pdf |
pdf
|
|
| /publications/pldi13/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Ernst, Michael D., Grossman, Dan
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Rely-Guarantee References for Refinement Types Over Aliased Mutable Data
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and
Implementation (PLDI'13), June 2013, doi: 10.1145/2491956.2462160</p>
<p class="text-sm pb-1"> Reasoning about side effects and aliasing is the heart of verifying imperative programs. Unrestricted side effects through one reference can invalidate assumptions about an alias. We present a new type system approach to reasoning about safe assumpti… </p>
|
|
| https:////publications/pldi13/pldi13.pdf |
pdf
|
|
| /publications/oopsla12/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Parkinson, Matthew J., Parsons, Jared, Bromfield, Aleks, Duffy, Joe
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Uniqueness and Reference Immutability for Safe Parallelism
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 2012 ACM International Conference on Object Oriented Programming,
Systems, Languages, and Applications (OOPSLA'12), October 2012, doi: 10.1145/2384616.2384619</p>
<p class="text-sm pb-1"> A key challenge for concurrent programming is that side-effects (memory operations) in one thread can affect the behavior of another thread. In this paper, we present a type system to restrict the updates to memory to prevent these unintended side-ef… </p>
|
|
| https:////publications/oopsla12/oopsla12.pdf |
pdf
|
|
| /publications/obt12/ |
<p class="text-sm text-slate-400">Colin S. Gordon
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Formal Semantics for Testing
</h2>
<p class="text-sm text-slate-400">
Off the Beaten Track Workshop (OBT'12), January 2012</p>
<p class="text-sm pb-1"> Software testing constitutes a substantial portion of the real world work of developing software. There has been much research aimed at partially-automating testing (random test generation, etc.). However, relatively little of it pays attention to pr… </p>
|
|
| https:////publications/obt12/obt12.pdf |
pdf
|
|
| /publications/tldi12/ |
<p class="text-sm text-slate-400">Colin S. Gordon, Michael D. Ernst, Dan Grossman
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Static Lock Capabilities for Deadlock Freedom
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'12), January 2012, doi: 10.1145/2103786.2103796</p>
<p class="text-sm pb-1"> We present a technique - lock capabilities - for statically verifying that multithreaded programs with locks will not deadlock. Most previous work is built around a strict total order on all locks held simultaneously by a thread, but such an invarian… </p>
|
|
| https:////publications/tldi12/tldi12.pdf |
pdf
|
|
| /publications/asm07/ |
<p class="text-sm text-slate-400">Colin Gordon, Leo Meyerovich, Joel Weinberger, Shriram
Krishnamurthi
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Composition with Consistent Updates for Abstract State Machines
</h2>
<p class="text-sm text-slate-400">
Proceedings of the 14th International Workshop on Abstract State
Machines (ASM'07), June 2007</p>
<p class="text-sm pb-1"> Abstract State Machines (ASMs) offer a formalism for describing state transitions over relational structures. This makes them promising for modeling system features such as access control, especially in an environment where the policy's outcome depen… </p>
|
|
| https:////publications/asm07/asm07.pdf |
pdf
|
|
| /publications/dissertation/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Verifying Concurrent Programs by Controlling Alias Interference
</h2>
<p class="text-sm text-slate-400">
August 2014</p>
<p class="text-sm pb-1"> This dissertation proposes a family of techniques for static verification of sequential and concurrent imperative programs by leveraging fine-grained characterizations of mutation. The key idea is that by attaching to each reference in a program (1) … </p>
|
|
| https:////publications/dissertation/dissertation.pdf |
pdf
|
|
| /publications/ugradthesis/ |
<p class="text-sm text-slate-400">Colin Stebbins Gordon
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Type-Safe Stack Traversal for Garbage Collector Implementation
</h2>
<p class="text-sm text-slate-400">
June 2008</p>
<p class="text-sm pb-1"> Garbage collectors are an important part of many modern language runtimes. Essentially all tools for developing and debugging programs using garbage collection assume the correctness of the collector, and therefore provide no means for detecting garb… </p>
|
|
| https:////publications/ugradthesis/ugradthesis.pdf |
pdf
|
|
| /publications/preprocessingtr/ |
<p class="text-sm text-slate-400">Matskevich, Sergey, Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Preprocessing Source Code Comments for Linguistic Models
</h2>
<p class="text-sm text-slate-400">
number arXiv cs.SE 2208.11235v2, August 2022, doi: 10.48550/arXiv.2208.11235</p>
|
|
| /publications/nlspectr/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Matskevich, Sergey
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Natural Language Specifications in Proof Assistants
</h2>
<p class="text-sm text-slate-400">
number arXiv cs.PL 2205.07811, May 2022, doi: 10.48550/arXiv.2205.07811</p>
|
|
| /publications/controltr/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Sequential Effect Systems with Control Operators
</h2>
<p class="text-sm text-slate-400">
number arXiv cs.PL 1811.12285, November 2018</p>
|
|
| https:////publications/controltr/controltr.pdf |
pdf
|
|
| /publications/rcupapertr/ |
<p class="text-sm text-slate-400">Kuru, Ismail, Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Safe Deferred Memory Reclamation with Types
</h2>
<p class="text-sm text-slate-400">
number arXiv cs.PL 1811.11853, November 2018</p>
|
|
| https:////publications/rcupapertr/rcupapertr.pdf |
pdf
|
|
| /publications/arxivquantales/ |
<p class="text-sm text-slate-400">Gordon, Colin S.
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)
</h2>
<p class="text-sm text-slate-400">
number arXiv cs.PL 1705.02264, May 2017</p>
|
|
| /publications/arxivjsinference/ |
<p class="text-sm text-slate-400">Chandra, Satish, Gordon, Colin S., Jeannin, Jean-Baptiste, Schlesinger, Cole
, Sridharan, Manu, Tip, Frank, Choi, Young-Il
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Type Inference for Static Compilation of JavaScript (Extended Version)
</h2>
<p class="text-sm text-slate-400">
number arXiv cs.PL 1608.07261, August 2016</p>
|
|
| /publications/sra-csic-2016-001/ |
<p class="text-sm text-slate-400">Andreasen, Esben, Gordon, Colin S., Chandra, Satish, Sridharan, Manu, Tip,
Frank, Sen, Koushik
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Trace Typing An Approach for Evaluating Retrofitted Type Systems (Extended Version)
</h2>
<p class="text-sm text-slate-400">
number SRA-CSIC-2016-001, May 2016</p>
|
|
| https:////publications/sra-csic-2016-001/sra-csic-2016-001.pdf |
pdf
|
|
| /publications/uw-cse-13-04-01/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Dietl, Werner, Ernst, Michael D., Grossman, Dan
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">JavaUI: Effects for Controlling UI Object Access (Extended Version)
</h2>
<p class="text-sm text-slate-400">
number UW-CSE-13-04-01, April 2013</p>
|
|
| https:////publications/uw-cse-13-04-01/uw-cse-13-04-01.pdf |
pdf
|
|
| /publications/uw-cse-13-03-02/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Ernst, Michael D., Grossman, Dan
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version)
</h2>
<p class="text-sm text-slate-400">
number UW-CSE-13-03-02, March 2013</p>
|
|
| https:////publications/uw-cse-13-03-02/uw-cse-13-03-02.pdf |
pdf
|
|
| /publications/msr-tr-2012-79/ |
<p class="text-sm text-slate-400">Gordon, Colin S., Parkinson, Matthew J., Parsons, Jared, Bromfield, Aleks, Duffy, Joe
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Uniqueness and Reference Immutability for Safe Parallelism (Extended Version)
</h2>
<p class="text-sm text-slate-400">
number MSR-TR-2012-79, October 2012</p>
|
|
| https:////publications/msr-tr-2012-79/msr-tr-2012-79.pdf |
pdf
|
|
| /publications/uw-cse-11-10-01/ |
<p class="text-sm text-slate-400">Colin S. Gordon, Michael D. Ernst, Dan Grossman
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Static Lock Capabilities for Deadlock Freedom
</h2>
<p class="text-sm text-slate-400">
number UW-CSE-11-10-01, October 2011</p>
|
|
| https:////publications/uw-cse-11-10-01/uw-cse-11-10-01.pdf |
pdf
|
|
| /publications/cs06-12/ |
<p class="text-sm text-slate-400">Leo A. Meyerovich, Joel H. W. Weinberger,
Colin S. Gordon, Shriram Krishnamurthi
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">ASM Relational Transducer Security Policies
</h2>
<p class="text-sm text-slate-400">
number CS-06-12, November 2006</p>
<p class="text-sm pb-1"> We present a model of the security policy for the Web-based Continue conference management tool. The policy model and properties are written as ASM Relational Transducers, which we extend with a module system in order to simplify the handling of conf… </p>
|
|
| https:////publications/cs06-12/cs06-12.pdf |
pdf
|
|
| /publications/oscontracts16/ |
<p class="text-sm text-slate-400">John J. Duffy, Jared Porter Parsons, Colin Stebbins Gordon, Alexander Daniel
Bromfield, Martin Taillefer, David Allen Bartolomeo, Michael Barnett
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Operating System Support for Contracts
</h2>
<p class="text-sm text-slate-400">
March 2016</p>
|
|
| /publications/merging10/ |
<p class="text-sm text-slate-400">Colin Stebbins Gordon, Pratap Vikram
Singh, Donald Alvin Trimmer
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Merging Containers in a Multi-Container System
</h2>
<p class="text-sm text-slate-400">
February 2013</p>
|
|
| /publications/merging06/ |
<p class="text-sm text-slate-400">Colin Stebbins Gordon, Pratap Vikram
Singh, Donald Alvin Trimmer
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Merging Containers in a Multi-Container System
</h2>
<p class="text-sm text-slate-400">
November 2010</p>
|
|
| /publications/data06/ |
<p class="text-sm text-slate-400">Colin Stebbins Gordon, Pratap Vikram
Singh, Donald Alvin Trimmer
</p>
<h2 class="text-xl font-bold text-blue-600 hover:text-blue-800 visited:text-purple-600">Data Containterization for Reducing Unused Space in a File System
</h2>
<p class="text-sm text-slate-400">
June 2010</p>
|
|
Внешние ссылки
Кол-во: 46
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 46 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать внешние ссылки
| Url | Анкор |
|---|---|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| doi.org |
doi
|
| arxiv.org |
arXiv
|
| arxiv.org |
arXiv
|
| arxiv.org |
arXiv
|
| arxiv.org |
arXiv
|
| github.com |
Kodama
|
| getzola.org |
zola
|
| wowchemy.com |
wowchemy
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://csgordon.github.io/publications готова к продвижению на 63%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки оптимизации.
Исправьте ошибки индексации.
Поделитесь с друзьями: