?
big
首页
学术讲座
当前位置: 首页>>学术讲座>>正文

学术讲座

第12届网络分布式计算与知识发现国际会议

发布部门:软件工程学院   发布人:陈吕洋   发布时间:2020年10月27日 11:37

 

12届网络分布式计算与知识发现国际会议

The 12th Int. Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery CyberC 2020

CyberC 2020是由重庆邮电大学软件工程学院主办,重庆工程学院、南京邮电大学、郑州大学、路易斯维尔大学(University of Louisville)协办,华为、InfoBeyond提供赞助的高水平国际会议,在20201029-30日在重庆举行(受疫情影响,采用腾讯云会议方式国内国外同步线上召开)

CyberC 2020 旨在深入探索人工智能/机器学习方法、大数据、区块链、移动计算、物联网、6G等技术领域的最新研究动态,欢迎广大师生积极参加!

 

会议主要日程

2020 1029

Time

Speaker

Topics

08:50 - 09:00

CQUPT

Opening Speech

09:00 - 10:00

Anup Kumar

Keynote Speech

10:00 - 10:20

Bin Xie

Opening Speech

10:20 - 11:20

David M. Perry

SemCluster: Chustering of Imperative Programming  Assignments Based on Quantitative Semantic Features

11:20- 13:00

Lunch Break

13:00 - 14:40

Paper Session 1

Blockchain and Security

 

Paper Session 2

Security and Privacy

14:40- 16:20

Paper Session 3

Image Processing and NLP

 

Paper Session 4  

Big Data and Machine Learning

2020 1030

Time

Speaker

Topics

09:00 - 09:20

Bin Xie

Logistics

09:20 - 10:20

Lei Zhang

Wireless Blockchain Networks for COVID-I9, 6G, and Automation

10:20 - 11:20

Guangyi Liu

6G beyond 2030: Digital Twin, Ubiquitous Intelligence

11:20- 13:00

Lunch Break

13:00- 14:40

Paper Session 5

Cloud, Database, and Learning Applications

 

Paper Session 6

Machine Learning and Analytics

14:40- 16:20

Paper Session 7

6G, Network, and Wireless Communications Speaker

 

Paper Session 8  

Closing Ceremony and Best Paper Award Presentation

 

报告摘要和作者简介

 

David M. Perry, InfoBeyond Technology LLC, USA

David Perry completed his education from the University of Kentucky and Purdue University (West Lafayette, IN). His research interests are software engineering, programming languages, and program verification. Specifically, he has performed research involving program analysis, automated program verification/testing, semantic-based program clustering, and symbolic execution optimization. He has conducted research at the National Security Agency, Sandia National Laboratory, and MIT Lincoln Laboratory where he contributed to software development for High Performance Computing systems. Since 2018, he has been working at InfoBeyond on R&D projects awarded by the Department of Energy and Department of Defense. David has published several papers at ACM SIGPLAN, ACM ICSE, IEEE/ACM ASE, ACM SIGSOFT, etc.

 

Topic: SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features

Abstract: A fundamental challenge in automated reasoning about programming assignments at scale is clustering student submissions based on their underlying algorithms. State-of-the-art clustering techniques are sensitive to control structure variations, cannot cluster buggy solutions with similar correct solutions, and either require expensive pair-wise program analyses or training efforts. We propose a novel technique that can cluster small imperative programs based on their algorithmic essence: (A) how the input space is partitioned into equivalence classes and (B) how the problem is uniquely addressed within individual equivalence classes. We capture these algorithmic aspects as two quantitative semantic program features that are merged into a program's vector representation. Programs are then clustered using their vector representations. The computation of our first semantic feature leverages model counting to identify the number of inputs belonging to an input equivalence class. The computation of our second semantic feature abstracts the program's data flow by tracking the number of occurrences of a unique pair of consecutive values of a variable during its lifetime. The comprehensive evaluation of our tool SemCluster on benchmarks drawn from solutions to small programming assignments shows that SemCluster (1) generates far fewer clusters than other clustering techniques, (2) precisely identifies distinct solution strategies, and (3) boosts the performance of clustering-based program repair, all within a reasonable amount of time.

 Lei Zhang, James Watt School of Engineering, University of Glasgow, UK

Dr. Lei Zhang is a Senior Lecturer (Associate Professor) at the University of Glasgow, U.K. He received his Ph.D. from the University of Sheffield, U.K. His research interests include wireless communication systems and networks, blockchain technology, data privacy and security, radio access network slicing (RAN slicing), Internet of Things (IoT), multi-antenna signal processing, MIMO systems, etc. He has 19 patents granted/filed in more than 30 countries/regions including US/UK/EU/China/Japan etc. Dr Zhang has published 3 books and 100+ peer-reviewed papers. He received IEEE Communication Society TAOS Best Paper Award 2019. He is a Technical Committee Chair of 5th International conference on UK-China Emerging Technologies (UCET) 2020. He was the Publication and Registration Chair of IEEE Sensor Array and Multichannel (SAM) 2018, Co-chair of Cyber-C Blockchain workshop 2019. He is an associate editor of IEEE Internet of Things (IoT) Journal, IEEE Wireless Communications Letters and Digital Communications and Networks. Dr Zhang’s research was widely covered by media including BBC.

 

Topic: Wireless Blockchain Networks for COVID-19, 6G, and Automation

Abstract: Originally proposed as the backbone technology of Bitcoin cryptocurrency, blockchain has become a revolutionary decentralised data management framework that can transform the way in which we share information. It offers immutable, transparent, secure and auditable ledger in a trust-less distributed environment, to verify the integrity and traceability of information/assets during their life cycle. Moreover, without a central authority’s involvement, blockchain-enabled smart contracts can significantly reduce manual interventions and thus improve efficiency.

  In this talk, wireless blockchain network (WBN), with different network topology and communication protocols, for various commonly used blockchains will be introduced. We will also discover the challenges of WBN, and the relationship between the communication (in terms of spectrum and power provision), and the wireless blockchain network performance (in terms of scalability, throughput and latency, and security). We will try to answer one important question, how much communication resource is needed to run a wireless blockchain network. The talk will present three exemplary use cases we are recently developed: 1), how to use blockchain to achieve privacy-preserving contact tracing APP for COVID-19; 2) how to use blockchain for 5G and beyond spectrum (and computing, power) resource management and sharing; 3), how to use distributed blockchain protocols to achieve high reliable consensus for missing critical industrial IoT and automation.

 

Guangyi Liu, China Mobile, China

Dr. Guangyi Liu, received his PhD. from Beijing University of Posts and Telecommunications in 2006. He joined China Mobile since 2006, now he is the leading specialist and 6G director of China Mobile Group. Before he joined China Mobile, he has worked for Shanghai Bell and Siemens (Now Nokia) for 3 years. He has led the standardization and industrialization of 4G and 5G in China mobile from 2007 to 2019. Now he is leading the research of 6G. He is also acting as the vicechair of THz and mm-wave industry alliance, and has acted as the chair of spectrum working group and coordinator of 5G eMBB program in Global TD-LTE Initiative (GTI). He has been granted more than 1 50 patents, and authored and coauthored more than 7 books and published more than 1 50 papers in IEEE journal and conference.

 

Topic: 6G beyond 2030: digital twin, ubiquitous intelligence

Abstract:  5G has been commercialized globally in large scale since 2019. The new era of Internet of Everything' has been started, which will stimulate the new demand for improved capabilities of mobile network from the perspective of data rate, efficiency and reliability, etc. These demands will drive the mobile communication evolve towards 6G. Now the research of 6G is still in the stage of vision requirements definition and technical exploration, and the 6G key technical directions are still divergent and far from consensus. With the deep integration of DICT, 6G will fully support the digitization of the world to realize the vision of “digital twin, ubiquitous intelligences". The twin digital world is the image of the physical world, helping us to further improve the quality of our life and increase the production efficiency. Some typical application scenarios, such as twin body area networks and sensory interconnections related to human development, super smart transportation, holographic communication and intelligent production related to social development, etc., demand higher and more comprehensive network performance indicator requirements for 6G network, such as extremely high reliability, global terrestrial and non-terrestrial 3D coverage, and 2~3 times the spectrum efficiency improvement.

 

会议地址:

CyberC2020 Main Venue & Session 1,3,5,7   

Link: https://meeting.tencent.com/s/cd9Bj0bR86Eb

(Please Copy and paste this link in your browser to join the meeting.)

Platform: Tencent Meeting (China)/ VooV Meeting (overseas)

Meeting ID: 887 8971 3450

CST:08:30am-18:00pm (10/29/2020-10/30/2020)

Maximum Number of People: 300

Password: N/A

 

恒耀