Development of domain-specific compilers for specialized processors
Specialized processors programmable in domain-specific languages are increasingly used in modern computing systems. The compiler-in-the-loop approach, based on the joint development of a specialized processor and a compiler, is gaining popularity. At the same time, the traditional tools, like GCC and LLVM, are insufficient for the agile development of optimizing compilers that generate target code of an exotic, irregular architecture with static parallelism of operations.
The talk proposes methods from the field of program synthesis for the implementation of machine-dependent compilation phases. The phases are based on a reduction to SMT problem which allows to get rid of heuristic and approximate approaches, that requires complex software implementation of a compiler. Practical applications of the developed methods and algorithms are illustrated by the example of a compiler for a specialized processor with an instruction set that accelerates the implementation of lightweight cryptography algorithms in the Internet of Things.
Speaker: Peter Sovietov
1) Hennessy, John L., and David A. Patterson. "A new golden age for computer architecture." Communications of the ACM 62.2 (2019): 48-60. https://cacm.acm.org/magazines/2019/2/234352-a-new...
2) Lopes, Nuno P., and John Regehr. "Future Directions for Optimizing Compilers." arXiv preprint arXiv:1809.02161 (2018).
The seminar will be held in google meet on Monday October 5 at 17:30 (google meet room: https://meet.google.com/myu-dhmz-gvu)
- About seminars
23 November 2020Efficient Fair Conjunction for Structurally-Recursive Relations
16 November 2020Source-Tracking Unification via Context-Free Path Querying
9 November 2020Relational Synthesis for Pattern Matching
2 November 2020Definitional Proof-Irrelevance without K
26 October 2020Representability of invariants of programs with algebraic data type