Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Lecture
Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture by the instructor covers the challenges posed by the increasing volume and complexity of code written by a growing number of developers. It explores the trend towards higher levels of abstraction in programming, the tools available for managing large codebases, and the use of metaprogramming frameworks. The lecture delves into the need for a database of code, proposing novel optimizations and applications in databases and compilers. It discusses the use of Datalog for queries over code, abstract interpretation, and fixpoint problems. The main focus is on virtualizing data over code using Typed Abstract Syntax Trees (TASTY) and Datalog queries. The lecture concludes with examples of program analysis and expressing programs as Datalog rules.
This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.
Watch on Mediaspace