| 2007 | APSEC | Checking Distributed Programs with Partially Ordered Atoms. | Hon Fung Li, Eslam Al Maghayreh |
| 2007 | DASC | Using Atoms to Simplify Distributed Programs Checking. | Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami |
| 2007 | ICPADS | Using synchronized atoms to check distributed programs. | Hon Fung Li, Eslam Al Maghayreh |
| 2007 | PDCAT | Detecting Atomicity Errors in Message Passing Programs. | Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami |
| 2006 | PDCAT | A Locality-Driven Atomic Group Checkpoint Protocol. | Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami |
| 2005 | HiPC | Extensible Parallel Architectural Skeletons. | Mohammad Mursalin Akon, Ajit Singh, Dhrubajyoti Goswami, Hon Fung Li |
| 2005 | ISPA | Developing High-Performance Parallel Applications Using EPAS. | Mohammad Mursalin Akon, Ajit Singh, Xuemin Shen, Dhrubajyoti Goswami, Hon Fung Li |
| 2005 | PACT | A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons. | Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li |
| 2004 | ISPA | SuperPAS: A Parallel Architectural Skeleton Model Supporting Extensibility and Skeleton Composition. | Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li |
| 2004 | ISPA | A Fault-Tolerant Multi-agent Development Framework. | Lin Wang, Hon Fung Li, Dhrubajyoti Goswami, Zunce Wei |
| 2004 | PDPTA | DAMon: A Distributed Monitoring System for User Defined Application Parameters. | Mohammad Mursalin Akon, Ramgopal Rajagopalan, Dhrubajyoti Goswami, Hon Fung Li |
| 2004 | PDPTA | On-the-Fly Agent-Based Distributed Shared State Monitoring. | Anirban Majumdar, Trong Khiem Tran, Eslam Al Maghayreh, Hon Fung Li, Dhrubajyoti Goswami |
| 2004 | PDPTA | Composable Skeletons for Parallel Programming. | Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami |
| 2002 | SCAM | Predicate-Based Dynamic Slicing of Message Passing Programs. | Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami |
| 1993 | CAV | Verifying Timed Behavior Automata with Input/Output Critical Races. | David K. Probst, Hon Fung Li |
| 1992 | CAV | Verifying Timed Behavior Automata with Nonbinary Delay Constraints. | David K. Probst, Hon Fung Li |
| 1991 | CAV | Partial-Order Model Checking: A Guide for the Perplexed. | David K. Probst, Hon Fung Li |
| 1991 | ICCD | Synthesis of Delay-Insensitive Circuits by Refinements into Atomic Threads. | Hon Fung Li, S. C. Leung, P. N. Lam |
| 1990 | CAV | Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems. | David K. Probst, Hon Fung Li |
| 1990 | ICPR | Detecting parameteric curves using the straight line Hough transform. | Derek C. W. Pao, Hon Fung Li, R. Jayakumar |
| 1988 | ICDE | Scheduling of Page Fetches in Join Operations Using Bc-Trees. | Pankaj Goyal, Hon Fung Li, Eric Regener, Fereidoon Sadri |
| 1987 | ICDCS | Global State Detection in Non-FIFO Networks. | Hon Fung Li, Thiruvengadam Radhakrishnan, K. Venkatesh |
| 1987 | ICPP | Dynamic Reconfiguration for Fault-Tolerant Systolic Arrays. | Derek C. W. Pao, Hon Fung Li, R. Jayakumar |
| 1978 | COMPSAC | A distributed multiprocessor traffic control system. | Hon Fung Li, C. C. Lau |