APLAS 2004: HOME

Welcome to APLAS 2004, the second Asian symposium on programming language and systems.

This is the registration and local arrangement site. The original call-for-paper site is at http://www.comp.nus.edu.sg/~aplas/.

APLAS aims at stimulating programming languages research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The first formal APLAS symposium was successfully held in Beijing in November 2003, after three informal workshops held in Singapore (2000), Daejeon (2001), and Shanghai (2002). APLAS 2004 will be hosted by the Institute of Information Science, Academia Sinica, Taiwan. It is also co-located in Taipei with ATVA 2004 (Internatioanl Symposium on Automated Technology for Verification and Analysis, Oct. 31 - Nov. 3, 2004).

Web site history:

Version 0.97: Several minor bugs, mostly about transportation, are fixed. (2004-11-02)
Version 0.96: The Excursion section was added. More Transportation Information was updated. On-campus accommondation is no longer available. The exchange rate of 1 US$ = 32 NT$ will be used if one perfers to pay the registration fee in local currency. (2004-10-26)
Version 0.95: Session of Posters in the Program section was updated; 10 more double rooms were added to on-campus accommondation. (2004-09-24)
Version 0.94: Room information was updated (all single rooms in the activity center were gone). (2004-09-17)
Version 0.93: Online registration was made available in the Registration section. (2004-09-06)
Version 0.92: Web site was made public. (2004-09-03)

Day I : November 4, 2004

8:30-9:30 Invited Talk

A CLP Approach to Modelling Systems
Joxan Jaffar (National University of Singapore)

9:30-10:30 Session 1: Program Transformation

An Algebraic Approach to Bi-directional Updating
Shin-Cheng Mu (University of Tokyo), Zhenjiang Hu (University of Tokyo), and Masato Takeichi (University of Tokyo)
Network Fusion
Pascal Fradet (INRIA) and Stéphane Hong Tuan Ha (IRISA/INRIA)

11:00-12:30 Session 2: XML Processing

Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Type
Koichi Kodama (Tokyo Institute of Technology), Kohei Suenaga (University of Tokyo), and Naoki Kobayashi (Tokyo Institute of Technology)
An Implementation of Subtyping among Regular Expression Types
Kenny Zhuo Ming Lu (National University of Singapore) and Martin Sulzmann (National University of Singapore)
An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors
Keisuke Nakano (University of Tokyo)

2:00-3:30 Session 3: Software Safety

Detecting Discrepancies in Legacy Telecom Applications Through Lightweight Static Analysis: A War Story
Tobias Lindahl (Uppsala University) and Konstantinos Sagonas (Uppsala University)
History Effects and Verification
Christian Skalka (University of Vermont) and Scott Smith (The Johns Hopkins University)
Controlled Declassification based on Intransitive Noninterference
Heiko Mantel (ETH Zürich) and David Sands (Chalmers University of Technology)

4:00-5:30 Session 4: Concurrency

A Concurrent System of Multi-Ported Processes with Causal Dependency
Tatsuya Abe (University of Tokyo)
Concurrency Combinators for Declarative Synchronisation
Pawel T. Wojciechowski (École Polytechnic Fédérale de Lausanne)
A Uniform Reduction Equivalence of Process Calculi
Zining Cao (Peking University)

Day II : November 5, 2004

8:30-9:30 Invited Talk

Substructural Operational Semantics and Linear Destination-Passing Style
Frank Pfenning (Carnegie Mellon University)

10:00-11:30 Session 5: Type Systems

PType System: A Featherweight Parallelizability Detector
Dana Na Xu (National University of Singapore), Siau-Cheng Khoo (National University of Singapore), and Zhenjiang Hu (University of Tokyo)
A Type Theory for Krivine-style Evaluation and Compilation
Kwanghoon Choi (Japan Advanced Institute of Science and Technology) and Atsushi Ohori (Japan Advanced Institute of Science and Technology)
Region-Based Memory Management for a Dynamically-Typed Language
Akihito Nagata (University of Tokyo), Naoki Kobayashi (Tokyo Institute of Technology), and Akinori Yonezawa (University of Tokyo)

11:30-12:30 Session of Posters

A New Threat to Java Software Protection: Using Malicious Apects to Bypass License Checks
Kung Chen (National Chengchi University)
Optimizations in Region Based Programming
Florin Craciun (National University of Singapore)
Adapting Size-Change Termination to Verification of Liveness Properties
Carl Christian Frederiksen (University of Tokyo)
A Programming Language for Quantum Computation and Its Semantics
Yoshihiko Kakutani (University of Tokyo)
Static Analyzer for Automatic Verification of Array Index Ranges in C Programs
Jaehwang Kim (SNU)
A Domain Specific Language for Knowledge Discovery Based on Dual Computations
Kazutaka Matsuda (University of Tokyo)
Recursive Object-Oriented Modules
Keiko Nakata (Kyoto University)
Memory Usage Inference for Object-Oriented Programs
Huu Hai Nguyen (Singapore-MIT Alliance)
Removing Unnecessary Escape Barriers for Continuations
Tomoharu Ugawa (Kyoto University)
On Trees Used in GLR(k)-Parsers for a Proved Optimization
Julia Stoll (University of Kuopio)
Syntax-Directed Transformation of RDF Documents
Ching-Long Yeh (Tatung University)
A Combinator Library for Specifying Program Transformation
Tetsuo Yokoyama (University of Tokyo)

2:00-3:30 Session 6: Program Generation

Protocol Specialization
Matthias Neubauer (Universität Freiburg) and Peter Thiemann (Universität Freiburg)
Automatic Generation of Editors for Higher-Order Data Structures
Peter Achten (Nijmegen University), Marko van Eekelen (Nijmegen University), Rinus Plasmeijer (Nijmegen University), and Arjen van Weelden (Nijmegen University)
A MATLAB-based Code Generator for Sparse Matrix Computations
Hideyuki Kawabata (Hiroshima City University), Mutsumi Suzuki (Hiroshima City University), and Toshiaki Kitamura (Hiroshima City University)

4:00-6:00 Session 7: Foundations

D-Fusion: a Distinctive Fusion Calculus
Michele Boreale (Università di Firenze), Maria Grazia Buscemi (Università di Pisa), and Ugo Montanari (Università di Pisa)
A Functional Language for Logarithmic Space
Peter Møller Neergaard (Brandeis University)
Build, Augment and Destroy, Universally
Neil Ghani (University of Leicester), Tarmo Uustalu (Tallinn University of Technology), and Varmo Vene (University of Tartu)
Free Sigma-monoids: a Higher-order Syntax with Metavariables
Makoto Hamana (Gunma University)

Day III : November 6, 2004

8:30-9:30 Invited Talk

The Scala Experiment – Can We Provide Better Language Support for Component Systems?
Martin Odersky (École Polytechnic Fédérale de Lausanne)

9:30-10:30 Session 8: Applications

Pointcuts as Functional Queries
Michael Eichberg (Darmstadt University of Technology), Mira Mezini (Darmstadt University of Technology), and Klaus Ostermann (Darmstadt University of Technology)
Formal Design and Verification of Real-Time Embedded Software
Pao-Ann Hsiung (National Chung Cheng University) and Shang-Wei Lin (National Chung Cheng University)

11:00-12:30 Session 9: Objects

McJava – A Design and Implementation of Java with Mixin-Types
Tetsuo Kamina (University of Tokyo) and Tetsuo Tamai (University of Tokyo)
A Relational Model for Object-Oriented Designs
He Jifeng (United Nations University), Zhiming Liu (United Nations University), Xiaoshan Li (University of Macau), and Shengchao Qin (National University of Singapore)
Exploiting Java Objects Behavior for Memory Management and Optimizations
Zoe C. H. Yu (University of Hong Kong), Francis C. M. Lau (University of Hong Kong), and Cho-Li Wang (University of Hong Kong)

1:30-5:30 Excursion (optional)

See the Excursion section.

The APLAS will be held at Institute of Information Science, Academia Sinica, Taiwan.

Location of Academia Sinica

http://www.iis.sinica.edu.tw/Conference/APLAS2004/img/sinicaLocation.jpg

Map of Academia Sinica

(1) Main Entrance
(16) Post Office
(20) Center of Academic Activities
(32) Institute of Information Science
(37) Museum of Institute of History and Philology

There are a wide range of international hotels in Taipei from which you can choose one that best suits your needs. We recommend staying at one of the following two hotels, and we have made arrangements for special discounted rates on a block of rooms.

Center of Academic Activities, Academia Sinica

Address: 128 Academia Road, Section 2, Nangang, Taipei 115, Taiwan.
TEL: +886 2-2785-2717
Web site: http://www.sinica.edu.tw/~caa/index/a.htm. (In Chinese only, sorry; you need not look into this site in order to reserve the room.)
Reserved Rooms: ~~25 Single rooms, and 30 Double rooms~~ . (All rooms are booked as Oct. 25.)
Internet: Free in-room wire and wireless internet connection.
Price: (Per day) NT$ 800 for singe room, NT$ 1,200 for double room (inculsive of tax and service charge; breakfast available at near-by cafeteria and charged separately).
Transportation: Located in campus; 2 min. walking distance to the conference venue.
Reservation: Please make reservation before Oct. 20 via our online registration system.
Note: APLAS 2004 Registration will help you reserve the room during the online registration process.

The Howard Plaza Hotel Taipei

Address: 160 Renai Road, Section 3, Taipei 106, Taiwan.
TEL: +886 2-2700-2323
Web site: http://3w.howard-hotels.com.tw/hotel_je/je.asp
Reserved Rooms: 18 single rooms, and 5 double rooms.
Internet: In-room wire internet connection, NT$ 280 per day.
Facilities: Outdoor swimming pool, fitness center, resterant, etc.
Price: (Per day) NT$ 4,100 for single room, NT$ 4,500 for double room (inculsive of breakfast, tax, and service charge).
Transportation: Located in downtown Taipei; about 40 min. public transportation time to the conference venue.
Reservation: Please make reservation by yourself before Oct. 4 via Fax (+886 2-2706-6293, to Amy) or Email (amy8556-tp@howard-hotels.com.tw) and ask for the "APLASA 2004 Conference" rate.
Note: APLAS 2004 Registration will help you prepare the fax form during the online registration process. Please don't use Howard Plaza's online reservation otherwise you won't get the discounted rate.

Located in the eastern part of Taipei amidst the tree-lined boulevard of Renai Road, The Howard Plaza Hotel Taipei with its unique and exquisite service has long been known among business travelers as the best choice during their visits to the city. With its own unique style and Chinese glamour, the hotel offers personalized service to meet every guest's needs. Its spacious and homely environment makes each guest feels right at home. The hotel's strategic location with Taipei's major commercial and financial districts, World Trade Center and government offices a short distance away, enables guests to grasp any business opportunities effectively. The Chung-Shan Freeway's Interchange nearby also enables easy to connection to the island's traffic network. And though surrounded by busy areas, you will find in The Howard Plaza Hotel Taipei a peaceful haven offering total privacy and relaxation for our guests.

You are cordially invited to either one of the following two excursions at Nov. 6 (Sat.) afternoon:

Sansia and Yingge cultural tour. ~~NT$ 900~~ NT$ 600 per person;
Self-guided visit to the Museum of Institute of History and Philology, Academia Sinica. Free admission.

Sansia and Yingge cultural tour (1:30 pm - 5:30 pm)

The bus will leave Academia Sinica at 1:30 pm and return around 5:30 pm. The tour will take you to the Cingshuei Zushih temple (Sansia township) and Yingge Ceramics Museum (Yingge township).

Cingshuei Zushih temple

http://home.educities.edu.tw/kjt/sansha/images/96.jpg

http://www.iis.sinica.edu.tw/Conference/APLAS2004/img/sanshia_1.jpg

(Photos from The Temple of Sansha and the Li Mei-shu Memorial Gallery)

Monideepa Banerjee wrote in a news article, Sansia's Cingshuei Temple a study in religious architecture, the following.

The temple is the epitome of exquisite workmanship and complex artistry, and strictly adheres to the strictures of Chinese geomancy. The entire edifice is a wooden-roofed structure, featuring five gates and three courts, built on a stone base. Each beam and every inch of the interior are opulently decorated; golden color is not paint, but real gold used in the form of golden foils. The most outstanding example of artistic expression are stone carvings and engravings depicting stories from Chinese folk tales, myth and legends."

Yingge Ceramics Museum

http://210.241.84.193/images_about03/pic03_02.jpg

http://210.241.84.193/images_about03/pic03_05.jpg

http://210.241.84.193/images_show02/sunny.jpg

(Photos from Yingge Ceramics Museum)

The following description about the Yingge Ceramics Museum is quoted from the Museums of Taiwan web site.

The museum has a very edifying permanent exhibition that presents the history of ceramic production and use in Taiwan, from the pre-historic period to the 21st century - with a special focus on the period starting from the end of the 19th century. This exhibition shows the influence of Chinese, Japanese and Western cultures and techniques on Taiwanese ceramics, and illustrates how much ceramic is and has always been very closely related with human life and culture. The museum is also a tribute to the memory of the people who have dedicated their life to the ceramic industry, in a place - the city of Yingge - which has a long and living tradition in this field.

The tour will be operated by a tour bus company. Deatails can be found here.

Museum of Institute of History and Philology (1:30 pm - 4:30 pm)

The museum is open only at Wednesday and Saturday, 9:30 am - 4:30 pm. (If you arrive early on Nov. 3, it is also a good time to visit this museum!) The museum is in building no. 37 in the map of Academia Sinica.

Gavin Phipps wrote in a news article, Hidden historical treasures, the following.

Established by the Institute of History and Philology 1986 to exhibit a small number of artifacts and research them, the museum initially opened its doors to visiting scholars and guests of the prestigious institute only. …

Reopened in 2002, the institute sets out to exhibit an eclectic collection of some of the most archeologically and historically important artifacts in its possession, regardless of their esthetic nature.

The redesign has allowed the museum to paint a succinct picture of the history and archeology of China. While the building remains too small to exhibit all of the hundreds of thousands of pieces in the collection, there are at least 5,000 artifacts on display at any given time.

More information about the museum can be found at its web site.

Fee

	Early Registration (up to 2004/10/08)	Late and on–site Registration (after 2004/10/08)
General	US$ 250 (NT$ 8,000)	US$ 275 (NT$ 8,800)
Student	US$ 150 (NT$ 4,800)	US$ 175 (NT$ 5,600)

To qualify for early registration discounts your must register online before the midnight of 8th October 2004. Registrations received after 8th of October will be charged late/on-site registration rate.
The fee mentioned above includes one copy of proceeding, three lunches (Nov. 4-6), one dinner (Nov. 4), and one banquet (Nov. 5).
For each accepted paper, at least one author must present the paper and pay the registration fee.

Method of Payment

All paid on-site and by cash, in US dollar or in New Taiwan dollar (at the rate of 1 US$ = 32 NT$). Receipts will be in US$ numeration.

Confirmation

After you register online, you will receive an e-mail confirmation of your registration. If you have any question, please Contact us.

Cancellation

If you want to cancel your registration, please write to us by e-mail as soon as possible.

Online Registration

Go to the Online Registration System now.

If you need an invitation letter or have difficulities in applying for visa, please Contact us.

Visa-Exempt Entry

Visitors holding the passports of the following countries may apply for Visa Exempt Entry. (That is, no visa is needed.)

Australia, Austria, Belgium, Brunei Darussalam, Canada, Costa Rica, Denmark, Finland, France, Germany, Greece, Ireland, Iceland, Italy, Japan, Republic of Korea, Liechtenstein, Luxembourg, Malaysia, Malta, Monaco, the Netherlands, New Zealand, Norway, Portugal, Singapore, Spain, Sweden, Switzerland, U.K., and U.S.A.

Requirements

You must have

a passport valid for at least six months;
a confirmed return air ticket, or an air ticket and a visa for the next destination and a confirmed seat reservation for departure; and
no criminal record.

Duration of stay

30 days.

Landing Visas

Visitors holding the passports of the following countries may apply for Landing Visas.

Czech Republic, Hungary, and Poland

Requirements

You must

have a passport valid for at least six months;
have a confirmed return air ticket, or an air ticket and a visa for the next destination and a confirmed seat reservation for departure;
fill out an application form with two photos;
pay a visa fee of NT$ 1,200, plus a handling fee of NT$ 800; and
have no criminal record.

Duration of stay

30 days.

Passports Holders of the People's Republic of China (PRC)

Please note that visa application for PRC passport holders must be initiated by a local sponsor. We will help PRC participants with the application formalities. Because the visa application process will take some time (up to two months), we strongly advise you to register and to inform us in the earliest time possible.

Visa Applications for Other Nationals

Other nationals, who hold ordinary passports or other legal travel documents, must apply for Vistor Visas in countries of their residence.

For more information, please contact your local Taiwanese embassies, consulates, and representative offices, or visit the Bereau of Consular Affairs web pages.

From C.K.S. International Airport

to Howard Plaza Hotel

From the CKS International Airport you can either

take a taxi directly to Howard Plaza Hotel Taipei for about NT$ 1,200 and 40 min. (note: taxi departing from airport will add a 50% surcharge to meter); or
take a shuttle bus for about NT$ 150 and 50 min. Air Bus (formally, "Toward You" Air Bus) stops at the hotel, see the route map.

to Academia Sinica

From the CKS International Airport you can either

take a taxi directly to Academia Sinica for about NT$ 1,700 and 50 min. (note: taxi departing from airport will add a 50% surcharge to meter); or
take a shuttle bus to downtown Taipei (about NT$ 150, 50 min.), then a taxi from there to Academia Sinica (about NT$ 300, 25 min.). See also More Transportaion Informaion below.

From Howard Plaza Hotel to Academia Sinica

take a taxi directly to Academia Sinica (about NT$ 250, 30 min.);
take the MRT (subway) Bannan line (the blue line) and get off at Kunyang (NT$ 25, 25 min.), then take a taxi to Academia Sinica (NT$ 100, 10 min.) or take bus no. 212, 270, or BL 25 (blue 25) and get off at "Academia Sinica" (NT$ 15, 15 min.); or
take bus no. 270 on Renai Road and get off at "Academia Sinica" (NT$ 30, 45 min.);

More Transportation Information

Please visit the transportation page maintained at Academia Sinica. In particular, see the "By Bus:" session for more information about taking a bus from CKS International Airport to downtown Taipei. It is recommended to take the Evervoyage bus (Evergreen Bus Co.), as the service is good and the route map is available on the bus.
When arriving at the Academia Sinica main entrance, tell the taxi driver to talk to the guard for direction to the Center of Academic Activities (學術活動中心; accommondation), or to the Institute of Information Science (資訊科學研究所; symposium venue). The guard will let the taxi in. Do not get off at the main entrance, unless you like to take a 5 - 8 min. walk to get to the on-campus accommondation or the symposium venue.
A MRT (subway) map is available here.
Please print out these cards (jepg,250K), as they will help the taxi drivers take you to the Center of Academic Activities, the Institute of Information Science, or the MRT Kunyang station.

Here are some tourist information web sites for your reference:

Email: APLAS2004@iis.sinica.edu.tw