https://hardekbc.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://hardekbc.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://hardekbc.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://hardekbc.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://hardekbc.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://hardekbc.github.io/publications/boyland26breccia/ https://hardekbc.github.io/publications/christensen20safe/ https://hardekbc.github.io/publications/christensen21wire/ https://hardekbc.github.io/publications/christensen22pylse/ https://hardekbc.github.io/publications/dewey14language/ https://hardekbc.github.io/publications/dewey15automated/ https://hardekbc.github.io/publications/dewey15fuzzing/ https://hardekbc.github.io/publications/dewey15parallel/ https://hardekbc.github.io/publications/emre21translating-supplementary/ https://hardekbc.github.io/publications/emre21translating/ https://hardekbc.github.io/publications/emre23aliasing/ https://hardekbc.github.io/publications/gavrilov20practical/ https://hardekbc.github.io/publications/hardekopf07ant/ https://hardekbc.github.io/publications/hardekopf07exploiting/ https://hardekbc.github.io/publications/hardekopf09semisparse/ https://hardekbc.github.io/publications/hardekopf11flow/ https://hardekbc.github.io/publications/hardekopf14widening/ https://hardekbc.github.io/publications/kashyap11timing/ https://hardekbc.github.io/publications/kashyap13type/ https://hardekbc.github.io/publications/kashyap14jsai/ https://hardekbc.github.io/publications/kashyap14security/ https://hardekbc.github.io/publications/kedlaya13improved/ https://hardekbc.github.io/publications/kedlaya14deoptimization/ https://hardekbc.github.io/publications/kedlaya15server/ https://hardekbc.github.io/publications/li10secure/ https://hardekbc.github.io/publications/li11caisson/ https://hardekbc.github.io/publications/li13sapper/ https://hardekbc.github.io/publications/li14sapper/ https://hardekbc.github.io/publications/mcmahan17architecture/ https://hardekbc.github.io/publications/mcmahan18architecture/ https://hardekbc.github.io/publications/mcmahan19bouncer/ https://hardekbc.github.io/publications/nichols19fixpoint/ https://hardekbc.github.io/publications/nichols19structural/ https://hardekbc.github.io/publications/nichols19syntax/ https://hardekbc.github.io/publications/robatmili14mcjs/ https://hardekbc.github.io/publications/sisco23loop/ https://hardekbc.github.io/publications/sisco24control/ https://hardekbc.github.io/publications/tiwari11crafting/ https://hardekbc.github.io/publications/yu11string/ https://hardekbc.github.io/ https://hardekbc.github.io/archive-layout-with-content/ https://hardekbc.github.io/categories/ https://hardekbc.github.io/collection-archive/ https://hardekbc.github.io/cv/ https://hardekbc.github.io/markdown/ https://hardekbc.github.io/non-menu-page/ https://hardekbc.github.io/page-archive/ https://hardekbc.github.io/portfolio/ https://hardekbc.github.io/publications/ https://hardekbc.github.io/research/ https://hardekbc.github.io/sitemap/ https://hardekbc.github.io/tags/ https://hardekbc.github.io/talkmap.html https://hardekbc.github.io/talks/ https://hardekbc.github.io/teaching/ https://hardekbc.github.io/terms/ https://hardekbc.github.io/year-archive/ https://hardekbc.github.io/files/ln/ https://hardekbc.github.io/markdown_generator/ https://hardekbc.github.io/files/boyland26breccia.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/christensen20safe.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/christensen21wire.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/christensen22pylse.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/dewey14language.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/dewey15automated.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/dewey15fuzzing.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/dewey15parallel.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/emre21translating-supplementary.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/emre21translating.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/emre23aliasing.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/gavrilov20practical.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/hardekopf07ant.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/hardekopf07exploiting.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/hardekopf09semisparse.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/hardekopf11flow.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/hardekopf14widening.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/kashyap11timing.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/kashyap13type.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/kashyap14jsai.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/kashyap14security.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/kedlaya13improved.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/kedlaya14deoptimization.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/kedlaya15server.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/li10secure.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/li11caisson.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/li13sapper.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/li14sapper.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/mcmahan17architecture.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/mcmahan18architecture.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/mcmahan19bouncer.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/nichols19fixpoint.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/nichols19structural.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/nichols19syntax.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/oopsla21-extended.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/oopsla21-supplementary.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/robatmili14mcjs.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/sisco23loop.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/sisco24control.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/tiwari11crafting.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/files/yu11string.pdf 2026-04-02T17:34:59-07:00 https://hardekbc.github.io/talkmap/map.html 2026-04-02T17:34:59-07:00