Select Page

PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
Archive of posts tagged: hardware
A Primer on Analog Computing

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!

Read more...

Secure Compilation

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.

Read more...