Improving the Expressiveness of Programming Languages

26/10/2021, 10:30am

Speaker

Michael D. Adams

Abstract

The programming languages we use influence how we think about programming and the sorts of programs we write. Thus, it is essential that languages allow programmers to express programs in natural ways that match the programmer's intention and capture the essence of a task without being cluttered by trivialities that the computer can determine for itself. This talk presents an overview of Michael D. Adams' research and how it advances this vision. It presents work that allows languages' syntaxes to be extended by users without causing conflicts and optimizations that make it practical to use higher-levelprogramming abstractions.

Speaker Bio

Michael D. Adams is an Assistant Professor in Computer Science at Yale-NUS College. His research area is programming languages with an emphasis on static analysis/control-flow analysis, syntax and parsing, compilers and optimization,generic and meta-programming, and next-generation languages.