User feedback in program parallelization is very important since often blind compilation may bring to mistakes in the generated code causing performance degradation. This is why it is necessary to provide the user with clear information about how the compiler parallelizes the program and, at the same time, an interface to control and assist program parallelization according to user feedback. To...

This paper describes a general technique to identify control flow errors in parallel programs, which can be automated into a compiler. The compiler builds a system of linear equations that describes the global control flow of the whole program. Solving these equations using standard techniques of linear algebra can locate a wide range of control flow bugs at compile time. This paper also descri...

In this paper we present aane transformations as an extension of the Signal language for the speciication and validation of real-time systems. To each Signal program is associated a system of equations which specify synchronization constraints on clock variables. The Signal compiler resolves these equations and veriies if the control of a program is functionally safe. By means of the new transf...

We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructions) provided by modern CPUs and is transparent to the user of the compiler. New instructions can be introduced easily by specifying their behaviour in a high-level programming language. The optimization is integrated...

In this paper, we present an ATLAS compiler environment used for automatic testing as a case study to demonstrate the design of the state of the art compiler environments with object-oriented designs and XML representations. ATLAS is a testing language which is applied on the automatic test equipments (ATE). Currently, the programming language is used in the fields of avionics, industry facilit...

Implementing web services that participate in long-running, multi-lateral conversations is difficult because mainstream programming languages are poor when it comes to manipulating XML data and handling concurrent and interrelated interactions. We have designed a programming language to deliberately address these problems. In this paper we describe how to use this language to consume a popular ...

Optimization is a very important phase of compilation. Depending on the circumstances, it can improve the performance of programs by double-digit percentages. It is essential that the compiler optimizer is implemented so that it does not change the semantics of programs it is applied to. However, many optimizations are too complex to o er such correctness. Guaranteeing the correctness of an opt...

Molecular robots (nanobots) are being developed for biomedical applications, e.g., to deliver medications without worrying about sideeffects. Future treatments will require swarms of heterogeneous nanobots We present a novel approach to generating such swarms from a treatment program. A compiler translates medications, written in a rule-based language, into specifications of a swarm built by sp...

This paper describes design issues and experiment results of an efficient XML parser generator, Xsong. A traditional compiler construction technique is applied to Xsong so that it realizes both expressiveness and efficiency for parsing XML documents. To compare with the performance of DOM based programs, SAX based programs and a program generated by Xsong, experiments were designed. The experim...