4 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.SE2021
Understanding Bounding Functions in Safety-Critical UAV Software
Xiaozhou Liang, John Henry Burns, Joseph Sanchez +3
Unmanned Aerial Vehicles (UAVs) are an emerging computation platform known for their safety-critical need. In this paper, we conduct an empirical study on a widely used open-source…
cs.PL2019
Formal Foundations of Continuous Graph Processing
Philip Dexter, Yu David Liu, Kenneth Chiu
With the growing need for online and iterative graph processing, software systems that continuously process large-scale graphs become widely deployed. With optimizations inherent a…
cs.PL2013★ 4 cited
Variant-Frequency Semantics for Green Futures
Yu David Liu
This paper describes an operational semantics for futures, with the primary target on energy efficiency. The work in progress is built around an insight that different threads can…