Dr. Yu Huang
State Key Laboratory for Novel Software Technology, Nanjing University
Department of Computer Science and Technology, Nanjing University
163 Xianlin Street, Qixia District, Nanjing, Jiangsu Province, China, 210023
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,
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.
To potential students
- Distributed algorithms
- Distributed systems
- Formal specification and verification
- Software system reliability
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
- Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu
Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores
IEEE Trans. on Parallel and Distributed Systems, accepted, Nov. 2020.
- Hengfeng Wei, Ruize Tang, Yu Huang, Jian Lu
Jupiter Made Abstract, and then Refined
Journal of Computer Science and Technology, accepted, Aug. 2020.
- Yu Huang (with Kaile Huang and Hengfeng Wei)
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers
in proc. of the ACM Symposium on Principles of Distributed Computing (PODC), Aug. 2020.
[ arXiv:2001.07855, Jan. 2020;
video of presentation. ]
- Xue Jiang, Hengfeng Wei, Yu Huang
A Generic Specification Framework for Weakly Consistent Replicated Data Types
in proc. of the 39th International Symposium on Reliable Distributed Systems (SRDS), Sep. 2020.
- Xingchen Yi, Hengfeng Wei, Yu Huang, Lei Qiao, Jian Lu
TPaxos in PaxosStore: Derivation, Specification and Refinement (in Chinese)
Journal of Software, 31(8), 2020.
- Ye Ji, Hengfeng Wei, Yu Huang, Jian Lu
Specifying and Verifying CRDT Protocols Using TLA+ (in Chinese)
Journal of Software, 31(5), 2020.
- Yuqi Zhang, Yu Huang, Hengfeng Wei, Jian Lu
Remove-Win: a Design Framework for Conflict-free Replicated Data Collections
arXiv:1905.01403, May 2019.
- 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.
- 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.
- 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.
Awards and Recognition
Award for Distinguished Computer Science Major Teachers in Universities.
Hengfeng Wei, Ph.D Dissertation Award, China Computer Federation (CCF), 2017.
Yiling Yang, Ph.D Dissertation Award, China Computer Federation (CCF), 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 (out of 10) team member of the project "Key Techniques, Platforms and
Applications of Internetware", 2011.
Last updated: 11/09/2020.