Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Assistant to the Proof |
Description | Assistant to the Proof Assistant Home Research Archive About Latest Posts An Introduction to Formal Methods 14 Mar 2022 research presentation Compiling Vo |
Keywords | N/A |
WebSite | johnbender.us |
Host IP | 104.21.5.153 |
Location | United States |
Site | Rank |
US$290,056
Last updated: 2023-05-13 13:57:49
johnbender.us has Semrush global rank of 36,490,551. johnbender.us has an estimated worth of US$ 290,056, based on its estimated Ads revenue. johnbender.us receives approximately 33,468 unique visitors each day. Its web server is located in United States, with IP address 104.21.5.153. According to SiteAdvisor, johnbender.us is safe to visit. |
Purchase/Sale Value | US$290,056 |
Daily Ads Revenue | US$268 |
Monthly Ads Revenue | US$8,033 |
Yearly Ads Revenue | US$96,388 |
Daily Unique Visitors | 2,232 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
johnbender.us. | A | 299 | IP: 104.21.5.153 |
johnbender.us. | A | 299 | IP: 172.67.133.133 |
johnbender.us. | AAAA | 299 | IPV6: 2606:4700:3036::ac43:8585 |
johnbender.us. | AAAA | 299 | IPV6: 2606:4700:3031::6815:599 |
johnbender.us. | NS | 86400 | NS Record: cleo.ns.cloudflare.com. |
johnbender.us. | NS | 86400 | NS Record: dara.ns.cloudflare.com. |
Assistant to the Proof Assistant Home Research Archive About Latest Posts An Introduction to Formal Methods 14 Mar 2022 research presentation Compiling Volatile Correctly in Java 25 Feb 2022 research ECOOP Formalizing Java’s Access Modes 12 Nov 2019 presentation OOPSLA NP-complete: how hard is that climb? 22 Jun 2014 complexity More posts can be found in the archive . An Introduction to Formal Methods This is a somewhat narrow introduction to formal methods I presented at UCLA in March of 2022 with the goal of describing some of my research at Sandia. Compiling Volatile Correctly in Java Shuyang Liu John Bender Jens Palsberg The compilation scheme for Volatile accesses in the OpenJDK 9 HotSpot Java Virtual Machine has a major problem that persists despite a recent bug report and a long discussion. One of the suggested fixes is to let Java compile Volatile accesses in the same way as C/C++11. However, we show that this approach is invalid for Java. Indeed, we show a set of |
HTTP/1.1 200 OK Date: Tue, 21 Dec 2021 12:47:53 GMT Content-Type: text/html; charset=utf-8 Connection: keep-alive last-modified: Wed, 13 Nov 2019 14:56:47 GMT vary: Accept-Encoding access-control-allow-origin: * expires: Tue, 21 Dec 2021 12:57:53 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: E172:58BF:26C504:3C1AB0:61C1CCF9 CF-Cache-Status: DYNAMIC Report-To: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=H9g5kQYwvPfI4ONQt6pWMw6uT3azJQrcGilzTrVEhACHZk5ljM2uBUcTEfdTAO4BIAFcl348EEzlfpDNwVQ3s8s6rCzzhZNZ9kbavs%2BxcjAPVsyStddPGTBJzve1IppR"}],"group":"cf-nel","max_age":604800} NEL: {"success_fraction":0,"report_to":"cf-nel","max_age":604800} Server: cloudflare CF-RAY: 6c1138b968ba1809-EWR alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400 |
Domain Name: johnbender.us Registry Domain ID: D30499635-US Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2021-12-21T14:29:13Z Creation Date: 2010-10-22T05:51:08Z Registry Expiry Date: 2022-10-21T23:59:59Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: ok https://icann.org/epp#ok Registry Registrant ID: C84638C3B2BA445FBB8D48911860711F4-GDREG Registrant Name: John Bender Registrant Organization: nickel, inc Registrant Street: Melvil St Registrant City: Culver City Registrant State/Province: CA Registrant Postal Code: 90232 Registrant Country: US Registrant Phone: +1.9175443095 Registrant Email: john.m.bender@gmail.com Registrant Application Purpose: P3 Registrant Nexus Category: C11 Registry Admin ID: C67CB9B6AE6204A5989A2C45A3F52A5DE-GDREG Admin Name: John Bender Admin Organization: nickel, inc Admin Street: Melvil St Admin City: Culver City Admin State/Province: CA Admin Postal Code: 90232 Admin Country: US Admin Phone: +1.9175443095 Admin Email: john.m.bender@gmail.com Admin Application Purpose: P3 Admin Nexus Category: C11 Registry Tech ID: C7B623D43181046F5B0E1008AC55D8763-GDREG Tech Name: John Bender Tech Organization: nickel, inc Tech Street: Melvil St Tech City: Culver City Tech State/Province: CA Tech Postal Code: 90232 Tech Country: US Tech Phone: +1.9175443095 Tech Email: john.m.bender@gmail.com Tech Application Purpose: P3 Tech Nexus Category: C11 Name Server: dara.ns.cloudflare.com Name Server: cleo.ns.cloudflare.com DNSSEC: unsigned >>> Last update of WHOIS database: 2022-01-12T22:12:53Z <<< |