Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | About | Sankha Narayan |
Description | Hi! I’m Sankha. I am a Ph.D. student in Computer Science at the University of Maryland, advised by Prof. Jeff Foster and Prof. David Van Horn. I work with the folks at the PLUM group. I am interested in tools that help programmers build correct and |
Keywords | N/A |
WebSite | sankhs.com |
Host IP | 104.21.75.146 |
Location | United States |
Site | Rank |
US$2,546,932
Last updated: 2023-05-11 08:32:39
sankhs.com has Semrush global rank of 4,155,707. sankhs.com has an estimated worth of US$ 2,546,932, based on its estimated Ads revenue. sankhs.com receives approximately 293,877 unique visitors each day. Its web server is located in United States, with IP address 104.21.75.146. According to SiteAdvisor, sankhs.com is safe to visit. |
Purchase/Sale Value | US$2,546,932 |
Daily Ads Revenue | US$2,352 |
Monthly Ads Revenue | US$70,531 |
Yearly Ads Revenue | US$846,366 |
Daily Unique Visitors | 19,592 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
sankhs.com. | A | 300 | IP: 104.21.75.146 |
sankhs.com. | A | 300 | IP: 172.67.177.224 |
sankhs.com. | AAAA | 300 | IPV6: 2606:4700:3031::6815:4b92 |
sankhs.com. | AAAA | 300 | IPV6: 2606:4700:3037::ac43:b1e0 |
sankhs.com. | NS | 86400 | NS Record: rick.ns.cloudflare.com. |
sankhs.com. | NS | 86400 | NS Record: betty.ns.cloudflare.com. |
sankhs.com. | MX | 300 | MX Record: 10 mx1.forwardemail.net. |
sankhs.com. | MX | 300 | MX Record: 20 mx2.forwardemail.net. |
sankhs.com. | TXT | 300 | TXT Record: v=spf1 a mx include:spf.forwardemail.net ~all |
sankhs.com. | TXT | 300 | TXT Record: forward-email=sankha93@gmail.com |
Sankha Narayan Guria about posts Hi! I’m Sankha. I am a Ph.D. student in Computer Science at the University of Maryland , advised by Prof. Jeff Foster and Prof. David Van Horn . I work with the folks at the PLUM group. I am interested in tools that help programmers build correct and efficient software. My research specifically focuses on program synthesis to facilitate automatic construction of functionally correct software from specifications like tests and types. For instance, my tool RbSyn demonstrates the approach by automatically synthesizing methods for Ruby on Rails apps. Previously, I used to work at BrowserStack where I helped build large scale testing infrastructure for apps and websites. I also used to contribute to SpiderMonkey - Mozilla Firefox’s JavaScript engine. I am on the job market this year. Here is my CV and research statement . Please reach out to me if you think I will be a good fit. News Absynthe: Abstract Interpretation-Guided Synthesis to appear at PLDI 2023 |
HTTP/1.1 301 Moved Permanently Date: Thu, 04 Nov 2021 10:02:15 GMT Connection: keep-alive Cache-Control: max-age=3600 Expires: Thu, 04 Nov 2021 11:02:15 GMT Location: https://sankhs.com/ Report-To: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=oqjui2dWU2Dyu5G%2FaRcnp6JNg5NJznbnWDl6EbApF3%2BAU8jS2CHR4ycY5GnYDmNh5OaqS5lr7RpEcKgX6MnOZ%2BMZnoH15jT5IelvVOm7rAd4YO5M%2BrymptIirhg3"}],"group":"cf-nel","max_age":604800} NEL: {"success_fraction":0,"report_to":"cf-nel","max_age":604800} Server: cloudflare CF-RAY: 6a8d0177bced670d-DFW alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400 HTTP/2 200 date: Thu, 04 Nov 2021 10:02:15 GMT content-type: text/html; charset=utf-8 last-modified: Mon, 23 Aug 2021 17:02:47 GMT vary: Accept-Encoding access-control-allow-origin: * expires: Thu, 04 Nov 2021 10:12:15 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: D8CC:7B0D:238FA1:407450:6183AFA7 cf-cache-status: DYNAMIC expect-ct: max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct" report-to: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=FQfjcNCYsWvDukgRgMoqesXPgL%2F6NJ5IUqNNbcsAwu90Nw9Z4%2BfeSdiLqhsqKZhpgfyWM5mFUuUsVS5CpkltHbQ6os4UhdI0hwsVXYgbUS4joxrbVugVp%2BzKh%2BOr"}],"group":"cf-nel","max_age":604800} nel: {"success_fraction":0,"report_to":"cf-nel","max_age":604800} server: cloudflare cf-ray: 6a8d01780fa06369-ORD alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400 |
Domain Name: SANKHS.COM Registry Domain ID: 1808357377_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.cloudflare.com Registrar URL: http://www.cloudflare.com Updated Date: 2021-05-15T19:22:15Z Creation Date: 2013-06-14T11:17:48Z Registry Expiry Date: 2022-06-14T11:17:48Z Registrar: CloudFlare, Inc. Registrar IANA ID: 1910 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: BETTY.NS.CLOUDFLARE.COM Name Server: RICK.NS.CLOUDFLARE.COM DNSSEC: unsigned >>> Last update of whois database: 2021-10-22T06:25:38Z <<< |