robd.io valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot / ✔
BingBot / ✔
BaiduSpider / ✔
YandexBot / ✔ 

                

                
Meta Tags

                

                    

                        Title
                        Rob                        
                    

                    

                        Description
                                                        Rob Dickerson is a PhD student studying programming languages, program verification, and synthesis at Purdue University. He is advised by Ben                                                    
                    

                    

                        Keywords
                                                        N/A
                                                    
                    

                

                
Server Information

                

                    

                        WebSite
                        robd faviconrobd.io                            
                        
                    

                    

                        Host IP
                        185.199.110.153                        
                    

                    

                        Location
                        -                        
                    

                

                
Related Websites

                

                    

                        Site
                        Rank
                    

                

                
More to Explore

                


                     
                

            

            

                
robd.io Valuation

                

                    

                        
                            

                                
US$1,176,084                                

                                

                                
                                

                                    Last updated: 2023-05-19 18:24:58                                    
                                

                            

                            
robd.io has Semrush global rank of 8,999,622. robd.io has an estimated worth of US$ 1,176,084, based on its estimated Ads revenue. robd.io receives approximately 135,702 unique visitors each day. Its web server is located in -, with IP address 185.199.110.153. According to SiteAdvisor, robd.io is safe to visit.
                            

                        		
                    

                

                
Traffic & Worth Estimates

                

                    

                        Purchase/Sale Value
                        US$1,176,084                            
                    

                    

                        Daily Ads Revenue
                        US$1,086                            
                    

                    

                        Monthly Ads Revenue
                        US$32,569                            
                    

                    

                        Yearly Ads Revenue
                        US$390,822                            
                    

                    

                        Daily Unique Visitors
                        9,047
                        
                    

                    

                        
                            Note: All traffic and earnings values are estimates.
                        
                    

                

                

                    
                

                                    
                
                
DNS Records

                

                    

                        Host
                        Type
                        TTL
                        Data
                    

                                        

                        robd.io.                        
                        A
                        
                        1798                        
                        IP: 185.199.110.153                        
                    

                                        

                        robd.io.                        
                        A
                        
                        1798                        
                        IP: 185.199.108.153                        
                    

                                        

                        robd.io.                        
                        A
                        
                        1798                        
                        IP: 185.199.109.153                        
                    

                                        

                        robd.io.                        
                        A
                        
                        1798                        
                        IP: 185.199.111.153                        
                    

                                                                                

                        robd.io.                        
                        NS
                        
                        1800                        
                        NS Record: dns1.registrar-servers.com.                        
                    

                                        

                        robd.io.                        
                        NS
                        
                        1800                        
                        NS Record: dns2.registrar-servers.com.                        
                    

                                                            

                        robd.io.                        
                        MX
                        
                        1799                        
                        MX Record: 20 mailsec.protonmail.ch.                        
                    

                                        

                        robd.io.                        
                        MX
                        
                        1799                        
                        MX Record: 10 mail.protonmail.ch.                        
                    

                                                            

                        robd.io.                        
                        TXT
                        
                        1799                        
                        TXT Record: protonmail-verification=3e805ddb594010f61d6326f4a1f2e964455eced5                        
                    

                                        

                        robd.io.                        
                        TXT
                        
                        1799                        
                        TXT Record: v=spf1 include:_spf.protonmail.ch mx ~all                        
                    

                    
                

                
                                
HtmlToTextCheckTime:2023-05-19 18:24:58

                

                    

                        
                            rob dickerson Blog --> News --> Ph.D. student studying programming languages at Purdue University. Advised by Ben Delaware . Formerly Square and elsewhere. rob@robd.io Github Mastodon LinkedIn RHLE: Modular Deductive Verification of Relational ∀∃ Properties A program logic for proving relational properties with liveness components I developed with Qianchuan Ye, Michael Zhang, and Ben Delaware appeared at APLAS 2022 . Data-Driven Abductive Inference of Library Specifications Work with Zhe Zhou , Ben Delaware , and Suresh Jagannathan on inferring library specifications by black-box sampling of client behavior appeared at OOPSLA 2021 . The accompanying artifact, Elrond, won a distinguished artifact award . PurPL Seminar: Relational Reasoning with Specifications I presented some ongoing work on relational verification with specified functions at Purdue’s weekly PurPL seminar. The talk is available on the PurPL website . Smoother Signatures in Square’s Android Client A writeup I did                            
                        
                    

                

                
                
                                
HTTP Headers

                

                    

                        
                            
HTTP/1.1 301 Moved Permanently
Connection: keep-alive
Content-Length: 162
Server: GitHub.com
Content-Type: text/html
Location: https://robd.io/
X-GitHub-Request-Id: B9CC:1889:717479:751EBF:636A1390
Accept-Ranges: bytes
Date: Tue, 08 Nov 2022 08:30:09 GMT
Via: 1.1 varnish
Age: 0
X-Served-By: cache-hel1410032-HEL
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1667896209.898950,VS0,VE120
Vary: Accept-Encoding
X-Fastly-Request-ID: b5f84c287860a353ad7a78f0f4d374f1fa08d175

HTTP/2 200 
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 04 Nov 2022 15:18:13 GMT
access-control-allow-origin: *
etag: "63652d35-1907"
expires: Tue, 08 Nov 2022 08:40:09 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 8970:11D2E:73EF33:7792E6:636A1391
accept-ranges: bytes
date: Tue, 08 Nov 2022 08:30:09 GMT
via: 1.1 varnish
age: 0
x-served-by: cache-hel1410032-HEL
x-cache: MISS
x-cache-hits: 0
x-timer: S1667896209.048953,VS0,VE127
vary: Accept-Encoding
x-fastly-request-id: 39ad079493831bac476ad37dec2724550db32977
content-length: 6407

                        		
                    

                

                
                                
robd.io Whois Information

                

                    

                        
                            
Domain Name: robd.io
Registry Domain ID: 11c02bf84896470e966df5962e6739b5-DONUTS
Registrar WHOIS Server: whois.namecheap.com
Registrar URL: https://www.namecheap.com/
Updated Date: 2022-10-17T07:49:24Z
Creation Date: 2013-11-11T00:19:26Z
Registry Expiry Date: 2023-11-11T00:19:26Z
Registrar: NameCheap, Inc.
Registrar IANA ID: 1068
Registrar Abuse Contact Email: abuse@namecheap.com
Registrar Abuse Contact Phone: +1.9854014545
Domain Status: ok https://icann.org/epp#ok
Registrant State/Province: Capital Region
Registrant Country: IS
Name Server: dns1.registrar-servers.com
Name Server: dns2.registrar-servers.com
DNSSEC: unsigned
>>> Last update of WHOIS database: 2022-11-08T08:26:37Z <<<

                        		
                    

                

                            

        

        

        

            
        

    

    

        
Copyright © 2022 WebZZ.US 0.0165