Yuanhao Lv has presented a paper in UCC 2014
Pro. Masahiro Fujita from Tokyo University visited our lab
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.
Li Yao(李垚) ’s presentation of ScalaHDL with Bjarne Stroustrup.
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(葛馨霓).
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!
A paper has been accepted by Modularity 2015
“A Programming Model and Framework for Comprehensive Dynamic Analysis on Android” has been accepted for publication in the conference. Congratulations for Sun Haiyang(孙海洋) and Zheng Yudi(郑雨迪).