Nomads and Anvil makers
The programming languages community develops theories and systems to better communicate with computational systems. Our theories help formally explain what programs mean and our systems provide new abstractions to articulate and abstract details necessary for the domain. But how do we know what programs are important, and what details to abstract? This talk explores the fundamental tension of being a programming languages researcher: how to apply a sense of formalism and aesthetics, to new and growing domains, and provide tools to practitioners that enable them to write correct and efficient programs.
Rachit Nigam is an Assistant Professor at the Massachusetts Institute of Technology where he leads the FLAME Lab. He works on programming languages and computer architecture, often building compilers that transform programs into architectures.
Tue 17 JunDisplayed time zone: Seoul change
15:40 - 17:45 | |||
15:40 35mTalk | Usable PL: Human-Computer Interaction for PL Research PLMW @ PLDI Sarah E. Chasins University of California at Berkeley | ||
16:15 30mTalk | Nomads and Anvil makers PLMW @ PLDI Rachit Nigam Massachusetts Institute of Technology | ||
16:45 50mPanel | PL and beyond PLMW @ PLDI P: Işıl Dillig University of Texas at Austin, P: Andrew Myers Cornell University, P: Ilya Sergey National University of Singapore, P: Rachit Nigam Massachusetts Institute of Technology, P: Pavel Panchekha University of Utah, P: David Tarditi Apple Inc. | ||
17:35 10mDay closing | Concluding remarks PLMW @ PLDI | ||
