Modern analog computers offer unique programming challenges which make them challenging compilation targets. How do we automatically program an analog computer to implement a computation?
Modern analog computers are attractive computational targets which have the potential to deliver significant performance and energy improvements over conventional digital hardware.
These hardware substrates have unique programming challenges which make them challenging to target. Programming languages and compilers techniques can help!
*Secure compilation* is an emerging field that puts together advances in programming languages, security, compilers, systems, formal verification, and hardware architectures. It aims to devise compilation chains that eliminate many of today’s security attacks, without sacrificing efficiency, and allowing sound reasoning about security properties in the source language.