Alejandro Caro

Learn More
In tagless implementations of polymorphic langnages, the run-time types of data objects may not be completely determined at compile-time. With ML-like static type-checking, a static type template can be produced for each polymorphic function that may be instantiated at run-time according to the types of its actual arguments. Still, as noted in [5], it may(More)
We describe the compilation of the non-strict, implicitly parallel language pH to symmetric multipro-cessors (SMPs) in several steps. We introduce the S calculus as a robust foundation for the semantics of pH. Next, we deene a shared-memory threaded abstract machine (SMT) that captures the essence of our compilation target, a modern SMP. Finally, we(More)
Current profiling tools available in the C environment rely either on program counter sampling or instrumentation of every basic block to generate a performance profile based on actual or ideal execution time, respectively. Program counter sampling (e.g. prof) yields only a coarse measure of real time, and makes correct attribution of callee execution time(More)
Within the mobile devices, the gaming consoles have the greatest graphic processing capabilities, in this category can be find the Nin-tendo DS and Sony PSP. Despite their resources there is minimal use of client-server architectures. This situation opens the possibility of testing this kind of platforms using client-server based applications. In this work(More)
In tagless implementations of polymorphic languages, the run-time types of data objects may not be completely determined at compile-time. With ML-like static type-checking, a static type template can be produced for each polymorphic function that may be instantiated at run-time according to the types of its actual arguments. Still, as noted in 5], it may(More)
Debugging a program on a MIMD parallel processor is difficult due to the large amount of program state, the distribution of this state over many processors, and the dynamic interactions between processors which lead to unpredictable program behavior. The Monsoon parallel processor and its programming language Id add non-deterministic scheduling of(More)
  • 1