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

site address: theunixzoo.co.uk redirected to: theunixzoo.co.uk

site title: Home

Our opinion (on Thursday 08 October 2026 15:38:49 UTC):

GREEN status (no comments) - no comments

Meta tags:

Headings (most frequently used words):

theunixzoo, home, what, new, selected, publications, academic, service, identity,

Text of the page (most frequently used words):
committee (22), and (20), program (19), the (13), languages (10), object (8), programming (8), 2025 (8), for (8), edd (7), language (7), new (7), workshop (6), oriented (6), systems (6), 2019 (6), blog (6), reviewer (5), compilation (5), icooolps (5), 2023 (5), publications (5), barrett (5), post (5), research (5), dot (4), journal (4), implementation (4), optimization (4), programs (4), runtimes (4), morevms (4), conference (4), international (4), vmil (4), pdf (4), with (4), home (4), github (3), openbsd (3), 2016 (3), 2017 (3), computer (3), 2018 (3), science (3), code (3), mplr (3), 2022 (3), virtual (3), 2026 (3), king (3), carl (3), friedrich (3), bolz (3), laurence (3), tratt (3), vulnerability (3), researcher (3), org (2), stackoverflow (2), mastodon (2), crypto (2), theunixzoo (2), have (2), email (2), 2014 (2), dynamic (2), applications (2), publicity (2), chair (2), symposium (2), technology (2), jot (2), organising (2), modern (2), ecosystems (2), vms (2), managed (2), 2020 (2), machines (2), implementations (2), more (2), page (2), case (2), study (2), vid (2), composition (2), from (2), your (2), 2021 (2), team (2), fellow (2), college (2), london (2), llvm (2), jit (2), interrupt (2), labs (2), generated, pelican, ebarrett, matrix, goodreads, bandcamp, google, scholar, résumé, vext01, gmail, com, note, longer, access, kcl, address, please, don, there, identity, dyla, dls, structures, artefact, evaluation, oopsla, socp, european, ecoop, interconnecting, icw, art, engineering, peerj, memory, management, academic, service, over, andy, range, analysis, binaries, minimal, effort, 2012, unipycation, cross, tracing, 2013, lukas, diekmann, fine, grained, tereick, rebecca, killick, sarah, mount, machine, warmup, blows, hot, cold, selected, preventing, optimising, compiler, removing, reordering, our, hiring, associate, assistant, phased, out, use, gnupg, moved, age, ismm, now, building, faster, ccache, distcc, migrating, bors, merge, queues, generating, x86_64, fcmp, instruction, profiling, linux, perf, started, what, prior, this, was, department, informatics, topics, included, reliable, benchmarking, just, time, techniques, information, activity, see, software, development, work, you, landed, internet, programmer, developer, talks,


Text of the page (random words):
home theunixzoo mastodon github stackoverflow home publications talks openbsd crypto blog home you have landed at the internet home of dr edd barrett vulnerability researcher programmer and openbsd developer i work as a vulnerability researcher at interrupt labs prior to this i was a research fellow for the software development team at the department of informatics king s college london my research topics included programming language composition reliable benchmarking and new just in time jit compilation techniques for more information on research activity see the publications page what s new 2026 04 20 i ve started as a vulnerability researcher with interrupt labs 2025 02 09 i m on the program committee for mplr 26 2025 12 12 i m on the program committee for morevms 26 2025 09 14 new blog post profiling your jit with linux perf 2025 04 28 i m on the program committee for icooolps 25 2025 04 15 i m on the program committee for vmil 25 2025 04 15 new blog post generating x86_64 code for llvm s fcmp instruction 2023 11 16 new blog post migrating from bors ng to github merge queues 2023 10 24 new blog post building llvm faster with ccache and distcc 2023 06 21 i m on the program committee for vmil 23 2023 03 01 i m now a research fellow at king s college london 2022 02 21 i m on the ismm 22 program committee 2022 01 06 phased out use of gnupg moved to age 2021 11 08 our team is hiring a research associate assistant 2021 10 14 new blog post preventing an optimising compiler from removing or reordering your code selected publications virtual machine warmup blows hot and cold 2017 edd barrett carl friedrich bolz tereick rebecca killick sarah mount and laurence tratt ee pdf vid fine grained language composition a case study 2016 edd barrett carl friedrich bolz lukas diekmann and laurence tratt ee pdf vid unipycation a case study in cross language tracing 2013 edd barrett carl friedrich bolz and laurence tratt ee pdf range analysis of binaries with minimal effort 2012 edd barrett and andy king ee pdf more publications over at the publications page academic service program committee international conference on managed programming languages runtimes mplr in 2026 program committee morevms in 2026 program committee implementation compilation optimization of object oriented languages programs and systems icooolps in 2025 program committee workshop on virtual machines and language implementations vmil in 2025 program committee workshop on virtual machines and language implementations vmil in 2023 program committee international symposium on memory management in 2022 reviewer peerj computer science in 2020 reviewer journal of object technology jot in 2020 program committee international conference on managed programming languages runtimes mplr in 2019 program committee implementation compilation optimization of object oriented languages programs and systems icooolps in 2019 program committee the international conference on the art science and engineering of programming programming in 2019 program committee interconnecting code workshop icw in 2019 publicity chair european conference on object oriented programming ecoop in 2019 organising committee workshop on modern language runtimes ecosystems and vms morevms in 2019 reviewer science of computer programming socp journal in 2018 artefact evaluation committee object oriented programming systems languages and applications oopsla in 2018 organising committee workshop on modern language runtimes ecosystems and vms morevms in 2018 reviewer computer languages systems and structures journal in 2017 program committee implementation compilation optimization of object oriented languages programs and systems icooolps in 2017 program committee implementation compilation optimization of object oriented languages programs and systems icooolps in 2016 reviewer journal of object technology jot in 2016 publicity chair dynamic languages symposium dls in 2014 program committee workshop on dynamic languages and applications dyla in 2014 identity note i no longer have access to my kcl ac uk email address please don t email me there edd at theunixzoo dot co dot uk vext01 at gmail dot com edd at openbsd dot org cv résumé github crypto google scholar mastodon bandcamp goodreads stackoverflow ebarrett matrix org generated by pelican
Thumbnail images (randomly selected): * Images may be subject to copyright.GREEN status (no comments)
  • My mug

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

1-5 6-10 11-15 16-16


The site also has references to the 1 subdomain(s)

  interruptlabs.co.uk  Verify


Top 50 hastags from of all verified websites.

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

Header

HTTP/1.0 301 Moved Permanently
Date Thu, 08 Oct 2026 15:38:49 GMT
Server OpenBSD httpd
Connection close
Content-Type text/html
Content-Length 510
Location htt????/theunixzoo.co.uk/
HTTP/1.0 200 OK
Connection close
Content-Length 12900
Content-Type text/html
Date Thu, 08 Oct 2026 15:38:49 GMT
Last-Modified Thu, 07 May 2026 17:05:54 GMT
Server OpenBSD httpd
Strict-Transport-Security max-age=31536000

Meta Tags

title="Home"
charset="utf-8"

Load Info

page size12900
load time (s)0.250442
redirect count1
speed download51600
server IP 176.126.244.16
* all occurrences of the string "http://" have been changed to "htt???/"