Zobrazeno 1 - 10
of 88
pro vyhledávání: '"Ardalan Amiri Sani"'
Publikováno v:
Proceedings of the 28th Annual International Conference on Mobile Computing And Networking.
Publikováno v:
Proceedings of the 20th Annual International Conference on Mobile Systems, Applications and Services.
Publikováno v:
ACM SIGMETRICS Performance Evaluation Review. 48:113-119
Causal profiling is a novel and powerful profiling technique that quantifies the potential impact of optimizing a code segment on the program runtime. A key application of causal profiling is to analyze what-if scenarios which typically require a lar
Publikováno v:
Proceedings of the 44th International Conference on Software Engineering.
Autor:
Kai Wang, Xuandong Li, Wensheng Dou, Guoqing Harry Xu, Yiyu Zhang, Ardalan Amiri Sani, Zhiqiang Zuo, Linzhang Wang, Aftab Hussain, Chenxi Wang, Shenming Lu
Publikováno v:
ACM Transactions on Computer Systems. 38:1-39
There is more than a decade-long history of using static analysis to find bugs in systems such as Linux. Most of the existing static analyses developed for these systems are simple checkers that find bugs based on pattern matching. Despite the presen
Publikováno v:
MobiSys
Voice assistants raise serious security and privacy concerns because they use always-on microphones in sensitive locations (e.g., inside a home) and send audio recordings to the cloud for processing. The cloud transcribes these recordings and interpr
Publikováno v:
HotOS
Since its creation, cloud computing has always taken a provider-dictated approach, where cloud providers define and manage the cloud to accommodate the user needs they deem important. We propose "User-Defined Cloud", or UDC, a new cloud scheme that a
Publikováno v:
ASAP
Edge computing can potentially provide abundant processing resources for compute-intensive applications while bringing services close to end devices. With the increasing demands for computing acceleration at the edge, FPGAs have been deployed to prov
Autor:
Ardalan Amiri Sani, Sung Eun Kim, Yuxin (Myles) Liu, Tianmei Ann Huang, Sharad Agarwal, Saeed Mirzamohammadi
Publikováno v:
MobiSys
A legal contract is an agreement between two or more parties as to something that is to be done in the future. Forming contracts electronically is desirable since it is convenient. However, existing electronic contract platforms have a critical short
Publikováno v:
EuroSys
Selective symbolic execution (SSE) is a powerful program analysis technique for exploring multiple execution paths of a program. However, it faces a challenge in analyzing programs with environments that cannot be modeled nor virtualized. Examples in