Microsoft @ POPL 2020
地点： New Orleans, Louisiana
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