2 citations · 4 across the 3 of their papers we have counts for
4 papers
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
This paper presents a theory of non-linear integer/real arithmetic and algorithms for reasoning about this theory. The theory can be conceived as an extension of linear integer/rea…
Verifiable Access Control for Augmented Reality Localization and Mapping
Shaowei Zhu, Hyo Jin Kim, Maurizio Monge +4
Localization and mapping is a key technology for bridging the virtual and physical worlds in augmented reality (AR). Localization and mapping works by creating and querying maps ma…
Reflections on Termination of Linear Loops
Shaowei Zhu, Zachary Kincaid
This paper shows how techniques for linear dynamical systems can be used to reason about the behavior of general loops. We present two main results. First, we show that every loop…
Termination Analysis Without the Tears
Shaowei Zhu, Zachary Kincaid
Determining whether a given program terminates is the quintessential undecidable problem. Algorithms for termination analysis are divided into two groups: (1) algorithms with stron…