Main

related bits

0

processing priority

3

site type

0 (generic, awaiting analysis)

review version

11

html import

20 (imported)

Events

first seen date

2023-12-06 10:08:51

expired found date

-

created at

2024-06-08 04:18:41

updated at

2024-07-02 12:51:53

Domain name statistics

length

12

crc

24246

tld

724

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

-

previous id

0

replaced with id

0

related id

-

dns primary id

168829982

dns alternative id

0

lifecycle status

0 (unclassified, or currently active)

Subdomains and pages

deleted subdomains

0

page imported products

0

page imported random

0

page imported parking

0

Error counters

count skipped due to recent timeouts on the same server IP

0

count content received but rejected due to 11-799

0

count dns errors

0

count cert errors

0

count timeouts

0

count http 429

0

count http 404

0

count http 403

0

count http 5xx

0

next operation date

-

Server

server bits

server ip

-

Mainpage statistics

mp import status

20

mp rejected date

-

mp saved date

-

mp size orig

4554

mp size raw text

2273

mp inner links count

0

mp inner links status

1 (no links)

Open Graph

title

description

image

site name

author

updated

2025-12-20 04:44:51

raw text

ryandoeng.es Ryan Doenges I am a Distinguished Postdoctoral Fellow at Northeastern working with Amal Ahmed . Before this I was a PhD student with Nate Foster . I am interested in compiler verification and programming languages. My last name sounds like “DEN-jis” when I say it out loud. My full name anagrams to “try heron agendas”. You can contact me in these places: WVH 308 r.doenges@northeastern.edu me@ryandoeng.es Papers Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer and Andrew W. Appel. Foundational Verification of Stateful P4 Packet Processing. In ITP 2023. [ doi ] Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, and Nate Foster. P4Cub: A Little Language for Big Routers. In CPP 2023. [ doi ] Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett. Leapfrog: Certified Equivalence for Pro...

Text analysis

redirect type

0 (-)

block type

0 (no issues)

detected language

1 (English)

category id

Edukacja (47)

index version

2025110801

spam phrases

0

Text statistics

text nonlatin

1

text cyrillic

0

text characters

1592

text words

310

text unique words

207

text lines

64

text sentences

30

text paragraphs

2

text words per sentence

10

text matched phrases

1

text matched dictionaries

1

RSS

rss path

rss status

1 (priority 1 already searched, no matches found)

rss found date

-

rss size orig

0

rss items

0

rss spam phrases

0

rss detected language

0 (awaiting analysis)

inbefore feed id

-

inbefore status

0 (new)

Sitemap

sitemap path

sitemap status

1 (priority 1 already searched, no matches found)

sitemap review version

1

sitemap urls count

0

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

-

sitemap process date

2024-07-01 08:42:02

sitemap first import date

-

sitemap last import date

-