Wuu Yang's Publications (last updated: 2008.7.25)
Journal publications and book chapters
-
Jen-Yu Fang, Hung-Chi Chu, Rong-Hong Jan, and Wuu Yang,
A multiple power-level approach for wireless sensor network positioning,
Computer Networks,
2008. (accepted)
-
W. Yang, H.-R. Tseng, R.H. Jan, and B.-Y. Shen,
Broadcasting with the least energy is an NP-complete problem,
International Journal of Multimedia and Ubiquitous Engineering,
Vol. 3, No. 3, pp. 55-66, July 2008.
-
H.-R. Tseng, R.H. Jan, and W. Yang,
A bilateral remote user authentication scheme that preserves user anonymity,
Security and Communication Networks, 2008. (accepted)
-
S.C.Huang, R.-H. Jan, and W. Yang,
SCPS: A self-configuring power-saving protocol for
wireless ad hoc networks, Computer Networks, 2008. (accepted)
-
R.-H. Jan, H.-R. Tseng, and W. Yang, Wireless LAN Security, a chapter in Wireless Ad Hoc Networking: Personal-Area, Local-Area, and the Sensory-Area Networks, Auerbach Publications, edited by Shih-Lin Wu and Yu-Chee Tseng, 2007.
-
S.C. Huang, R.H. Jan, and W. Yang,
RICA- A ring-based information collection architecture in wireless sensor networks,
International Journal of Sensor Networks (IJSNet) Vol. 1, No. 3/4,
190-199, 2006.
-
C.W. Huang and W. Yang (2004),
Efficiency and reliability in cluster based peer-to-peer systems,
Journal of Information Science and Engineering (accepted), July 2004.
(NSC 92-2213-E-009-070) (EI).
-
Yafen Li, W. Yang, and C.W. Huang (2005),
Preventing type flaw attacks on security protocols with a simplified tagging scheme,
Journal of Information Science and Engineering (accepted), Vol. 21, No.
1, 59-84, 2005.
(NSC 92-2213-E-009-070)(EI).
-
Jien-Tsai Chan, W. Yang, and J.W. Huang (2004),
Traps in Java,
Journal of Systems and Software, Vol. 72, No. 1, 33-47, 2004.
(NSC 89-2213-E-009-146 and NSC 90-2213-E-009-142) (SCI).
-
Jien-Tsai Chan and W. Yang (2004),
Advanced obfuscation techniques for Java bytecode,
Journal of Systems and Software, Vol. 71, No. 1-2, 1-10, 2004.
(NSC 89-2213-E-009-146 and NSC 90-2213-E-009-142)(SCI).
-
W. Yang, Chey-Woei Tsay, and Jien-Tsai Chan (2002),
On
the applicability of the longest-match rule in lexical analysis,
Computer Languages, Vol. 28, 273-288, 2002.
(NSC 86-2213-E-009-021 and NSC 86-2213-E-009-079) (EI, SCI).
-
Jien-Tsai Chan and W. Yang (2002),
An attribute-grammar framework for specifying the accessibility
in Java programs,
Computer Languages,
Vol. 28, 203-235, 2002.
(NSC 87-2213-E-009-024)(EI, SCI).
-
W. Yang (2002),
Why is 1 + 1 = 2?,
Journal of Information Science and Engineering Vol. 18, 425-443, 2002.
(NSC 89-2213-E-009-014, NSC 89-2213-E-009-068, and NSC 89-2213-E-009-146)(EI).
-
W. Yang (2002),
A classification of non-circular attribute grammars based on the look-ahead behavior,
IEEE Transactions on Software Engineering
Vol. 28, No. 3, 210-227, March 2002.
(SCI, EI, NSC 86-2213-E-009-079) (EI, SCI).
-
W. Yang (2001),
Discovering anomalies in access modifiers in Java with a formal specification,
Journal of Object-Oriented Programming,
Vol. 13, No. 10, 12-18, February 2001.
(NSC 87-2213-E-009-024) (EI, SCI).
-
W. Yang (1999),
A finest partitioning algorithm for attribute grammars,
Computer Languages,
Vol. 25, 145-164, 1999.
(NSC 87-2213-E-009-024) (EI, SCI).
A set of slides is here.
-
W. Yang (1999),
A lattice framework for analyzing context-free languages
with applications in parser simplification and data-flow analysis,
Journal of Information Science and Engineering,
Vol. 15, No. 2, 287-306, 1999.
(NSC 85-2213-E-009-051)(EI).
-
W. Yang and Y.T. Liu (1998),
SSCC: A software tool based on extended ordered attribute grammars,
Proc. National Science Council (Republic of China),
Part A: Physical Science and Engineering, Vol. 23, No. 1, 85-99, 1998.
(NSC 86-2213-E-009-021).
-
W. Yang (1998),
A data-parallel algorithm for minimum-width tree-layout,
Information Processing Letters, Vol. 67, 21-28, 1998.
(NSC 85-2213-E-009-051).
-
W. Yang (1997),
Conditional evaluation in simple multi-visit attribute-grammar evaluators,
Proc. National Science Council (Republic of China),
Part A: Physical Science and Engineering, Vol. 21, No. 6, 601-610, 1997.
(NSC 86-2213-E-009-079).
A set of slides is here.
-
W. Yang (1997),
Incremental LR parsing,
J. of Computers (published by Computer Society of
the Republic of China), Vol. 9, No. 4, 1997.
(NSC 84-2213-E-009-043).
-
W. Yang (1996),
Mealy machines are a better model of lexical analyzers,
Computer Languages, Vol. 22, No. 1, 27-38, 1996.
(NSC 86-2213-E-009-021) (EI, SCI).
-
W. Yang (1995),
On the look-ahead problem in lexical analysis,
ACTA Informatica, Vol. 32, No. 5, 459-476, August 1995.
(NSC 85-2213-E-009-051) (SCI).
An abstract is here.
-
W. Yang (1994),
How to merge program texts,
Journal of Systems and Software, Vol. 27, No. 2, 129-135, 1994.
(NSC 84-2213-2213-E-009-043)(SCI).
-
W. Yang (1993),
An incremental LL(1) parsing algorithm,
Information Processing Letters, Vol. 48, No. 8, 67-72, 1993.
(NSC 82-0113-E-009-265 T).
-
W. Yang, S. Horwitz, and T. Reps (1992), A program integration algorithm
that accommodates semantics-preserving transformations, ACM Transactions
on Software Engineering and Methodology, Vol. 1, No. 3, 310-354, 1992.
-
W. Yang (1991),
Identifying syntactic differences between two programs,
Software-Practice and Experience, Vol. 21, No. 7, 739-755, 1991.
Conference papers
-
Shuai-Wei Huang, Yu-Sheng Chen, Jean Jyh-Jiun Shann,
Wei Chung Hsu, Wuu Yang,
A New Approach for Improving Ported Java JIT Compilers for Embedded Systems,
2008 International Computer Symposium (November 13-15, 2008,
Tamsui, Taiwan), 2008.
-
Jiunn-Yeu Chen, Wuu Yang, Jack Hung, Charlie Su, Wei Chung Hsu,
A Static Binary
Translator for Efficient Migration of ARM based Applications, Workshop on
Optimizations for DSP and Embedded Systems,
IEEE/ACM International Symposium on
Code Generation and Optimization (CGO) (April 6, 2008, Boston, Massachusetts),
2008.
-
Wuu Yang, Huei-Ru Tseng, Rong-Hong Jan, Bor-Yeh Shen,
Broadcasting with the least energy is an NP-complete problem, 2008 International Conference on
Multimedia and Ubiquitous Engineering (MUE 2008), Busan, Korea, 24-26 April,
2008.(NSCNSC-96-2628-E-009-014-MY3 and NSC96-3114-P-001-002-Y)
-
Huei-Ru Tseng, Rong-Hong Jan, and Wuu Yang (2007), "
An Improved Dynamic User
Authentication Scheme for Wireless Sensor Networks", IEEE Global Communications
Conference (GLOBECOM 2007), Washington, DC, USA, Nov. 2007.
(NSC
94-2752-E-009-PAE, NSC 94-2219-E-009-005, and NSC-94-2213-E-009-029)
-
W. Yang and R.-H. Jan (2006),
Requirements for Security Protocols,
Proc. 5th WSEAS International Conference on
Telecommunications and Informatics (TELE-INFO '06), Istanbul, Turkey, May 27-29, 2006.
-
彭垂業、許志行、楊武 (2005),
網路秘密通訊機制,
Proc. 2005 National Computer Symposium, Tainan, Taiwan, December 2005.
-
W. Yang (2005),
Uncovering Attacks On Security Protocols,
Proc. International Conf.
Information Technology and Applications, Vol 2, 572-575, Sydney, Australia, 4-7 July, 2005.
-
C.Y. Chen, Z.Q. Chen, and W. Yang (2005),
Translating Java bytecode to X86 assembly
code, 11th Workshop on Compiler Techniques for High-Performance Computing (Taichung,
Taiwan), March 2005, 59-64.
A full version is avaialbe here.
-
Yafen Li, W. Yang, and C.W. Huang,
Preventing type flaw attacks on security protocols with a simplified tagging scheme,
4th International Symposium on Information and Communication Technologies
(Las Vegas, Nevada, June 16-18), 244-249, June 2004.
(NSC 92-2213-E-009-070).
-
C.W. Huang and W. Yang,
Efficient anonymous communication in peer-to-peer systems,
Proceedings of the 10th Workshop on Compiler Techniques for High-Performance
Computing,
(National Tsing-Hua University, Hsinchu, Taiwan, March 18-19), 26-32, 2004.
(NSC 91-2213-E-009-068).
-
C.W. Huang and W. Yang,
Self-Organization in Peer-to-Peer Systems,
International Conference on Open Source
(Taipei, Taiwan, July 25-27), 2003.
(NSC 91-2213-E-009-068).
-
Wuu Yang and Chey-Woei Tsay (2002),
A logic approach to the verification and testing of security protocols,
IASTED International Conference on Commuincations and Computer Networks (CCN
2002)
(Cambridge, MA, November 4-6), 140-145, 2002.
(NSC 91-2213-E-009-068).
-
Jien-Tsai Chan and Wuu Yang (2002),
Ambiguities in Java,
Proceedings of the Eighth Workshop on Compiler Techniques for High-Performance
Computing,
(National Dong-Hwa University, Hualien, Taiwan, March 14-15), 51-62, 2002.
(NSC 89-2213-E-009-146 and NSC 90-2213-E-009-142).
-
Jien-Tsai Chan and Wuu Yang (2002),
Approaches to make the decompiled Java programs uncompilable,
Proceedings of the Eighth Workshop on Compiler Techniques for High-Performance
Computing,
(National Dong-Hwa University, Hualien, Taiwan, March 14-15), 102-111, 2002.
(NSC 89-2213-E-009-146 and NSC 90-2213-E-009-142).
-
W. Yang and Pin-Chia Feng (2001),
Monona - A poor man's DIY dictionary kit,
National Computere Symposium 2001,
Proceedings of the Workshop on Information System and Knowledge Management,
H074-H081,
(Taipei, Taiwan, December 20-21), 2001.
-
楊武 (W. Yang) (2001),
用公理的方法來驗證十進位的加法,
海峽兩岸交通大學信息與智能系統學術研討會,
(北京,September 14-15,2001),北京北方交通大學
(NSC NSC 89-2213-E-009-014, NSC 89-2213-E-009-068 and NSC 89-2213-E-009-146)。
-
Hisao-Tzu Lu and W. Yang (2000),
A Simple Tree Pattern-Matching Algorightm,
International Computer Symposium 2000, Workshop on Algorithms and Theory
of Computation,
(Chiayi, Taiwan, December 6-8), 2000.
-
Y.-P. Chen and W. Yang (2000),
Java Message Passing Package-A design and implementation of MPI in Java,
Proceedings of the Sixth Workshop on Compiler Techniques
for High-Performance Computing, (Kaohsiung, Taiwan, March 16-17), 2000.
(NSC 88-2213-E-009-006).
-
W. Yang (1999),
A finest partitioning algorithm for attribute grammars,
Proceedings of the Second International Workshop on Attribute Grammars
and Their Applications,
European Joint Conference on Theory and Practice of Software (ETAPS),
(Amsterdam, the Netherlands, March 22-26), 77-92, 1999.
(NSC 87-2213-E-009-024).
A set of slides is here.
-
W. Yang (1998),
Discovering anomalies in access modifiers in Java with a formal specification,
Proceedings of the 1998 International Computer Symposium,
(Tainan, Taiwan, Dec 17-19), 236-243, 1998.
(NSC 87-2213-E-009-024).
-
W. Yang (1998),
Can we always adopt the longest-match rule in a scanner?
Proceedings of the 1998 Workshop on Distributed System Technology
and Applications,
(Tainan, Taiwan, May 14-15), 680-691, 1998.
(NSC 86-2213-E-009-021).
-
J.-W. Huang, J.-T. Chan, and W. Yang (1998),
Automatic parallelization of sequential programs bassed on program dependence,
Proceedings of the 4th Workshop on Compiler Techniques for High-Performance Computing,
(Taichung, Taiwan, March 19-20), 107-117, 1998.
(NSC 86-2213-E-009-021).
-
W. Yang (1997),
Multi-plan attribute grammars,
Proceedings of the Joint 1997 Asia Pacific Software Engineering Conference
and International Computer Science Conference,
(Hong Kong, December 2-5), 62-71, 1997.
(NSC 86-2213-E-009-079).
A set of slides is here.
-
W. Yang (1997),
Conditional evaluation in
simple multi-visit attribute-grammar evaluators,
Proceedings of the Joint 1997 Asia Pacific Software Engineering Conference
and International Computer Science Conference,
(Hong Kong, December 2-5), 455-464, 1997.
(NSC 86-2213-E-009-079).
A set of slides is here.
-
J.-W. Huang and W. Yang (1997),
An object-oriented framework for parallel programs,
Proceedings of the 3rd Workshop on Compiler Techniques for High-Performance
Computing,
(Taiwan, R.O.C., March 20-21), 145-154, 1997.
(NSC 86-2213-E-009-079).
-
J.-T. Chan and W. Yang (1996),
A program slicing system for object-oriented programs,
Proceedings of the 1996 International Computer Symposium,
(Taiwan, R.O.C., December 19-21), 422-429, 1996.
(NSC 86-2213-E-009-079).
-
W. Yang and Y.-T. Liu (1996),
SSCC: A sufficiently smart compiler compiler,
Proceedings of the 1996 International Computer Symposium,
(Taiwan, R.O.C., December 19-21), 406-413, 1996.
(NSC 86-2213-E-009-079).
-
S.-H. Lee, J.-T. Chan, Y.-T. Liu, and W. Yang (1996),
Automatic generation of parallel compilers in the PVM environment,
Proceedings of the 2nd Workshop on Compiler Techniques for High-Performance
Computing,
(Taiwan, R.O.C., March 20-22), 51-57, 1996.
(NSC 85-2213-E-009-051).
-
W. Yang (1995),
A data-parallel algorithm for minimum-width tree-layout,
Proceedings of the 1995 National Computer Symposium,
(Taiwan, R.O.C., December 21-22), 552-559, 1995.
(NSC 85-2213-E-009-051).
-
W. Yang (1995),
Table-driven look-ahead lexical analysis, Proceedings of
the First Workshop on Compiler Techniques for High-Performance Computing,
(Taiwan, R.O.C., February 17), 94-99, 1995.
(NSC 84-2213-E-009-043).
-
W. Yang (1994),
Incremental LR parsing,
Proceedings of 1994 International Computer Symposium,
(Taiwan, R.O.C., December 12-15), 577-583, 1994.
(NSC 84-2213-E-009-043).
-
W. Yang, S. Horwitz, and T. Reps (1990), A program integration algorithm
that accommodates semantics-preserving transformations, Proceedings of
the Fourth Symposium on Software Development Environments, 133-143, 1990.
This paper is chosen as one of eight best papers invited for special
submission to ACM Transactions on Software Engineering and Methodology,
where a revised and extended version appeared under the same title.
-
T. Reps and W. Yang (1989), The semantics of program slicing and program
integration, Proceedings of the International Joint Conference on Theory
and Practice of Software Development (Colloquium on Current Issues in
Programming Languages), 360-374, 1989.
Books
- 簡榮宏, 袁賢銘, 楊武, 林盈達, 孫春在, 資訊應用系統專題--網際網路原理與應用, 國立空中大學, 1999 年.
- 楊武, 爪哇程式語言, 1998 年.
- 楊文奕 楊武 譯, 高等程式設計, 儒林, 台北, 1982 年.
Course Notes
- W. Yang (2004), Data Strucutre, 2004.
- W. Yang (2000), Introduction to Logic, course notes, 2000. 557 pages.
- W. Yang (2005), Graduate Compiler Construction, course notes, 2005.
- W.
Yang (2005), Undergraduate Data Structure, 2005.
- W. Yang (1999), Graduate Programming Languages, course notes, 1999. 427 pages.
- W. Yang (1998), Undergraduate Programming Languages, course notes, 1998. 536 pages.
- W. Yang (1998), The Java Programming Language, course notes, 1998. 470 pages.
Software publications
- Mendota: A full-text indexing and searching system, 2000.
- JavaSlicer: A program-slicing system for Java programs, 2000.
- SSCC: A software tool based on extended ordered attribute grammars, 1998.
- Scangen2: A new scanner generator based on generalized suffix automata, 1996.
Scangen2 manual, in Ami Pro 3.0 format.
- Frodo: A program differencing and merging system, 1994.
Frodo manual.
- Cdiff: A syntax-based file comparator, 1991.
Other publications
-
W. Yang (1990), A new algorithm for semantics-based program integration,
Ph.D. Dissertation, TR 962, Computer Sciences Department, University of
Wisconsin, Madison, WI, 1990.
-
W. Yang, S. Horwitz, and T. Reps (1989), Detecting program components with
equivalent behaviors, TR 840, Computer Sciences Dept., Univ. of Wisconsin,
Madison, WI, 1989.