Jinghao Shi
Jinghao Shi
Facebook
Verified email at buffalo.edu - Homepage
Title
Cited by
Cited by
Year
Process for producing particles of amine reaction products
A Busch, M HomblÚ, C Laudamiel, J Smets, R Trujillo, J Wevers
US Patent 6,740,713, 2004
38*2004
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
332016
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
272014
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
102015
Wireless protocol validation under uncertainty
J Shi, SK Lahiri, R Chandra, G Challen
Formal methods in system design 53 (1), 33-53, 2018
92018
CRAWDAD Dataset Buffalo/PhoneLab-Wifi (v. 2016-03-09)
J Shi, C Qiao, D Koutsonikolas, G Challen
62016
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
Why and how to use phonelab
J Shi, E Santos, G Challen
GetMobile: Mobile Computing and Communications 19 (4), 32-38, 2016
32016
Verifi: Model-driven runtime verification framework for wireless protocol implementations
J Shi, S Lahiri, R Chandra, G Challen
arXiv preprint arXiv:1808.03406, 2018
22018
Method and apparatus for processing data and computer system
LAM KingTin, J Shi, CL Wang, W Zhu
US Patent 9,824,011, 2017
12017
maybe We Should Enable More Uncertain Mobile App Programming
G Challen, JA Ajay, N DiRienzo, O Kennedy, A Maiti, A Nandugudi, ...
12014
Lessons from Four Years of PHONELAB Experimentation
J Shi, E Santos, G Challen
arXiv preprint arXiv:1902.01929, 2019
2019
Verification of a wireless protocol implementation
R Chandra, J Shi, SM Sarmast, MA Champion, SK Lahiri
US Patent 9,883,412, 2018
2018
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–15