Follow
Jinghao Shi
Jinghao Shi
Facebook
Verified email at buffalo.edu - Homepage
Title
Cited by
Cited by
Year
A walk on the client side: Monitoring enterprise wifi networks using smartphone channel scans
J Shi, L Meng, A Striegel, C Qiao, D Koutsonikolas, G Challen
IEEE INFOCOM 2016-the 35th annual IEEE international conference on computer …, 2016
562016
Crowdsourcing access network spectrum allocation using smartphones
J Shi, Z Guan, C Qiao, T Melodia, D Koutsonikolas, G Challen
Proceedings of the 13th ACM workshop on hot topics in networks, 1-7, 2014
312014
CRAWDAD dataset buffalo/phonelab-WiFi (V. 2016–03-09)
J Shi, C Qiao, D Koutsonikolas, G Challen
CRAWDAD wireless network data archive 3, 2016
142016
Wireless protocol validation under uncertainty
J Shi, SK Lahiri, R Chandra, G Challen
Formal methods in system design 53, 33-53, 2018
112018
A little sharing goes a long way: The case for reciprocal wifi sharing
J Shi, L Gui, D Koutsonikolas, C Qiao, G Challen
Proceedings of the 2nd International Workshop on Hot Topics in Wireless, 6-10, 2015
112015
Verifi: Model-driven runtime verification framework for wireless protocol implementations
J Shi, S Lahiri, R Chandra, G Challen
arXiv preprint arXiv:1808.03406, 2018
42018
Rhymes: A shared virtual memory system for non-coherent tiled many-core architectures
KT Lam, J Shi, D Hung, CL Wang, Z Lai, W Zhu, Y Yan
2014 20th IEEE International Conference on Parallel and Distributed Systems …, 2014
42014
Verification of a wireless protocol implementation
R Chandra, J Shi, SM Sarmast, MA Champion, SK Lahiri
US Patent 9,883,412, 2018
32018
Why and how to use phonelab
J Shi, E Santos, G Challen
GetMobile: Mobile Computing and Communications 19 (4), 32-38, 2016
32016
Lessons from Four Years of PHONELAB Experimentation
J Shi, E Santos, G Challen
arXiv preprint arXiv:1902.01929, 2019
22019
Method and apparatus for processing data and computer system
LAM KingTin, J Shi, CL Wang, W Zhu
US Patent 9,824,011, 2017
22017
maybe We Should Enable More Uncertain Mobile App Programming
G Challen, JA Ajay, N DiRienzo, O Kennedy, A Maiti, A Nandugudi, ...
12014
Model-based Runtime Verification Framework for Wireless Protocol Implementations
J Shi
State University of New York at Buffalo, 2018
2018
SLIM: Mmap from the Cloud to Device, and Back
J Shi, M Xia, M Wu, L Zhang, Z Zhang
Proceedings of the Second Asia-Pacific Workshop on Systems, 1-5, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–14