Circuit Scaling for Analog Computing
Modern analog computers a host of analog behaviors that affect the fidelity of the mapped computation. How can we mitigate these analog behaviors in compilation?
Archive of posts tagged: hardware
Circuit Synthesis for Analog Computing
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?
A Primer on Analog Computing
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
*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.
