Main

related bits

0

processing priority

4

site type

0 (generic, awaiting analysis)

review version

11

html import

20 (imported)

Events

first seen date

2024-03-16 04:51:32

expired found date

-

created at

2024-06-01 08:35:19

updated at

2025-01-15 18:10:46

Domain name statistics

length

16

crc

4641

tld

2211

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

67884257

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

6475

mp size raw text

1328

mp inner links count

0

mp inner links status

1 (no links)

Open Graph

title

Alex Reinking

description

Personal website and blog of Alex Reinking.

site name

author

updated

2025-12-13 21:47:49

raw text

Alex Reinking - About Me Alex Reinking Alex Reinking About Me Blog Papers About Me I'm a programming languages researcher and software engineer, currently at Qualcomm AI Research . I got my Ph.D. in 2022 from UC Berkeley, advised by Jonathan Ragan-Kelley . I focused on building and formally analyzing user-schedulable languages for high-performance computing. I am also a maintainer of the Halide language, responsible for the build system, packaging, testing, and release process. Some of my recent projects include: A new user-schedulable language called Exo (PLDI 2022). Perceus reference counting in the Koka programming language. (PLDI 2021, distinguished paper) Formal semantics for the Halide programming language . This was my Master's thesis. A new compiler for the P programming language . In the past, I worked on the Intune team at Microsoft, the Facebook AI and Research team, and Microsoft Research. My undergraduate thesis was on software synth...

Text analysis

redirect type

0 (-)

block type

0 (no issues)

detected language

1 (English)

category id

Muzyka (82)

index version

2025110801

spam phrases

0

Text statistics

text nonlatin

0

text cyrillic

0

text characters

1041

text words

193

text unique words

120

text lines

33

text sentences

13

text paragraphs

3

text words per sentence

14

text matched phrases

1

text matched dictionaries

2

RSS

rss path

rss status

3 (priority 3 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

-

sitemap first import date

-

sitemap last import date

-