3 papers
cs.PL2022
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan +2
A monitor is a widely-used concurrent programming abstraction that encapsulates all shared state between threads. Monitors can be classified as being either implicit or explicit de…
math.NA2020
Finite elements for Helmholtz equations with a nonlocal boundary condition
Robert C. Kirby, Andreas Klöckner, Ben Sepanski
Numerical resolution of exterior Helmholtz problems requires some approach to domain truncation. As an alternative to approximate nonreflecting boundary conditions and invocation o…
math.AC2018
Augmented Hilbert series of numerical semigroups
Jeske Glenn, Christopher O'Neill, Vadim Ponomarenko +1
A numerical semigroup is a subset of the non-negative integers containing that is closed under addition. The Hilbert series of (a formal power series equal to the sum o…