by Emery Berger and Ben Zorn on Apr 23, 2024 | Tags: AI software, correctness, programming, systems
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).
Read more...
by Emery Berger on Aug 18, 2022 | Tags: education, machine learning, programming
CS educators: AI-based developer tools are gunning for your assignments. Resistance is futile.
Read more...
by Nada Amin on Aug 12, 2021 | Tags: language design, programming, reflection
We give an introduction to reflective towers of interpreters, a semantic model of reflection with a user level interpreted by a meta level interpreted by a meta meta level and so on.
Read more...
by Eran Yahav on May 11, 2020 | Tags: machine learning, neural networks, program synthesis, programming
This post discusses the task of automatic code completion through the application of deep learning methods.
Read more...
by Eran Yahav on Feb 12, 2020 | Tags: machine learning, neural networks, programming
The wealth of code now available on-line is fertile ground to enable machine learning to be applied to programming tasks. This post is the second in a series on this topic, focusing on the tasks of semantically labeling and captioning code.
Read more...