We present the design of DyC, a dynamic-compilation system for C based on run-time specialization.
This kernel is integrated in a cross-compilation system based on GNAT 3.13, supporting the subset of Ada 95 tasking which is allowed by the Ravenscar profile in an efficient and compact way.
The project's impacts are new programming languages for heterogeneous systems that avoid the usability pitfalls of best-effort C-language compilation, expose system-level concerns that dictate performance, and enable cross-device compiler optimizations.
Programming topics include recursive and higher-order procedures, models of programming language evaluation and compilation, type systems, and polymorphism.
Unlike similar packages, Scoria requires no dependencies, compilation, or system-wide installation.
The DEFACTO compilation and synthesis system is capable of automatically mapping computations expressed in high-level imperative programming languages as C to FPGA-based systems.
For example, preprocessor directives customized to a particular set of requirements and processed during compilation of software system will become configurations.
Performance evaluation of multicores; compilation and runtime systems for parallel computing.
This model is an integrated systems compilation of numerous technoeconomic models that has been used previously in several algal production scenarios.
Scoria is a Python package that can load, save, analyze, and manipulate 3D molecular models without requiring compilation, dependencies, or system-wide installation.
