XIA Mingyuan will give a talk about Memory Leaks in Smartphone Apps
Xia Mingyuan(夏鸣远) will give a talk about “Why Application Errors Drain Battery Easily? A Study of Memory Leaks in Smartphone Apps （HotPower 2013）” on Dec. 23, 2:00 PM, Software Building 5407
Ed Clarke’s talk about Model Checking in Suzhou
On November 23, our group (Zhengwei Qi, Haiyang Sun, and Lu Gong) participated Ed Clarke’s (Turing Award 2007) academic workshop on Model Checking, and discussed with Prof. Xinyu Feng’s team in USTC Suzhou Institute.
Adrian Perrig’s talk about Accountable Key Infrastructure (AKI) at 10:00 AM on August 22.
时间： 8月22日，上午10点
地点： 电信学院3号楼404会议室
Title： Accountable Key Infrastructure (AKI): A Proposal for a Public-Key Validation Infrastructure AKItalk [PDF file]
Wang Bing(王宾) will give a talk about current status, challenges, and future trends about data center networks at 19:30 PM, April 1st, 5407 room, software building.
Walter Binder will give a talk on Mar. 20, 10:00 AM, Software Building 5407
Title: Understanding the runtime behavior of complex systems: A quest for efficient and modular program analysis tools
Title: Model-driven software composition: from flow languages to natural languages
Time: Nov. 12, 2:00 PM
Place: 5407 Software Building
Time: Nov. 9, 2:00 PM
Place: 5407 Software Building
Speaker: Deji Chen, PHD，University of Texas at Austin，Senior principal software engineer at Emerson Process Management.
Title: IPv6 Over WirelessHART – Networking Infrastructure of Wireless Embedded Internet
Dr. Yunshan Zhu’s talk- Prove Theorems, Find Bugs and Make Profits
Title: Prove Theorems, Find Bugs and Make Profits
Time: Nov. 5, 2:30 PM
Place: 5407 Software Building
Welcome Prof. Kai Chen to Visit Our Lab
Topics:
A Flexible Optical Switching Architecture for Data Center Networks slides
Prof. Kai Chen will visit SJTU on Aug.13-14.
Title: A Flexible Optical Switching Architecture for Data Center Networks
Time: 10:00 AM, August 13
Place: 5407 Room, Software Building