Showing 1–2 of 2 results for author: Zhuo, X

A Relational Static Semantics for Call Graph Construction

Authors: Xilong Zhuo, Chenyi Zhang

Abstract: The problem of resolving virtual method and interface calls in object-oriented languages has been a long standing challenge to the program analysis community. The complexities are due to various reasons, such as increased levels of class inheritance and polymorphism in large programs. In this paper, we propose a new approach called type flow analysis that represent propagation of type information… ▽ More The problem of resolving virtual method and interface calls in object-oriented languages has been a long standing challenge to the program analysis community. The complexities are due to various reasons, such as increased levels of class inheritance and polymorphism in large programs. In this paper, we propose a new approach called type flow analysis that represent propagation of type information between program variables by a group of relations without the help of a heap abstraction. We prove that regarding the precision on reachability of class information to a variable, our method produces results equivalent to that one can derive from a points-to analysis. Moreover, in practice, our method consumes lower time and space usage, as supported by the experimental results. △ Less

Submitted 15 July, 2019; originally announced July 2019.

A Truthful Auction based Incentive Framework for Femtocell Access

Authors: Sha Hua, Xuejun Zhuo, Shivendra S. Panwar

Abstract: As cellular operators are suffering from a data explosion problem, and users are consequently experiencing poor data services, the introduction of femtocells offers a cost-effective way to mitigate this problem. Femtocells enable larger network capacity by increasing spatial reuse of the spectrum and shortening the distance to the users. Existing work has shown that open access femtocells, which a… ▽ More As cellular operators are suffering from a data explosion problem, and users are consequently experiencing poor data services, the introduction of femtocells offers a cost-effective way to mitigate this problem. Femtocells enable larger network capacity by increasing spatial reuse of the spectrum and shortening the distance to the users. Existing work has shown that open access femtocells, which allow unregistered macro users to connect, are efficient in reducing inter-cell interference and offloading traffic. However, a major obstacle constraining the potential capability of femtocells and open access is the lack of incentives for privately-owned femtocells to serve unregistered users. Hence in this paper, we propose a Vickrey-Clarke-Groves (VCG) auction based incentive framework for accessing such selfish femtocells. We consider two scenarios: One scenario involves a single macro user and another scenario has multiple macro users. We design auction schemes for both scenarios and show analytically that our schemes are truthful and have low computational complexity. Extensive simulations validate these properties and show huge performance improvement to the macro users. △ Less

Submitted 16 January, 2013; v1 submitted 17 October, 2012; originally announced October 2012.