时间： 12月28－29日 09:00-10:30
12月28日 9:00-10:30 AM
Title: Intelligent Sensing
Presenters: Daqing Zhang, Kaigui Bian, Leye Wang, Chenren Xu
Abstract: With the prevalence of ubiquitous sensing sources such as smartphones, cameras, and WiFi, we can obtain a rich set of digital signals that can intelligently monitor and analyze our daily life. While with a great potential, ubiquitous intelligent sensing technologies still face a variety of fundamental challenges like sensing generalizability, energy consumption, privacy protection, etc. In this session, we would introduce our recent research achievements in intelligent sensing, including wireless sensing with ubiquitous RF signals, inertial and visual sensing, backscatter networking for battery-free sensing, and privacy-preserving mobile crowd sensing.
Title: Intelligent Software Engineering: Synergy between AI and Software Engineering
Presenters: Tao Xie, Ge Li
Abstract: As an example of exploiting the synergy between AI and software engineering, the field of intelligent software engineering has emerged with various advances in recent years. Such field broadly addresses issues on intelligent [software engineering] and [intelligence software] engineering. The former, intelligent [software engineering], i.e., AI4SE, focuses on instilling intelligence in approaches developed to address various software engineering tasks to accomplish high effectiveness and efficiency. The latter, [intelligence software] engineering, i.e., SE4AI, focuses on addressing various software engineering tasks for intelligence software, e.g., AI software. This talk will discuss recent research and future directions in the field of intelligent software engineering.
12月29日 9:00-10:30 AM
Title: Programming Languages Research at Peking University
Presenters: Zhenjiang Hu, Yingfei Xiong, Xin Zhang
Abstract: The Programming Languages research at Peking University aims at building the next-generation programming languages, including their fundamental theories and core infrastructures. Towards this goal, we have proposed the concept of bidirectional transformation and led its research, which formed a new sub-field in programming languages; we have started the new direction of program analysis by combining logic and probabilities, which leads a new paradigm of analyzing programs; we have proposed a data-driven framework for program synthesis and repair, which doubles the precision of program repair and consequently solves the key bottleneck preventing industry adoption. Based on these results, we are developing new techniques for building the next-generation programming languages and their infrastructures, such as: 1. how to efficiently develop domain-specific languages, 2. how to synthesize complex algorithms, and 3. how to build reliable artificial intelligence.
12月29日 20:00-21:30 PM
Company Talk-Microsoft Research Asia: System and Networking