Archive of posts tagged: systems
AI Software Should be More Like Plain Old Software
A Tale of Two Softwares: In a world where AI is revolutionizing the way we interact with technology, a new type of software emerges: AI Software (AISW). But with great power comes great responsibility, and the systems research community must rise to the challenge of ensuring AISW is as robust, secure, and safe as its predecessor, Plain Old Software (POSW).
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.
