Software Developed from Research Projects

The gSOAP toolkit for C and C++ XML Web services and high-performance XML processing

The Ctadel problem-solving environment and code generator for high-performance PDE solvers

Programming fun with Monica: a lazy functional programming language written in Prolog

Compiler analysis tools based on the chains of recurrences algebra (available soon)

Code generation for fast function evaluation using vector chains of recurrences (available soon)