Philipp Hoschka

Learn More
The quality of the service provided by the World Wide Web, namely convenient access to a tremendous amount of information in remote locations, depends in an important way on the time required to retrieve this information. This time in turn depends on a number of parameters, in particular the load at the server and in the network. Overloads are avoided by(More)
We describe a new approach to the automatic generation of marshalling code which results in code that is fast and compact at the same time. The key insight behind our work is that certain types in an interface specification occur more often than others at run-time. We exploit this locality to solve a particularily difficult optimization problem in stub(More)
A common approach to building high performance protocol software is the implementation of so-called fast paths. A fast path increases the execution speed of the most frequently used path through the protocol software. However, today, a fast path implementation requires extensive manual performance analysis and intuition on behalf of the protocol programmer.(More)
Many advantages have been given for using formal speciications in the design and implementation of communication systems. Performance is usually not among them. It is commonly believed that code generated by an automatic tool from a formal speciication is inherently slower than code implemented manually. This paper gives experimental evidence that this(More)
This report describes the design and the prototyping of a compiling tool for the automated implementation of distributed applications: ALFred. This compiler starts from the formal specification of an application written in ESTEREL, and then integrates end-to-end communication functions tailored to the application characteristics (described in the(More)