id
related bits
0
processing priority
3
site type
5 (wiki-type site, growing by topic rather than chronologically)
review version
11
html import
20 (imported)
first seen date
2024-01-31 11:49:30
expired found date
-
created at
2024-06-09 14:39:33
updated at
2026-01-02 17:12:36
length
26
crc
26266
tld
86
nm parts
0
nm random digits
0
nm rare letters
0
is subdomain of id
87719371 (github.io)
previous id
0
replaced with id
0
related id
-
dns primary id
0
dns alternative id
0
lifecycle status
0 (unclassified, or currently active)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
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 bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
47046
mp size raw text
3658
mp inner links count
18
mp inner links status
20 (imported)
title
description
image
site name
author
updated
2025-12-21 17:36:45
raw text
Patrice Godefroid's Home Page Patrice Godefroid Contact: firstnamelastname AT hotmail.com Warning: I will NOT reply to unsolicited requests, including journal review requests. Welcome to my web-page! I am a Distinguished Engineer at Lacework . My area of expertise includes program analysis, testing, verification, security, and software engineering. Before joining Lacework in 2022, I was a Partner Researcher at Microsoft Research from 2006 to 2021, and before that, I was a Distinguished Member of the Technical Staff at AT&T/Lucent Bell Laboratories from 1994 to 2006. Here is a very brief bio , a less brief bio , and a recent CV . This recent research overview summarizes most of my work during the last 30+ years. My h-index is growing faster than my age (but for how long?). I am probably best known for my early work on partial-order reduction for model checking concurrent systems (my PhD thesis is published as LNCS volume 1032 by Springer), for my w...
redirect type
0 (-)
block type
0 (no issues)
detected language
1 (English)
category id
index version
2025110801
spam phrases
0
text nonlatin
0
text cyrillic
0
text characters
2900
text words
558
text unique words
263
text lines
99
text sentences
26
text paragraphs
6
text words per sentence
21
text matched phrases
1
text matched dictionaries
3
links self subdomains
0
links other subdomains
46 - channel9.msdn.com, memento.epfl.ch, tube.switch.ch, movep.labri.fr, win.tue.nl, conf.researchr.org, pldi20.sigplan.org, spin2018.uma.es, vstte18.it.uu.se, rv2017.cs.manchester.ac.uk, rv2016.imag.fr, research.ibm.com, rv2013.gforge.inria.fr, icalp2013.lu.lv, fm2012.cnam.fr, lifc.univ-fcomte.fr, www2.ee.ntu.edu.tw, atva10.comp.nus.edu.sg, st.cs.uni-saarland.de, mochart.informatik.uni-freiburg.de, react.cs.uni-sb.de, software.imdea.org, haifa.il.ibm.com, cs.york.ac.uk, dsi.unifi.it, di.univaq.it, www2.informatik.hu-berlin.de, mathematik.uni-ulm.de, fmics07.lcc.uma.es, ls5-www.cs.uni-dortmund.de, informatik.hu-berlin.de, cm.bell-labs.com, cav2005.inf.ed.ac.uk, www-verimag.imag.fr, montefiore.ulg.ac.be, cacm.acm.org, link.springer.com, queue.acm.org, haifa.ibm.com
links other domains
13 - lacework.com, i-cav.org, etaps.org, atva-conferences.org, issta2014.org, utwente.nl, rv2010.org, cav2007.org, springer.com, internetsociety.org
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
12
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
0
links ext leaks
0
links ext ugc
9 - youtu.be, youtube.com
links ext klim
0
links ext generic
18
dol status
0
dol updated
2025-12-21 17:36:45
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 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 15:35:23
sitemap first import date
-
sitemap last import date
-