Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Jaemin |
Description | Jaemin Hong jaemin.hong [at] kaist.ac.kr CV | GitHub | Blog | Publications I am a Ph.D. student at School of Computing, KAIST. My research interest is pro |
Keywords | N/A |
WebSite | hjaem.info |
Host IP | 13.225.210.68 |
Location | United States |
Site | Rank |
US$911,670
Last updated: 2023-05-14 13:45:07
hjaem.info has Semrush global rank of 11,609,799. hjaem.info has an estimated worth of US$ 911,670, based on its estimated Ads revenue. hjaem.info receives approximately 105,193 unique visitors each day. Its web server is located in United States, with IP address 13.225.210.68. According to SiteAdvisor, hjaem.info is safe to visit. |
Purchase/Sale Value | US$911,670 |
Daily Ads Revenue | US$842 |
Monthly Ads Revenue | US$25,247 |
Yearly Ads Revenue | US$302,955 |
Daily Unique Visitors | 7,013 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
hjaem.info. | A | 299 | IP: 13.225.210.68 |
hjaem.info. | A | 299 | IP: 13.225.210.27 |
hjaem.info. | A | 299 | IP: 13.225.210.37 |
hjaem.info. | A | 299 | IP: 13.225.210.120 |
hjaem.info. | NS | 86400 | NS Record: ns-994.awsdns-60.net. |
hjaem.info. | NS | 86400 | NS Record: ns-1142.awsdns-14.org. |
hjaem.info. | NS | 86400 | NS Record: ns-1997.awsdns-57.co.uk. |
hjaem.info. | NS | 86400 | NS Record: ns-414.awsdns-51.com. |
hjaem.info. | MX | 1800 | MX Record: 10 inbound-smtp.us-west-2.amazonaws.com. |
hjaem.info. | TXT | 300 | TXT Record: google-site-verification=nmJh7JftRYhF28gMmktRL3l7hVD5IjdK-R4JKXQT0dI |
Jaemin Hong jaemin.hong [at] kaist.ac.kr CV | GitHub | Blog | Publications I am a Ph.D. student at School of Computing, KAIST. My research interest is program transformation. I am currently working on automatic translation of C output parameters to idiomatic Rust. I previously worked on the following topics: I formalized the dynamic dispatch semantics of the Fortress programming language and proved its type soundness ( POPL ’19 ). I proposed a variant of Dependent Object Types (DOT), the essence of the Scala type system, augmented with path equality ( Scala ’18 ). I reimplemented xv6, an operating system written in C, in Rust by designing Rust abstractions of shared mutable state in xv6. I worked on automatic translation of the C lock API to the Rust lock API utilizing dataflow analyses. I am interested in teaching and writing. I have been working as a TA of the KAIST programming languages course since 2020. I received the best TA award multiple times. My book Introduction to |
HTTP/1.1 301 Moved Permanently Server: CloudFront Date: Thu, 23 Dec 2021 12:28:55 GMT Content-Type: text/html Content-Length: 183 Connection: keep-alive Location: https://hjaem.info/ X-Cache: Redirect from cloudfront Via: 1.1 64142199656297b56ef863f9ccc0c103.cloudfront.net (CloudFront) X-Amz-Cf-Pop: EWR50-C1 X-Amz-Cf-Id: wtVmLgP7iAKWAhijfGqKT-22VFwfgbIjsQpVeXloog3pgJwVwZsI4w== HTTP/2 200 content-type: text/html content-length: 1648 last-modified: Mon, 30 Aug 2021 09:18:25 GMT x-amz-storage-class: ONEZONE_IA server: AmazonS3 date: Thu, 23 Dec 2021 12:28:57 GMT etag: "8fa470620b82e39d5d2197790ef9ef88" x-cache: RefreshHit from cloudfront via: 1.1 5dccc983b54773fbbd262d2029a805d7.cloudfront.net (CloudFront) x-amz-cf-pop: EWR50-C1 x-amz-cf-id: wf-av21iennb5XHcxUdUR7Rsnc6XqeTBaParcIxROIVohFSjiE3tWw== |
Domain Name: hjaem.info Registry Domain ID: d86824af986b4bc2a5f0fa840f0e96e1-DONUTS Registrar WHOIS Server: whois.dynadot.com Registrar URL: http://dynadot.com Updated Date: 2021-12-21T01:24:30Z Creation Date: 2018-09-13T06:45:30Z Registry Expiry Date: 2031-09-13T06:45:30Z Registrar: Dynadot, LLC Registrar IANA ID: 472 Registrar Abuse Contact Email: abuse@dynadot.com Registrar Abuse Contact Phone: +1.6502620100 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant State/Province: California Registrant Country: US Name Server: ns-994.awsdns-60.net Name Server: ns-1142.awsdns-14.org Name Server: ns-1997.awsdns-57.co.uk Name Server: ns-414.awsdns-51.com DNSSEC: unsigned >>> Last update of WHOIS database: 2022-01-02T01:11:13Z <<< |