Domain c1f.net
United States
Software information
AmazonS3
tcp/443
Varnish
tcp/80
-
Open service 151.101.130.132:443 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: +OqAuE93JQUHu3axqND9n4CL5CmWhV47gouQym5UXC2d96GkIrgpRpJ38jNNQLkvKwPZEnWB2Rc= x-amz-request-id: 97YWR539D5QWP1PY Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-sin-wsat1880092-SIN X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.725086,VS0,VE0 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:400::644:443 · c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: JLIbiAb7vSeEz7jxSz8ww2jKe0G9+jg6gRkKN74AIl6rSXm1VLRCtdkaYFZdBW637lEg3Qni+Ro= x-amz-request-id: 97YP7QR6X73ZEJZR Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-sin-wsss1830056-SIN X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.966927,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:400::644:80 · c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-pao-kpao1770034-PAO X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.395824,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42::644:443 · c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: F1XG+7q4xytGWkFQ2LkMA7byv9Z/ALJDstPVXXERKQS1/WDrQT8L6Mq5YGT0huEYqoPaMzcJIio= x-amz-request-id: 97YJ49GCQKN2P8Q0 Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-yyz4533-YYZ X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.560967,VS0,VE2 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42::644:80 · c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-lga21979-LGA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.340113,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.194.132:80 · c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-sjc10037-SJC X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.334425,VS0,VE2 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:200::644:443 · c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: FpP2l8HvE9jRNfliGWb5s+ndfOVZT/gdwk1jAATM1X9P0+f1j8QoHlcUbP3a6uQFggHxoPvAnkM= x-amz-request-id: 97YSRWKD648GBM1E Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-lga21987-LGA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.509597,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.130.132:80 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-lga21978-LGA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.283837,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.194.132:443 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: I8U3bkT1LHg6SUp4ABQDRBvaoiwr6DQ+MXzYbnJJykoyPEDIxggDLUS1qrE2cnyMnHQ8s04WR5s= x-amz-request-id: 97YQ6GFXWB39XQGS Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-lga21968-LGA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501514.456211,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:600::644:443 · c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: Rpovtx5W3+1j4XnHPBjOAYv8jbfTFyMx3/fu4STYm5ExvxW+ekXkzVeoJgylrf7woO8dNidafF0= x-amz-request-id: XSTX5R3PX8174ZZR Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-lcy-egml8630093-LCY X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.559014,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:600::644:80 · c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-lon4252-LON X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.254161,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:600::644:80 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-bom-vanm7210052-BOM X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.302115,VS0,VE41 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.66.132:443 · c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: Rpovtx5W3+1j4XnHPBjOAYv8jbfTFyMx3/fu4STYm5ExvxW+ekXkzVeoJgylrf7woO8dNidafF0= x-amz-request-id: XSTX5R3PX8174ZZR Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Age: 0 Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-lcy-egml8630071-LCY X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501515.511244,VS0,VE37 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.66.132:443 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: +OqAuE93JQUHu3axqND9n4CL5CmWhV47gouQym5UXC2d96GkIrgpRpJ38jNNQLkvKwPZEnWB2Rc= x-amz-request-id: 97YWR539D5QWP1PY Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-sin-wsat1880081-SIN X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.725970,VS0,VE0 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:400::644:443 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: +bsy66S2DV/DctLRzhy1elOOjVc4w/6uiXMB2vNtWXSJNdMj+0gf8mLo2SdYbYSfKahTIzy57iGzAbjlef+nUl3H8SHMmV/H x-amz-request-id: 97YRSAZKMENCTXMM Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230078-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.528617,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:400::644:80 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-vie6382-VIE X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.225792,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.194.132:80 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230052-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.197363,VS0,VE0 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.2.132:80 · c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230133-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.256607,VS0,VE0 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.130.132:443 · c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: Rpovtx5W3+1j4XnHPBjOAYv8jbfTFyMx3/fu4STYm5ExvxW+ekXkzVeoJgylrf7woO8dNidafF0= x-amz-request-id: XSTX5R3PX8174ZZR Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Age: 0 Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-lcy-egml8630041-LCY X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501515.510618,VS0,VE38 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:200::644:80 · c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-lga21943-LGA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.181790,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.66.132:80 · c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-lga21925-LGA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.179666,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.130.132:80 · c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230130-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.169081,VS0,VE614 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:200::644:443 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: +bsy66S2DV/DctLRzhy1elOOjVc4w/6uiXMB2vNtWXSJNdMj+0gf8mLo2SdYbYSfKahTIzy57iGzAbjlef+nUl3H8SHMmV/H x-amz-request-id: 97YRSAZKMENCTXMM Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230028-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.517244,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.2.132:443 · c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: VzxfQDHHIGWexYwx5Z7Rojg2xdX6l+JqqtVIPoShZUzDshcVWx1q0ps7arCbI4CITCa3eijVQGE= x-amz-request-id: SB4S6C6RS3KFQ63B Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230124-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501515.509175,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.194.132:443 · c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: 1wMgiNWbybjtLeGjTClcMws8YUTTNMpekHdp/YKeWZJvlzuwAzPuX89rqgjUVa84flx0nrOIZG6B1R2IS5coolg+DDnzuG8h x-amz-request-id: 97YNKXA0R5CBDZMN Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Age: 0 Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-vie6380-VIE X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1767501515.551581,VS0,VE350 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.2.132:443 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: XCBCPSpTb76YNi+It+dB87QAPG02KUvQbjr/dXvfjtFsGRQyBrEL40odK9IMbb5zS9k6WpjE+g4= x-amz-request-id: 97YHJA55JRT7B7PG Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-rtm-ehrd2290036-RTM X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501514.362325,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.66.132:80 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-vie6356-VIE X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.126424,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42::644:443 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: iVyjvp+Fxe9NaJXUU5SgyKheI/eG+voa4+xIu56mKt+O3FikTlOX3xR7Xv2a/QaSjY2zGKwiRPg= x-amz-request-id: 97YP1Z5B5CE1K7SQ Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-yyz4581-YYZ X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501514.324093,VS0,VE2 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 151.101.2.132:80 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230116-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.085853,VS0,VE0 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42::644:80 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230168-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.085681,VS0,VE0 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:200::644:80 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish X-Served-By: cache-lga21923-LGA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767501514.085760,VS0,VE1 X-Fastly-Is: awesome
Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42:600::644:443 · www.c1f.net
2026-01-04 04:38
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: XCBCPSpTb76YNi+It+dB87QAPG02KUvQbjr/dXvfjtFsGRQyBrEL40odK9IMbb5zS9k6WpjE+g4= x-amz-request-id: 97YHJA55JRT7B7PG Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Sun, 04 Jan 2026 04:38:34 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-rtm-ehrd2290027-RTM X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767501514.362708,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2026-01-04 by HttpPluginCreate report
-
Open service 2a04:4e42::644:80 · c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-pao-kpao1770029-PAO X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052672.543256,VS0,VE1 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.2.132:80 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-sjc1000107-SJC X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052672.619404,VS0,VE1 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.2.132:443 · c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: aqGoSQ45rOIsZB7z3yv7RPHynyJTfTyUL9ppgL0Ts2QloiFO4dxoDwL95CiroZpsuNco7wlqQns= x-amz-request-id: GDJAS58M7P95DSY5 Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-sjc10055-SJC X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.573191,VS0,VE2 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:400::644:80 · c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-sin-wsat1880026-SIN X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.486678,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:200::644:80 · c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-pao-kpao1770082-PAO X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.474922,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.130.132:443 · c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: HAvgw4g4o9bwlifcs1wEnhZ7BTdKEo86mrotRgFQSiHq7Y6ipTYhwzUWlNa4PwRxJ36aSx0OkYs= x-amz-request-id: 1YD0BRH3F8NEKDTN Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-sin-wsat1880085-SIN X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.960022,VS0,VE0 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.130.132:80 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230053-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.466292,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.2.132:443 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: CLj4/M+5J2s/sxaxjXGTrbI0hczidOgWYXpgQQWlQG+7gi85e0euYLYL9+Z6M5z+rsYSf//9j4o= x-amz-request-id: GDJ7SWH0M0T1JP7C Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230151-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.582211,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:600::644:80 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:57 GMT Via: 1.1 varnish X-Served-By: cache-yyz4542-YYZ X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.462319,VS0,VE5861 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:200::644:443 · c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: HAvgw4g4o9bwlifcs1wEnhZ7BTdKEo86mrotRgFQSiHq7Y6ipTYhwzUWlNa4PwRxJ36aSx0OkYs= x-amz-request-id: 1YD0BRH3F8NEKDTN Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-sin-wsat1880045-SIN X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.887935,VS0,VE0 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.194.132:443 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: CLj4/M+5J2s/sxaxjXGTrbI0hczidOgWYXpgQQWlQG+7gi85e0euYLYL9+Z6M5z+rsYSf//9j4o= x-amz-request-id: GDJ7SWH0M0T1JP7C Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230067-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.583602,VS0,VE2 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.130.132:80 · c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-lga21992-LGA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.442994,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:400::644:443 · c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: rRVBD8I8hIreFnSDc8Sso0otRaIKffKcZn1M7+G0wN0uiPaD5R3Qaxqe19A2E1BjHDeEHECmwKDL04uFvaDz9FUldP9bZspB x-amz-request-id: GDJ65KYJM89NXNYB Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:52 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-bom-vanm7210060-BOM X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.035953,VS0,VE172 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.66.132:80 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230077-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.433436,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:600::644:443 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: Kkpei920WjjtE4t+gKVCfvPnlEIsKLxXOa9+b4qgkGJWL38U7QliAvrOitXqiaNSePqKqGQi/Uk= x-amz-request-id: GDJBE1A5GSNCKNH0 Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-sin-wsat1880091-SIN X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.854766,VS0,VE0 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:400::644:80 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-sin-wsss1830028-SIN X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.411715,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42::644:80 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-lga21968-LGA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.393393,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.194.132:443 · c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: ZUAFui3ohXINGJL6FINsrik2wabzgbQkdOOxxWdep2O2yFm9lcBYS53DdXu5dcbCztNTIBf4yFs= x-amz-request-id: GDJEH9YKPQGNMSC6 Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-yyz4539-YYZ X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.609338,VS0,VE2 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:400::644:443 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: FDWy5JY8cOogTCK1j84IXfdx8MRqxG3toZfQklNbuF2NCbo0a+T+ExG9XL0zW+ossByVq2RL3hg= x-amz-request-id: GDJ8CFVGC6C2V987 Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-yyz4528-YYZ X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.567376,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:200::644:80 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-yyz4522-YYZ X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.373399,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42::644:443 · c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: rRVBD8I8hIreFnSDc8Sso0otRaIKffKcZn1M7+G0wN0uiPaD5R3Qaxqe19A2E1BjHDeEHECmwKDL04uFvaDz9FUldP9bZspB x-amz-request-id: GDJ65KYJM89NXNYB Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:52 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-bom-vanm7210063-BOM X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.038351,VS0,VE61 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.130.132:443 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: FDWy5JY8cOogTCK1j84IXfdx8MRqxG3toZfQklNbuF2NCbo0a+T+ExG9XL0zW+ossByVq2RL3hg= x-amz-request-id: GDJ8CFVGC6C2V987 Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-yyz4549-YYZ X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.567013,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.194.132:80 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://www.c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-rtm-ehrd2290042-RTM X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.335967,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42::644:443 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: +Ddl8TcbU9V2OBw+ayndvUxdxhQ/60GuI4Qvf4cFVhczlcTFtMJQCS6oMFIVassXTLL3Ol3793E= x-amz-request-id: GDJB1927RSWS522T Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-sjc10034-SJC X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052671.410414,VS0,VE2 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:600::644:80 · c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-rtm-ehrd2290025-RTM X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.315511,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:600::644:443 · c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: vx+295KfkQRlM+BIQsB5bvE51lR49TmWciAFCJpQ5p3xqB/IxdKVrNSPe6ANQXB9oIgYRL7jhGU= x-amz-request-id: 7ZWZC4H14R621D3V Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230099-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.654661,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.66.132:443 · c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: vx+295KfkQRlM+BIQsB5bvE51lR49TmWciAFCJpQ5p3xqB/IxdKVrNSPe6ANQXB9oIgYRL7jhGU= x-amz-request-id: 7ZWZC4H14R621D3V Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230056-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.654279,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.66.132:443 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: wXvstRjXrE42dsVWtls+Sjr4HJHO4Ajl82Q2w09L9KE5sAFKFlmnWoygtlN5IpW7O7WifLOFEoQ= x-amz-request-id: GDJ78KNG6NG359AY Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-rtm-ehrd2290048-RTM X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.568262,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.66.132:80 · c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230085-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.234911,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 2a04:4e42:200::644:443 · www.c1f.net
2025-12-29 23:57
HTTP/1.1 200 OK Connection: close Content-Length: 7572 x-amz-id-2: CLj4/M+5J2s/sxaxjXGTrbI0hczidOgWYXpgQQWlQG+7gi85e0euYLYL9+Z6M5z+rsYSf//9j4o= x-amz-request-id: GDJ7SWH0M0T1JP7C Last-Modified: Wed, 24 Dec 2025 23:10:17 GMT ETag: "24aef14ba2ff59df4da41217d5cbcb0a" Content-Type: text/html Server: AmazonS3 Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230095-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1767052672.579543,VS0,VE1 X-Fastly-Is: awesome Page title: Chris Fallin <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/minima/initialize.css"> <link type="application/atom+xml" rel="alternate" href="https://cfallin.org/feed.xml" title="Chris Fallin" /> <title> Chris Fallin </title> </head> <body> <header class="site-header"> <div class="wrapper"> <a class="site-title" rel="author" href="/">Chris Fallin</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/blog/">Blog</a> <a class="page-link" href="/about/">About</a> <a class="page-link" href="/projects/">Projects</a> <a class="page-link" href="/academics/">Academics & Publications</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <p>Welcome! I am:</p> <ul> <li>A software engineer; currently at <a href="https://www.f5.com/">F5</a> hacking on <a href="https://www.webassembly.org/">WebAssembly</a> technology and compilers. Previously at <a href="https://www.fastly.com">Fastly</a> on its WebAssembly team; <a href="https://www.mozilla.org/">Mozilla</a> hacking on Firefox; <a href="https://www.google.com/">Google</a>; and <a href="https://www.intel.com/">Intel</a>.</li> <li>A computer scientist; I spent time in <a href="/academics/">academia</a> and now spout crazy new ideas whenever I think I can get away with it.</li> <li>A compiler nerd; I like thinking about code that thinks about code.</li> </ul> <p>You can read more on my <a href="/about/">About</a> page or my <a href="/cfallin-cv-oct2025.pdf">CV</a>, or read about what I'm up to over at my <a href="/blog/">blog</a>.</p> <h3 id="recent-news">Recent News</h3> <ul> <li> <p>Oct 2025: Paper accepted to <a href="https://2025.splashcon.org/track/OOPSLA?">OOPSLA 2025</a> about Cranelift verification against vendor-provided ISA specs; <a href="/pubs/oopsla2025_arrival.pdf">preprint available</a>.</p> </li> <li> <p>Apr 2025: Paper accepted to <a href="https://pldi25.sigplan.org/">PLDI 2025</a> about <a href="/blog/2024/08/28/weval/">weval</a>; <a href="/pubs/pldi2025_weval.pdf">preprint available</a>.</p> </li> <li> <p>Nov 2024: Moved to <a href="https://www.f5.com/">F5</a>, working on Wasm-related technologies in the Office of the CTO.</p> </li> <li> <p>Jun 2024: Gave talk about <a href="/blog/2024/08/28/weval/">weval</a> at <a href="https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html">Wasm Research Day 2024</a>.</p> </li> <li> <p>Apr 2024: Work on Cranelift formal verification presented at <a href="https://www.asplos-conference.org/asplos2024/">ASPLOS 2024</a>; <a href="/pubs/asplos2024_veri_isle.pdf">preprint available</a>.</p> </li> </ul> <h2 class="post-list-heading">Latest Posts</h2> <ul> <li> <span class="post-meta">Nov 6, 2025</span> <a href="/blog/2025/11/06/exceptions/">Exceptions in Cranelift and Wasmtime</a> </li> <li> <span class="post-meta">Aug 28, 2024</span> <a href="/blog/2024/08/28/weval/">Compilation of JavaScript to Wasm, Part 3:Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.2.132:80 · c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230064-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.238042,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report
-
Open service 151.101.194.132:80 · c1f.net
2025-12-29 23:57
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 0 Server: Varnish Retry-After: 0 Location: https://c1f.net/ Accept-Ranges: bytes Date: Mon, 29 Dec 2025 23:57:51 GMT Via: 1.1 varnish X-Served-By: cache-fra-eddf8230147-FRA X-Cache: HIT X-Cache-Hits: 0 X-Timer: S1767052671.228659,VS0,VE0 X-Fastly-Is: awesome
Found 2025-12-29 by HttpPluginCreate report