Page not found. Your pixels are in another canvas.
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
This is a page not in th emain menu
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.
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.
Mesh and function conversion between the meshmode and firedrake libraries
Automatic implicit monitor synchronization
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.
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.
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
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.
Presentation of my undergraduate research at the FEniCS 2021 Conference.
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.