If you are not sure if the website you would like to visit is secure, you can verify it here. Enter the website address of the page and see parts of its content and the thumbnail images on this site. None (if any) dangerous scripts on the referenced page will be executed. Additionally, if the selected site contains subpages, you can verify it (review) in batches containing 5 pages.
favicon.ico: forthoney.github.io - Seong-Heon Jung.

site address: forthoney.github.io redirected to: forthoney.github.io

site title: Seong-Heon Jung

Our opinion (on Monday 02 November 2026 17:49:49 UTC):

GREEN status (no comments) - no comments

Meta tags:

Headings (most frequently used words):

seong, heon, jung,

Text of the page (most frequently used words):
parallel (6), 2023 (4), space (4), and (4), memory (4), seong (3), heon (3), jung (3), jekyll (3), work (3), this (3), programming (3), the (3), programs (3), github (2), blog (2), with (2), advised (2), university (2), prof (2), theory (2), safe (2), practice (2), usage (2), run (2), mastodon, email, school, personal, err, human, forgive, segmentation, fault, core, dumped, 2022, hosting, pages, moving, neovim, promoting, limitations, building, ractor, based, server, stopping, ractors, site, built, theme, published, myself, consolo, during, undergrad, was, brown, nikos, vasilakis, sam, westrick, verifiably, primitives, such, schedulers, allocators, for, analyzing, worst, case, off, shelf, reasoning, profiling, tools, tackle, challenge, from, both, currently, that, only, incur, predictable, bounded, overhead, without, thoughtful, design, can, undergo, superlinear, blowup, meaning, processor, may, use, more, than, times, single, threaded, results, higher, course, sometimes, even, worse, performance, cache, misses, etc, first, year, phd, student, languages, new, york, courant, about_me, talks, publications,


Text of the page (random words):
seong heon jung seong heon jung publications talks work about_me i am a first year phd student in parallel programming languages at new york university courant i currently work on space safe parallel programming parallel programs that only incur a predictable and bounded memory overhead without thoughtful design parallel programs can undergo a superlinear space blowup meaning a p processor run may use more than p times the memory of a single threaded run this results in higher memory usage of course and sometimes even worse performance cache misses etc i tackle this challenge from both practice and theory practice reasoning profiling tools for analyzing the worst case space usage of off the shelf parallel programs theory verifiably space safe parallel programming primitives such as schedulers and memory allocators i am advised by prof sam westrick during my undergrad i was advised by prof nikos vasilakis at brown university this site is built with a jekyll theme i published myself consolo 2023 12 23 building a ractor based server stopping ractors 2023 06 04 limitations of jekyll as a blog 2023 02 12 promoting my work 2023 02 05 moving to neovim 2022 12 25 hosting a blog on github pages with jekyll to err is human to forgive â segmentation fault core dumped seong heon jung email personal school github mastodon
Thumbnail images (randomly selected): * Images may be subject to copyright.GREEN status (no comments)
  • A photo of Seong-Heon Jun...

Verified site has: 9 subpage(s). Do you want to verify them? Verify pages:

1-5 6-9


Top 50 hastags from of all verified websites.

Supplementary Information (add-on for SEO geeks)*- See more on header.verify-www.com

Header

HTTP/1.1 301 Moved Permanently
Connection close
Content-Length 162
Server GitHub.com
Content-Type text/html
Location htt????/forthoney.github.io/
X-GitHub-Request-Id 0C88:16D5E:3A1CCC:3C7270:6AE8CD39
x-github-edge-region uksouth
Accept-Ranges bytes
Age 0
Date Mon, 02 Nov 2026 17:49:48 GMT
Via 1.1 varnish
X-Served-By cache-lcy-egml8630074-LCY
X-Cache MISS
X-Cache-Hits 0
X-Timer S1793641789.895832,VS0,VE94
Vary Accept-Encoding
X-Fastly-Request-ID ab2125b9c0e7df0176fb9451c7341a566a9ae14a
HTTP/2 200
server GitHub.com
content-type text/html; charset=utf-8
last-modified Mon, 19 Oct 2026 17:57:20 GMT
access-control-allow-origin *
strict-transport-security max-age=31556952
etag W/ 6ad65a00-f2b
expires Mon, 02 Nov 2026 17:59:49 GMT
cache-control max-age=600
content-encoding gzip
x-proxy-cache MISS
x-github-request-id D50A:31A847:3ABE63:3D1449:6AE8CD3C
x-github-edge-region uksouth
accept-ranges bytes
age 0
date Mon, 02 Nov 2026 17:49:49 GMT
via 1.1 varnish
x-served-by cache-lcy-egml8630089-LCY
x-cache MISS
x-cache-hits 0
x-timer S1793641789.016279,VS0,VE236
vary Accept-Encoding
x-fastly-request-id b27b01669465d35af354619d56bc97080ed8b1b3
content-length 1850

Meta Tags

title="Seong-Heon Jung"
charset="utf-8"
http-equiv="X-UA-Compatible" content="IE=edge"
name="viewport" content="width=device-width, initial-scale=1"

Load Info

page size1850
load time (s)0.382808
redirect count1
speed download4842
server IP 185.199.109.153
* all occurrences of the string "http://" have been changed to "htt???/"