https://bensepanski.github.io/portfolio/2020-meshmode-interoperability-with-firedrake/ https://bensepanski.github.io/portfolio/2021-bricks/ https://bensepanski.github.io/portfolio/2021-cortado/ https://bensepanski.github.io/portfolio/2025-veridise-audit-reports/ https://bensepanski.github.io/posts/2021/03/10/Denali-a-goal-directed-superoptimizer/ 2021-03-10T00:00:00+00:00 https://bensepanski.github.io/posts/2021/10/13/Deploying-and-Debugging-Remotely-with-Intellij/ 2021-10-13T00:00:00+00:00 https://bensepanski.github.io/posts/2025/02/03/Highlights-from-the-Veridise-o1js-v1-audit/ 2025-02-03T00:00:00+00:00 https://bensepanski.github.io/posts/2025/02/19/Mastering-o1js-on-Mina-Four-key-strategies-for-secure-development/ 2025-02-19T00:00:00+00:00 https://bensepanski.github.io/publication/2019-06-03-Augmented-Hilbert-series-of-numerical-semigroups 2019-06-03T00:00:00+00:00 https://bensepanski.github.io/publication/2021-05-10-Finite-elements-for-Helmholtz-equations-with-a-nonlocal-boundary-condition 2021-05-10T00:00:00+00:00 https://bensepanski.github.io/publication/2022-11-13-Maximizing-performance-through-memory-hierarchy-driven-data-layout-transformations 2022-11-13T00:00:00+00:00 https://bensepanski.github.io/publication/2022-12-01-Synthesizing-fine-grained-synchronization-protocols-for-implicit-monitors 2022-12-01T00:00:00+00:00 https://bensepanski.github.io/talks/2018-01-13-Augmented-Hilbert-series-of-numerical-semigroups 2018-01-13T00:00:00+00:00 https://bensepanski.github.io/talks/2021-03-25-Nonlocal-UFL-Finite-elements-for-Helmholtz-equations-with-a-nonlocal-boundary-condition 2021-03-25T00:00:00+00:00 https://bensepanski.github.io/talks/2022-11-13-Maximizing-performance-through-memory-hierarchy-driven-data-layout-transformations 2022-11-13T00:00:00+00:00 https://bensepanski.github.io/talks/2023-04-26-zkDay-Consensus 2023-04-26T00:00:00+00:00 https://bensepanski.github.io/teaching/2019-11-2020-03-upward-bound 2019-11-01T00:00:00+00:00 https://bensepanski.github.io/ https://bensepanski.github.io/archive-layout-with-content/ https://bensepanski.github.io/calendar/ https://bensepanski.github.io/categories/ https://bensepanski.github.io/collection-archive/ https://bensepanski.github.io/markdown/ https://bensepanski.github.io/non-menu-page/ https://bensepanski.github.io/page-archive/ https://bensepanski.github.io/portfolio/ https://bensepanski.github.io/publications/ https://bensepanski.github.io/resume/ https://bensepanski.github.io/sitemap/ https://bensepanski.github.io/tags/ https://bensepanski.github.io/talkmap.html https://bensepanski.github.io/talks/ https://bensepanski.github.io/teaching/ https://bensepanski.github.io/terms/ https://bensepanski.github.io/year-archive/ https://bensepanski.github.io/markdown_generator/ https://bensepanski.github.io/files/portfolio/2021-bricks/brick-layout.pdf 2025-06-25T02:53:43+00:00 https://bensepanski.github.io/files/portfolio/2021-cortado/fdg-example.pdf 2025-06-25T02:53:43+00:00 https://bensepanski.github.io/files/publications/2019-06-03-Augmented-Hilbert-series-of-numerical-semigroups.pdf 2025-06-25T02:53:43+00:00 https://bensepanski.github.io/files/publications/2022-11-13-Maximizing-performance-through-memory-hierarchy-driven-data-layout-transformations.pdf 2025-06-25T02:53:43+00:00 https://bensepanski.github.io/files/publications/IN-SUBMISSION-Finite-elements-for-Helmholtz-equations-with-a-nonlocal-boundary-condition.pdf 2025-06-25T02:53:43+00:00 https://bensepanski.github.io/files/sepanski-benjamin-resume-full.pdf 2025-06-25T02:53:43+00:00 https://bensepanski.github.io/files/sepanski-benjamin-resume.pdf 2025-06-25T02:53:43+00:00 https://bensepanski.github.io/talkmap/map.html 2025-06-25T02:53:43+00:00