(To my students: Please let me know if I got your record needs to be updated. You are very welcome to update me of your whereabouts and home page.)

Postdoc (2005-6)

Wing-Kwong Chan, Ricky (PhD 2004, HKU)
Associate Professor, City University of Hong Kong

Current Students

Ming Wen (PhD student working on software change hunks)

Lili Wei (PhD student working on Android fragmentation)

Mijung Kim (PhD student working on automated software testing)

Jiajun Hu (PhD student working on Android hybrid programming)

Seyed Hesamoddin Shahrokhi (PhD student working on Android bug detection)

Huaxun Huang (PhD student)

Yongqiang Tian (PhD student)

King-Sun Chan, Eric (MPhil student working on software product lines)

Shing-Kit Chan, Jason (MPhil student working on dynamic software updates)

Graduated Students

Rongxin Wu (PhD 2017) Thesis: Automated Techniques for Diagnosing Crashing Bugs

Valerio Terragni (PhD 2017) Thesis: Towards Effective Regression Testing of Concurrent Programs
Research staff (University of Lugano)

Yepang Liu (PhD 2015). Thesis: Automated Analysis of Energy Efficiency and Execution Performance for Mobile Applications
Research staff (HKUST)

Wanjun Chen, Melody (MPhil 2015) Thesis: Automatic Spreadsheet Cell Clustering and Smell Detection using Strong and Weak Features
Mercedes (Beijing)

Yueqi Li (PhD 2015). Thesis: Scalable Symbolic Analysis of Large Real World Programs Using API Abstraction and Execution Histories
Google (Mountain View, US)

Qiaona Hong (MPhil 2013). Thesis: The Anatomy of Developer Social Networks
Bank of America

Tate Poon (MPhil 2012). Thesis: A Study of Eliminating Irrelevant Access Patterns for Fault Localization in Concurrent Programs

Liping Gao (MPhil 2011) Thesis: Failure Proximity for Context-Aware Applications
Sogou Tech

Cham-ho Ting, Ivan (MPhil 2010). Thesis: Testing Strategy in Discovering Faults in Workflow

Xinming Wang, Rubin (PhD 2010). Thesis: Automatic Localization of Code Omission Faults
School of Software, Sun Yat-Sen University

Zhifeng Lai (PhD 2010). Thesis: Effective Detection of Atomic-Set Serializability Violation in Multithreaded Programs

Yueqi Li (MPhil 2010). Thesis: Searching Configurations to Reproduce Software Failures
Google (Mountain View, US)

Dongming Xu (MPhil Computer Science and Technology 2009). Thesis: On the testing of the RFID security

Chunlin Zhu (MPhil 2009). Thesis: Classify and Rank Daikon Invariants on Embedded Systems
CMB Capital International (招银国际)

Chunyang YE, Jerry (PhD 2008). Thesis: Atomicity Analysis for Service Composition
Hainan University

Chang XU (PhD 2008). Thesis: Inconsistency Detection and Resolution for Context-Aware Pervasive Computing
Department of Computer Science, Nanjing University

Tsz Hin NG, Sam (PhD 2008). Thesis: The Effects of Pre-deploying Design Patterns on Software Changes

Mian Qin (MPhil 2008). Thesis: Wireless Sensor Network Fault Localization
Microsoft, Redmond, USA

Yuet-Mei LO, Cindy (MPhil 2005). Thesis: Business Process Atomicity Analysis Supporting Late Task Property Bindings

Yu-Ho YIU, Matt (MSc 2005) Project: A Financial Case Study of B2B System Integration

Wing-Leung CHAN, Christina (MSc 2004)

Sze-Chit HO, Cedric (MPhil 2004). Thesis: A Framework for the Verification of Watermarking Protocols.
Google, Mountain View, USA

Chin-Ching TSOI, Lancelot (MSc 2004). Project: A Survey on Java Web Services Toolkits.
Pacific Supernet

Sze-Wan LEE, Yoki (MSc 2003). Project: A Case Study on Semantic Web Services
Project Manager, PeopleSoft

Kelvin LEUNG (MSc 2002)

Hanif CURREEM (MPhil 2002). Thesis: Digital Copyright Management.
Derivatives Analyst Programmer, ABN AMRO

Zhengdong Xu (MPhil 2001). Thesis: Testing of Distributed Multimedia Systems.

Ting-Pong IP, Vincent (MSc 2000)
Cathay Pacific

Ka-Cheong WONG (MPhil 2000). Thesis: Digital Rights Protection Against Watermark Attacks.
CTO, AsiaPacific.net

Man-Yee CHAN (MPhil 1999). Thesis: Extending White Box Testing to Database Applications.
JPMorgan Chase Bank

Chi-Yung LAM (MPhil 1999). Thesis: Modeling and Analyzing Web-Based Information Systems.

Kam-Fai LEUNG (MPhil 1998). Thesis: A Framework for the Flexible Coupling of Groupware Widgets.
Head of Equities Wealth at Standard Chartered Bank

Kwok-Hung CHEUNG, Herman (MPhil 1998). Thesis: Compositional Analysis of Distributed Software Systems.

Kam-Keung WONG (MPhil 1997). Thesis: Distributed Multimedia Authoring using Software Structures.

Chun-Man LO (MPhil 1996) Thesis: Verification of Dense Real-Time Distributed Systems by Using Discrete-Time Methods.

Look at the birds flying around: they do not sow seeds, gather a harvest and put it in barns; yet your Father in heaven takes care of them! Aren't you worth much more than birds? Can any of you live a bit longer by worrying about it? Instead be concerned above everything else with the Kingdom of God and with what your Father requires of you, and he will provide you with all these other things. So do not worry about tomorrow; it will have enough worries of its own. There is no need to add to the troubles each day brings. (Matthew: 6:26-27, 33-34)