Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
About Me
About me
Posts
Mastering o1js on Mina: Four key strategies for secure development
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
Highlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explained
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
Deploying and Debugging Remotely with Intellij
Published:
In this blog post I will show you how to sync an Intellij IDEA project with a remote server (called deploying the project to a server), and how to debug remote runs of that project.
Denali: A Goal-directed Superoptimizer
Published:
This blog post was written for Dr. James Bornholt’s CS 395T: Systems Verification and Synthesis, Spring 2021. It summarizes the context and contributions of the paper Denali: A Goal-directed Superoptimizer, written by Dr. Rajeev Joshi, Dr. Greg Nelson, and Dr. Keith Randall.
portfolio
Meshmode interoperability with firedrake
Mesh and function conversion between the meshmode and firedrake libraries
Bricks
Generate portable, high-performance code in high-dimensional settings via data layout transformations
Cortado
Automatic implicit monitor synchronization
Veridise Audit Reports
Exciting/interesting (public) audits I performed at Veridise
publications
Augmented Hilbert series of numerical semigroups
Published in Integers, 2019
Several new explicit formulas for certain augmented Hilbert Series measuring maximal and minimal factorization lengths for all numerical semigroups.
Recommended citation: Glenn, Jeske and O'Neill Christopher and Ponomarenko, Vadim and Sepanski, Benjamin (June 3, 2019). "Augmented Hilbert series of numerical semigroups." Integers 19 #A32.
Finite Elements for Helmholtz equations with a nonlocal boundary condition
Published in SIAM Journal on Scientific Computing, 2021
A new nonlocal boundary condition for exterior Helmholtz problems along with the software infrastructure to express these boundary conditions in Unified Form Language
Recommended citation: Kirby, Robert C. and Klöckner, Andreas and Sepanski, Benjamin.(2021). "Finite Elements for Helmholtz Equations with a Nonlocal Boundary Condition." SIAM Journal on Scientific Computing, 43(3), A1671-A1691.
Maximizing Performance Through Memory-Hierarchy Driven Data Layout Transformations
Published in MCHPC 2022: Workshop on Memory Centric High Performance Computing at SC22, 2022
Extend the Bricks framework to optimize high-dimensional code through data layout transformation
Recommended citation: B. Sepanski, T. Zhao, H. Johansen and S. Williams, "Maximizing Performance Through Memory Hierarchy-Driven Data Layout Transformations," in 2022 IEEE/ACM Workshop on Memory Centric High Performance Computing (MCHPC), Dallas, TX, USA, 2022 pp. 1-10. doi: 10.1109/MCHPC56545.2022.00006
Synthesizing fine-grained synchronization protocols for implicit monitors
Published in Proc. ACM Program. Lang. 6, OOPSLA1, 2022
Automatatically implementing fine-grained explicit synchronization protocols from an implicit monitor specification using formal methods
Recommended citation: Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, and Işil Dillig. 2022. "Synthesizing fine-grained synchronization protocols for implicit monitors." Proc. ACM Program. Lang. 6, OOPSLA1, Article 67 (December 2022), 26 pages. https://doi.org/10.1145/3527311
talks
Augmented Hilbert series of numerical semigroups
Published:
Presented my research from the 2017 San Diego State University Research Experience for Undergraduates during the AMS-MAA-SIAM Special Session on Research in Mathematics by Undergraduates and Students in Post-Baccalaureate Programs at the 2018 Joint Mathematics Meetings in San Diego, California. This talk was funded by an MAA Travel Grant for Undergraduates and by the Mathematics Department at Baylor University.
Nonlocal UFL: Finite elements for Helmholtz equations with a nonlocal boundary condition
Published:
Presentation of my undergraduate research at the FEniCS 2021 Conference.
Maximizing Performance Through Memory Hierarchy-Driven Data Layout Transformations
Published:
Presentation of my work on the Bricks library at MCHPC 2022.
ZK 360 Panel – Future of ZK
Published:
See tweet https://twitter.com/MinaProtocol/status/1650152548005818370 or recorded video https://www.youtube.com/watch?v=XNjl8vcFXho.
teaching
Upward Bound Program
Mathematics Tutoring for the Upward Bound Program, Waco/University High Schools through the Waco ISD and ESC Region 12, 2019
The Upward Bound Program is an initiative by the U.S. Department of Education for “high school students from low-income families; and high school students from families in which neither parent holds a bachelor’s degree.” The goal of this program is “increase the rate at which participants complete secondary education and enroll in and graduate from institutions of postsecondary education.” I worked as a paid tutor in general mathematics/physics as well as for the math/science portion of the ACT and SAT tests.