More Like this

1. Bearing-Only Localization of a Quasi-Static Sound Source With a Binaural Microphone Array

   https://doi.org/10.1115/DSCC2020-3235  

   Bradley, Aidan J.; Shirazi, Masoud J.; Abaid, Nicole (October 2020, ASME Dynamic Systems and Control Conference)

   null (Ed.)

   Abstract Sound source localization is the ability to successfully understand the bearing and distance of a sound in space. The challenge of sound source localization has been a major are of research for engineers, especially those studying robotics, for decades. One of the main topics of focus is the ability for robots to track objects, human voices, or other robots robustly and accurately. Common ways to accomplish this goal may use large arrays, computationally intensive machine learning methods, or known dynamic models of a system which may not always be available. We seek to simplify this problem using a minimal amount of inexpensive equipment alongside a Bayesian estimator, capable of localizing an emitter using easily available a-priori information and timing data received from a prototype binaural sensor. We perform an experiment in a full anechoic chamber with a sound source moving at a constant speed; this experimental environment provides a space that allows us to isolate the performance of the sensor. We find that, while our current system isn’t perfect, it is able to track the general motion of a sound source and the path to even more accurate tracking in the future is clear. 

   more » « less
2. Learning To Maximize Welfare with a Reusable Resource

   https://doi.org/10.1145/3530893  

   Faw, Matthew; Papadigenopoulos, Orestis; Caramanis, Constantine; Shakkottai, Sanjay (May 2022, Proceedings of the ACM on Measurement and Analysis of Computing Systems)

   Considerable work has focused on optimal stopping problems where random IID offers arrive sequentially for a single available resource which is controlled by the decision-maker. After viewing the realization of the offer, the decision-maker irrevocably rejects it, or accepts it, collecting the reward and ending the game. We consider an important extension of this model to a dynamic setting where the resource is "renewable'' (a rental, a work assignment, or a temporary position) and can be allocated again after a delay period d. In the case where the reward distribution is known a priori, we design an (asymptotically optimal) 1/2-competitive Prophet Inequality, namely, a policy that collects in expectation at least half of the expected reward collected by a prophet who a priori knows all the realizations. This policy has a particularly simple characterization as a thresholding rule which depends on the reward distribution and the blocking period d, and arises naturally from an LP-relaxation of the prophet's optimal solution. Moreover, it gives the key for extending to the case of unknown distributions; here, we construct a dynamic threshold rule using the reward samples collected when the resource is not blocked. We provide a regret guarantee for our algorithm against the best policy in hindsight, and prove a complementing minimax lower bound on the best achievable regret, establishing that our policy achieves, up to poly-logarithmic factors, the best possible regret in this setting. 

   more » « less
3. Information conveyed by voice quality

   https://doi.org/10.1121/10.0024609  

   Kreiman, Jody (February 2024, The Journal of the Acoustical Society of America)

   The problem of characterizing voice quality has long caused debate and frustration. The richness of the available descriptive vocabulary is overwhelming, but the density and complexity of the information voices convey lead some to conclude that language can never adequately specify what we hear. Others argue that terminology lacks an empirical basis, so that language-based scales are inadequate a priori. Efforts to provide meaningful instrumental characterizations have also had limited success. Such measures may capture sound patterns but cannot at present explain what characteristics, intentions, or identity listeners attribute to the speaker based on those patterns. However, some terms continually reappear across studies. These terms align with acoustic dimensions accounting for variance across speakers and languages and correlate with size and arousal across species. This suggests that labels for quality rest on a bedrock of biology: We have evolved to perceive voices in terms of size/arousal, and these factors structure both voice acoustics and descriptive language. Such linkages could help integrate studies of signals and their meaning, producing a truly interdisciplinary approach to the study of voice. 

   more » « less
4. Obtaining Information Leakage Bounds via Approximate Model Counting

   https://doi.org/10.1145/3591281  

   Saha, Seemanta; Ghentiyala, Surendra; Lu, Shihua; Bang, Lucas; Bultan, Tevfik (June 2023, Proceedings of the ACM on Programming Languages)

   Information leaks are a significant problem in modern software systems. In recent years, information theoretic concepts, such as Shannon entropy, have been applied to quantifying information leaks in programs. One recent approach is to use symbolic execution together with model counting constraints solvers in order to quantify information leakage. There are at least two reasons for unsoundness in quantifying information leakage using this approach: 1) Symbolic execution may not be able to explore all execution paths, 2) Model counting constraints solvers may not be able to provide an exact count. We present a sound symbolic quantitative information flow analysis that bounds the information leakage both for the cases where the program behavior is not fully explored and the model counting constraint solver is unable to provide a precise model count but provides an upper and a lower bound. We implemented our approach as an extension to KLEE for computing sound bounds for information leakage in C programs. 

   more » « less
5. Sound garbage collection for C using pointer provenance

   https://doi.org/10.1145/3428244  

   Banerjee, Subarno; Devecsery, David; Chen, Peter M.; Narayanasamy, Satish (November 2020, Proceedings of the ACM on Programming Languages)

   Garbage collection (GC) support for unmanaged languages can reduce programming burden in reasoning about liveness of dynamic objects. It also avoids temporal memory safety violations and memory leaks.SoundGC for weakly-typed languages such as C/C++, however, remains an unsolved problem. Current value-based GC solutions examine values of memory locations to discover the pointers, and the objects they point to. The approach is inherently unsound in the presence of arbitrary type casts and pointer manipulations, which are legal in C/C++. Such language features are regularly used, especially in low-level systems code. In this paper, we propose Dynamic Pointer Provenance Tracking to realize sound GC. We observe that pointers cannot be created out-of-thin-air, and they must have provenance to at least one valid allocation. Therefore, by tracking pointer provenance from the source (e.g., malloc) through both explicit data-flow and implicit control-flow, our GC has sound and precise information to compute the set of all reachable objects at any program state. We discuss several static analysis optimizations, that can be employed during compilation aided with profiling, to significantly reduce the overhead of dynamic provenance tracking from nearly 8× to 16% for well-behaved programs that adhere to the C standards. Pointer provenance based sound GC invocation is also 13% faster and reclaims 6% more memory on average, compared to an unsound value-based GC. 

   more » « less