Byeong-Mo Chang

2007
18	EE	Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh: A programming environment for ubiquitous computing environment. SIGPLAN Notices 42(4): 14-22 (2007)
2006
17	EE	Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh: A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment. EUC Workshops 2006: 650-659
16	EE	Yoonkyung Kim, Byeong-Mo Chang: Visualization of Permission Checks in Java Using Static Analysis. WISA 2006: 133-146
15	EE	Byeong-Mo Chang: Static check analysis for Java stack inspection. SIGPLAN Notices 41(3): 40-48 (2006)
14	EE	Sewon Moon, Byeong-Mo Chang: A thread monitoring system for multithreaded Java programs. SIGPLAN Notices 41(5): 21-29 (2006)
2004
13	EE	Jang-Wu Jo, Byeong-Mo Chang: Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow. ICCSA (1) 2004: 106-113
12	EE	Byeong-Mo Chang, Jong-Deok Choi: Thread-Sensitive Points-to Analysis for Multithreaded Java Programs. ISCIS 2004: 945-954
11	EE	Heejung Ohe, Byeong-Mo Chang: An Exception Monitoring System for Java. RISE 2004: 71-81
10	EE	Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe: An uncaught exception analysis for Java. Journal of Systems and Software 72(1): 59-69 (2004)
2002
9	EE	Byeong-Mo Chang, Jang-Wu Jo, Soon Hee Her: Visualization of Exception Propagation for Java Using Static Analysis. SCAM 2002: 173-
8	EE	Byeong-Mo Chang: Managing the granularity of constraint-based analyses by rule transformation. Inf. Process. Lett. 83(2): 79-88 (2002)
2001
7		Byeong-Mo Chang, Jang-Wu Jo: Estimating Exception-Induced Control Flow for Java. APLAS 2001: 377-387
6		Byeong-Mo Chang, Jang-Wu Jo: Granularity of Constraint-Based Analysis for Java. PPDP 2001: 94-102
5	EE	Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe: Interprocedural exception analysis for Java. SAC 2001: 620-625
1999
4		Kwangkeun Yi, Byeong-Mo Chang: Exception Analysis for Java. ECOOP Workshops 1999: 111-112
1994
3	EE	Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi: Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. SAC 1994: 388-393
1993
2		Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han: Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. Inf. Process. Lett. 47(3): 149-157 (1993)
1		Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han: Static Filtering on Stratified Programs. Inf. Process. Lett. 47(5): 237-244 (1993)

Coauthor Index

1	Joonseon Ahn	[17] [18]
2	Kwang-Moo Choe	[1] [2] [3] [5] [10]
3	Jong-Deok Choi	[12]
4	Kyung-Goo Doh	[17] [18]
5	Roberto Giacobazzi	[3]
6	Taisook Han	[1] [2]
7	Soon Hee Her	[9]
8	Jang-Wu Jo	[5] [6] [7] [9] [10] [13]
9	Yoonkyung Kim	[16]
10	Jiyeon Lee	[18]
11	Sewon Moon	[14]
12	Minkyoung Oh	[18]
13	Heejung Ohe	[11]
14	Kwangkeun Yi	[4] [5] [10]

Colors in the list of coauthors