Posts by Collection

portfolio

Cortado

Automatic implicit monitor synchronization

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.

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

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.