Yu Jiang (姜 宇)

 


        Yu Jiang Ph.D.
      
        
Assistant Professor

        School of Software,  Tsinghua University,  China

        Software System and Engineering Lab

        Email: jy1989@mail.tsinghua.edu.cn

        Address: 11-319, East-Main Building, Tsinghua, Beijing
 


         Open positions: If you would like to work with me, please email  your resume, and a statement of research interests, 
         with the following subject: [Postdoc/PhD./Master/Visiting Application] Name+Major+School.         
     
         Research interests: Formal methods, model driven design, program analysis, and cyber-physical system. 
        

Biography


I received the BS degree in software engineering from the Beijing University of Post and Telecommunication, China, in 2010.6. 
I got my PhD. degree in computer science under the supervision of Prof. Jiaguang Sun  from the Tsinghua University in 2015.1. 
I worked with Prof. Lui Sha as a Postdoc in the University of Illinois at Urbana-Champaign, USA,  between 2015.03---2016.08. 


Selected Awards

Distinguished Dissertation Award, China Computer Federation (CCF): 2015
Outstanding Dissertation of Tsinghua, China: 2015
First Prize in Science and Technology Research of People.com, China: 2014
National Scholarship for Doctorate, China: 2013
National Scholarship for Undergraduates, China: 2009
Excellent Student of Beijing, China: 2008


Selected Publications [Full List]
2017

Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang*, Po-Liang Wu and Lui Sha:
"Toward Safe Interoperation in Network Connected Medical CPS Using Open-Loop Safe Protocol",
ACM/IEEE 36th International Conference on Computer Aided Design(ICCAD
), USA, 2017.

Yu Jiang, Mingzhe Wang, Han Liu,  Mohammad Hosseini and Jiaguang Sun :
"Dependable Integrated Clinical System Architecture with Runtime Verification",
ACM/IEEE 36th International Conference on Computer Aided Design(ICCAD
), USA, 2017. 

Yixiao Yang, Yu Jiang*, Han Liu, Jian Gao, Ming Gu and Jiaguang Sun:
"A Language Model for Statement of Software Code".
ACM/IEEE 32nd International Conference on Automated Software Engineering (ASE), USA, 2017.

Yuexing Wang, Min Zhou, Yu Jiang*, Xiaoyu Song, Ming Gu and Jiaguang Sun:
"A Static Analysis Tool with Optimization for Reachability Determination".
ACM/IEEE 32nd International Conference on Automated Software Engineering (ASE), USA, 2017.

Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, and Thomas Henzinger:
"Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters".
ACM/IEEE 20th 
International Conference on Hybrid Systems: Computation and Control (HSCC), USA, 2017. 

Han Liu, Chengnian Sun, Zhengdong Su, Yu Jiang*, Ming Gu, and Jiaguang Sun:
"Stochastic Optimization of Program Obfuscation",
ACM/IEEE 39th International Conference on Software Engineering (ICSE), Argentina, 2017. 

Xun Jiao, Yu Jiang*, Abbas Rahimi, and Rajesh Gupta:
"SLoT: A Supervised learning Model to Predict Dynamic Timing Errors of Functional Units".
ACM/IEEE 20th Design, Automation, and Test in Europe (DATE), Switzerland, 2017.

Xun Jiao, Vincent Camus, Mattia Cacciotti, Yu Jiang*, Christian Enz and Rajesh Gupta
"Combining Structural and Timing Error in Overclocked Inexact Speculative Adders"
ACM/IEEE 20th Design, Automation, and Test in Europe (DATE), Switzerland, 2017.

Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, and Lui Sha:
"Modeling and Integrating Physical Environment Assumptions in Medical Cyber-Physical System Design".
ACM/IEEE 20th Design, Automation, and Test in Europe (DATE), Switzerland, 2017.

Mohammad Hosseini, 
Yu Jiang*, Richard R.Berlin, Lui Sha:
"A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport"
ACM 8th  Multimedia System Conference(MMSys), Taiwan, 2017.

Mohammad Hosseini, 
Yu Jiang*, Richard R.Berlin, Lui Sha:
"Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances"
IEEE Transactions on Multimedia(TMM), Accepted, 2017.

Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun and Lui Sha:[Extension of RTAS'16]
"Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation".
ACM Transactions on Cyber-Physical Systems (TCPS), Accepted, 2017. 

Yu Jiang, Han Liu, Houbing Song, 
 Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha:[Extension of FM'16]
"Safety-Assured Model-Driven Desing of the Multifunction Vehicle Bus Controller",
IEEE Transactions on Intelligent Transportation Systems (T-ITS), Accepted, 2017.

2016

Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, and Ming Gu:
"An Integrated Medical CPS for Early Detection of Paroxysmal Sympathetic Hyperactivity"
IEEE 10th International Conference on Bioinformatics and Biomedicine(BIBM), China, 2016

Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha:
"Safety-Assured Formal Model-Driven Desing of the Multifunction Vehicle Bus Controller",
Springer 21st International Symposium on Formal Methods(FM), Cyprus, 2016.

Han Liu, Yu Jiang*, Huafeng Zhang, Ming Gu and Jiaguang Sun:
"Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers".
Springer 21st International Symposium on Formal Methods(FM), Cyprus, 2016.

Xun Jiao, Yu Jiang*, Abbas Rahimi, and Rajesh Gupta:
"A Workload-Based Learning Model to Predict Dynamic Delay of Functional Units".
IEEE 34th International Conference on Computer Design (ICCD), USA, 2016.

Huafeng ZhangYu Jiang*, Han Liu, Ming Gu and Jiaguang Sun:
"Tsmart-BIPEX: An integrated Graphical Design Toolkit for Software System",
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), France, 2016.
 

Yixiao Yang, Yu Jiang*, Ming Gu and Jiaguang Sun:
"Verifying Simulink Stateflow Model-Timed Automata Approach".
ACM/IEEE 31st International Conference on Automated Software Engineering (ASE), Singapore, 2016.

Huafeng ZhangYu Jiang*, Han Liu, Hehua Zhang, Ming Gu and Jiaguang Sun:
"Model Driven Design of Heterogeneous Synchronous Embedded Systems",
ACM/IEEE 31st International Conference on Automated Software Engineering (ASE), Singapore, 2016.
 

Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jiaguang Sun and Lui Sha:
"Use Runtime Verification to Improve the Quality of Medical Care Practice",
ACM/IEEE 38th International Conference on Software Engineering (ICSE): 112-122, USA, 2016. 

Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha:
"From Stateow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design".
ACM/IEEE 22nd Real Time Technology and Applications Symposium (RTAS): 231-241, Austria, 2016. 

Chunhui Guo, Shangping Ren, Yu Jiang, Poliang Wu, Richard B. Berlin Jr, MD and Lui Sha:
"Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models",
ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS): 1-10, Austria, 2016

Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, and Lui Sha:[Extension of ICSE'16]
"Data-centered Runtime Verification of Wireless Medical Cyber-physical System".
IEEE Transactions on Industry Informatics(TII), Accepted, 2016.


2015

Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang  Sun: 
"Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks".
IEEE  Transactions on Parallel and Distributed Systems(TPDS) , 26(8)2220-2232(2015) 

Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun: [Extension of FSE'13b]
" Design and Optimization of Multi-clocked Embedded Systems using Formal Techniques",
IEEE Transactions on Industrial Electronics(TIE), 62(2):1270-1278(2015) 

2014

Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jiaguang Sun: 
"Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems",
ACM  22nd  Symposium on the Foundations of Software Engineering (FSE):711-714, Hongkong  2014

Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song,  Ming Gu, and Jiaguang Sun: [Extension of FSE'13a]
"System Reliability Calculation Based on the Run-time Analysis of Ladder Program",  
IEEE Transactions on Industrial Electronics(TIE), Accepted (2014) 

Hehua Zhang, Yu Jiang*, William N. N. Hung, Xiaoyu Song, Ming Gu and Jiangguang Sun: [Extension of ICFEM'11]
"Symbolic Analysis of Programmable Logic Controllers",
IEEE Transactions on Computers(TC),   63(10): 2563-2575 (2014) 

2013

Hehua Zhang, Yu Jiang*, William N. N. Hung, Xiaoyu Song, Ming Gu and Jiangguang Sun:
"Sequential Dependency and Reliability Analysis of Embedded System" ,
IEEE/ACM 18th Asia and South Pacific Design Automation Conference (ASP-DAC): 423-428, Japan,  2013

Yu Jiang, Zhonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun:
"Design and Optimization of Multi-clocked Embedded Systems Using Formal Technique",
IEEE/ACM 21th Symposium on the Foundations of Software Engineering(FSE): 695-698, Sankt Peterburg,  Russia,  2013

Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song,  Ming Gu, and Jiaguang Sun:
"System Reliability Calculation Based on the Run-time Analysis of Ladder Program",
IEEE/ACM 21th Symposium on the Foundations of Software Engineering(FSE):703-706, Sankt Peterburg,  Russia,  2013

Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, and Jiaguang Sun: [Extension of SERE'12]
"Bayesian Network Based Reliability Analysis of PLC Systems",
IEEE Transactions on Industrial Electronics(TIE), 60(11): 5325-5336 (2013) 

Software & Project


DATE: A dynamic analysis and testing platform for real-world concurrent Java applications. (PI)

Tsmart-Edola: An integrated model-driven development environment for synchronous systems. (Participants)


Professional Service
Reviewer :
IEEE transactions on Parallel and Distributed Systems,
Elsvier Neurocomputing,

IEEE transactions on Industry Informatics, etc

TPC Member :
33rd IEEE International Conference on Software Maintance and Evoluation(ICSME), Tool Track, 2017.
22nd IEEE International Confercenc on Computers and Communications(ISCC), 2017.
17th Springer International Conference on Algorithms and Architecture for Parallel Processing(ICA3PP), 2017.

5th IEEE International Workshop on Cloud Computing Systems, Networkings, and Applications(CCSNA), 2016, 2017. etc.
 
Comments