Microsoft @ POPL 2020

Microsoft @ POPL 2020


The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.

Research Papers Program Committee Members


Microsoft main conference presentation schedule

Sunday, January 19

Programming Languages for Quantum Computing (PLanQC) | Workshop
Program Committee Members: Chris Granade, Bettina Heim
10:30 AM–11:00 AM, Invited talk: Bettina Heim

Monday, January 20

Partial Evaluation and Program Manipulation (PEPM) | Workshop
11:25 AM–12:00 PM, Panelist: Nikolaj Bjørner

Tuesday, January 21

HASE 2020 Workshop on High Assurance Systems Engineering | Workshop
Co-organizer: Jonathan Protzenko

Languages for Inference (LAFI) | Workshop
Steering Committee Member: Andrew Gordon

Programming Languages Mentoring Workshop (PLMW) | Workshop
2:00 PM–3:05 PM, Panelist: Juliana Franco

Thursday, January 23

Research Papers – Abstract Interpretation
2:21 PM–2:43 PM
Abstract Interpretation of Distributed Network Control Planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker

Saturday, January 25

Principles of Secure Compilation (PriSC) | Workshop
Program Committee Member, Session Chair: Jonathan Protzenko

Co-located conferences

Monday, January 20

22nd Symposium on Practical Aspects of Declarative Languages (PADL 2020)
8:45 AM–9:35 AM, Invited Talk: Nikolaj Bjørner
11:25 AM–12:00 PM, Panelist: Nikolaj Bjørner

Tuesday, January 21

12:00 PM–12:30 PM | Talk
Solving LIA* Using Approximations
Maxwell Levatich, Nikolaj Bjørner, Ruzica Piskac, Sharon Shoham

Open source tools