| 2024 | HPCA | Enterprise-Class Cache Compression Design. | Alper Buyuktosunoglu, David Trilla, Blent Abali, Deanna Postles Dunn Berger, Craig R. Walters, Jang-Soo Lee |
| 2014 | APSEC | Guidelines for the Use of Function Block Diagram in Reactor Protection Systems. | Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
| 2014 | ISSRE | A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study. | Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee |
| 2011 | SAFECOMP | Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. | Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
| 2007 | SAFECOMP | Defense-in-Depth and Diverse Qualification of Safety-Critical Software. | Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Mrtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon |
| 2007 | SAFECOMP | Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. | Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh |
| 2006 | SAFECOMP | Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. | Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon |
| 2004 | ISPA | A Space-Efficient On-Chip Compressed Cache Organization for High Performance Computing. | Keun Soo Yim, Jang-Soo Lee, Jihong Kim, Shin-Dug Kim, Kern Koh |
| 2004 | SAFECOMP | PLC-Based Safety Critical Software Development for Nuclear Power Plants. | Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee |
| 2001 | ICCD | A Banked-Promotion TLB for High Performance and Low Power. | Jung-Hoon Lee, Jang-Soo Lee, Seh-Woong Jeong, Shin-Dug Kim |
| 2000 | ICCD | A Selective Temporal and Aggressive Spatial Cache System Based on Time Interval. | Jung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim |
| 1999 | ICCD | Design and Evaluation of a Selective Compressed Memory System. | Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim |
| 1997 | RTCSA | Behavior verification of hybrid real-time requirements by qualitative formalism. | Jang-Soo Lee, Sung Deok Cha |