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 delves into the practical application of language theory, covering topics such as quicksort implementation in assembly and C/C++, gradual typing, algebraic datatypes, and efficient memory management. It explores the synthesis of efficient parallelism strategies for large-scale distributed machine learning systems and the challenges of reduction program synthesis. The instructor presents research on precise reference counting with reuse, linear resource calculus, and the design space for linear logic. The lecture concludes with future work on language design, implementation, and programming languages for broader domains.