A paper has been accepted by IEEE S&P 2015

“Effective Real-time Android Application Auditing” has been accepted to appear at IEEE S&P 2015. This was one of 55 accepted out of over 400 submissions. Congratulations! Xia Minyuan(夏鸣远), Gong Lu(龚路), and Lv Yuanhao(吕源皓).

Comments

Yuanhao Lv has presented a paper in UCC 2014

Yuanhao's presentation

Comments

Pro. Masahiro Fujita from Tokyo University visited our lab

Fujita's talk
Professor Fujita gave a talk about his research:

  • Hardware synthesis and complete verification with small numbers of test vectors.
  • Program code clone detection and its application to equivalence checking.
Comments

Zhiyun Qian gave a talk on computer system security

Zhiyun's talk

Comments

Prof. Tao Gu’s Talk: MaLoc: A Practical Magnetic Fingerprinting Approach to Indoor Localization using Smartphones

Gu's talk

Comments

A presentation of ScalaHDL in ICCD 2014

Yao's presentation

Comments

Bo Liu has presented a paper in ICSME 2014

Bo's presentation

Comments

A presentation of ScalaHDL

Li Yao(李垚) ’s presentation of ScalaHDL with Bjarne Stroustrup.
Yao's talk

Comments

A paper has been accepted by UCC 2014

Loosely-coupled Benchmark Framework Automates Performance Modeling on IaaS Clouds has been accepted by UCC 2014. Congratulations, Ge Xinni(葛馨霓).

Comments

A paper has been accepted by ICSME 2014

Precise Isolation of Concurrency Bugs via Delta Triaging, has been accepted into the Research Track of ICSME 2014. Congruatulations!

Comments