Benjamin Holland

Learn More
OBJECTIVES We sought to identify prospectively the prevalence of significant ischemia (> or =10% of the left ventricle [LV]) on exercise single-photon emission computed tomography (SPECT) imaging relative to workload achieved in consecutive patients referred for myocardial perfusion imaging (MPI). BACKGROUND High exercise capacity is a strong predictor of(More)
Persons with hearing loss use visual signals such as gestures and lip movement to interpret speech. While hearing aids and cochlear implants can improve sound recognition, they generally do not help the wearer localize sound necessary to leverage these visual cues. In this paper, we design and evaluate visualizations for spatially locating sound on a(More)
BACKGROUND The benefit of myocardial perfusion imaging (MPI) over exercise ECG stress testing alone is unclear in individuals attaining a workload of ≥10 METS. The purpose of this prospective study is to determine mortality and nonfatal cardiac events in patients at either intermediate pretest risk for CAD or patients with known CAD, achieving ≥10 METS(More)
This paper presents a demo of our Security Toolbox to detect novel malware in Android apps. This Toolbox is developed through our recent research project funded by the DARPA Automated Program Analysis for Cybersecurity (APAC) project. The adversarial challenge ("Red") teams in the DARPA APAC program are tasked with designing sophisticated malware to test(More)
Immutability analysis is important to software testing, verification and validation (V&V) because it can be used to identify independently testable functions without side-effects. Existing tools for immutability analysis are largely academic prototypes that have not been rigorously tested for accuracy or have not been maintained and are unable to(More)
—Automated static analysis tools are widely used in identifying software anomalies, such as memory leak, unsafe thread synchronization and malicious behaviors in smartphone applications. Such anomaly-prone scenarios can be bifurcated into: " ordinary " (analysis requires relatively simple automation) and " complex " (analysis poses extraordinary automation(More)
  • 1