Swaha Miller

Learn More
Contemporary compiler systems such as GCC, .NET, and LLVM incorporate profile-guided optimizations (PGOs) on low-level intermediate code and basic blocks, with impressive results over purely static heuristics. Recent work shows that profile information is also useful for performing source-to-source optimizations via meta-programming. For example, using(More)
Our Goal To contribute with the new Mozart implementation by integrating a state of the art constraint environment like Gecode. Several aspects of the implementation need to be taken into account For Oz users Implementation of branching heuristics in Oz that will be used by the Gecode search engines Definition of search engines directly in Oz Support for(More)
  • 1