| 2015 | OPODIS | ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. | Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg |
| 2013 | PLDI | AutoSynch: an automatic-signal monitor based on predicate tagging. | Wei-Lun Hung, Vijay K. Garg |
| 2011 | SOSP | Detecting failures in distributed systems with the Falcon spy network. | Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish |
| 2009 | ICCAD | Interpolating functions from large Boolean relations. | Jie-Hong Roland Jiang, Hsuan-Po Lin, Wei-Lun Hung |
| 2008 | DAC | Bi-decomposing large Boolean functions via interpolation and satisfiability solving. | Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung |
| 2007 | ICCAD | Inductive equivalence checking under retiming and resynthesis. | Jie-Hong Roland Jiang, Wei-Lun Hung |
| 2007 | VLSID | Architecting Microprocessor Components in 3D Design Space. | Balaji Vaidyanathan, Wei-Lun Hung, Feng Wang, Yuan Xie, Narayanan Vijaykrishnan, Mary Jane Irwin |
| 2006 | ICCAD | Guaranteeing performance yield in high-level synthesis. | Wei-Lun Hung, Xiaoxia Wu, Yuan Xie |
| 2005 | DATE | Thermal-Aware Task Allocation and Scheduling for Embedded Systems. | Wei-Lun Hung, Yuan Xie, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin |
| 2005 | ICCD | Temperature-Aware Voltage Islands Architecting in System-on-Chip Design. | Wei-Lun Hung, Greg M. Link, Yuan Xie, Narayanan Vijaykrishnan, Nagu R. Dhanwada, John Conner |
| 2004 | ICCD | Thermal-Aware IP Virtualization and Placement for Networks-on-Chip Architecture. | Wei-Lun Hung, Charles Addo-Quaye, Theo Theocharides, Yuan Xie, Narayanan Vijaykrishnan, Mary Jane Irwin |