- EEG and Brain-Computer Interfaces
- Geographic Information Systems Studies
- Mobile Crowdsensing and Crowdsourcing
- Parallel Computing and Optimization Techniques
- Advanced Image and Video Retrieval Techniques
- Formal Methods in Verification
- Logic, programming, and type systems
- Information and Cyber Security
- Software-Defined Networks and 5G
- Network Security and Intrusion Detection
- Indoor and Outdoor Localization Technologies
- Energy Efficient Wireless Sensor Networks
- Cognitive Radio Networks and Spectrum Sensing
- Complex Systems and Time Series Analysis
- IoT-based Smart Home Systems
Hangzhou Dianzi University
2020
Microsoft Research Asia (China)
2016
If we can automatically derive compiler optimizations, might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quality compiler. We developed Souper, synthesizing superoptimizer, see how far these ideas pushed context LLVM. Along way, discovered that Souper's intermediate representation was sufficiently similar one Microsoft Visual C++ applied Souper as well. Shipping, or about-to-ship, versions both compilers contain optimizations...
Cooperative spectrum sensing (CSS) is the key function of cognitive radio (CR) system to identify available spectrum. However, nature aggregating data makes CSS offer opportunities for Byzantine attackers undermine CR. In this letter, on basis a generalized soft attack model, we theoretically analyze strategies in absence any defense, terms strength and probability. Further, introduce classical trust-value based algorithm conduct evaluate security attackers, with aim providing guideline...
As a basic and fundamental problem in wireless sensor network (WSN), the coverage greatly reflects performance of information transmission WSN. In order to achieve good balance between target energy consumption, this paper, we propose novel efficient method based on genetic algorithm. Particularly, goal work is cover 2D sensing area via selecting minimum number sensors. Moreover, deployed sensors should be connected let each path base station. Afterwards, algorithm used compute potential...
This paper presents ThereNow, a LBS[Junglas and Watson 2008] mobile application designed to get close-to-real-time answers for situational queries about real-world locations. Two key issues in this scenario are: extracting information from existing data answer user queries; easily acquiring more or information, if it doesn't exist yet the system. can be problematic due format semantics of cost (time resources) collecting it. ThereNow takes unique design approach where relies on images/photos...