Dr. Yu Huang

Professor

State Key Laboratory for Novel Software Technology, Nanjing University

Department of Computer Science and Technology, Nanjing University

Postal address:
163 Xianlin Street, Qixia District, Nanjing, Jiangsu Province, China, 210023

 
Phone: 86-25-89686021
Fax: 86-25-83593283
Email:

Short biography

In July 2007, I joined the State Key Laboratory for Novel Software Technology, Nanjing University. I am a faculty member of the Institute of Computer Software and the Dept. of Computer Science and Technology, Nanjing University. I worked as an assistant professor from 2007 to 2009, and as an associate professor from 2010 to 2016. I was promoted professor in 2017.

I got my Ph.D. in computer science from the University of Science and Technology of China (USTC) in Jun. 2007. My supervisor is Prof. Yulin Feng. I got my bachelor's degree in computer science from USTC in Jun. 2002. Before entering USTC, I studied in the Suzhou Middle School, Suzhou China, from Sep.1995 to Jun.1997.

I studied in the Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences (TCSE, ISCAS), as a co-educated Ph.D. student of both USTC and TCSE ISCAS from Sep. 2003 to Jul. 2007. From Sep. 2005 to Sep. 2006, I studied in the Department of Computing, Hong Kong Polytechnic University, as a visiting student.

Research interests

  • Distributed algorithms and systems
  • Formal specification and verification
  • Cloud computing systems
To potential students

I am recruiting well motivated and dedicated Ph.D. / master students to do research in above-mentioned areas. Undergraduate students are also encouraged to contact me, to work on related topics.

Selected publications

  1. Hengfeng Wei, Yu Huang, Jian Lu
    Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
    In proc. of the 36th International Conference on Reliable Distributed Systems (SRDS), Sep. 2017.

  2. Hengfeng Wei, Yu Huang, Jian Lu
    Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
    IEEE Transactions on Computers, 66(3):502-514, Mar. 2017.

  3. Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, Jian Lu
    Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas
    IEEE Transactions on Parallel and Distributed Systems, 27(5):1511-1523, May 2016.

  4. Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
    Enabling Context-awareness by Predicate Detection in Asynchronous Environments
    IEEE Transactions on Computers, 65(2):522-534, Feb. 2016.

  5. Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
    Design of a Sliding Window over Distributed and Asynchronous Event Streams
    IEEE Transactions on Parallel and Distributed Systems, 25(10):2551-2560, Oct. 2014.

  6. Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
    Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments
    IEEE Transactions on Parallel and Distributed Systems, 24(8):1546-1555, Aug. 2013.

  7. Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, Xianping Tao, Jian Lu
    Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
    IEEE Transactions on Parallel and Distributed Systems, 23(4): 744-750, Apr. 2012.

  8. Yu Huang, Jiannong Cao, Beihong Jin, Xianping Tao, Jian Lu, Yulin Feng
    Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks
    IEEE Transactions on Parallel and Distributed Systems, 21(8):1150-1161, Aug. 2010.

Awards and Recognition

  • Yiling Yang, Ph.D Dissertation Award, China Computer Federation, 2016.
  • "Climb the Summit" Program, Level B, Nanjing University, 2014.
  • Yiling Yang, "Distinguished New Research Scholar" award for PhD students, Ministry of Education of China, 2012.
  • First Class Award for Techniques and Inventions, Ministry of Education of China, as the 9th team member of the project "Key Techniques, Platforms and Applications of Internetware", 2011.

Professional activities

  • Editorial Board Member
  • Member of program committees
    • PerCom (2014~2017), Mass'2014, ICPADS'12

Links


Last updated: Jul. 5, 2017.