Microsoft at PLDI 2022
Pacific Daylight Time (UTC -7)
Location: San Diego, California
Monday, June 13
09:00 | Workshop
INFER 2022 3rd Infer Practitioners Workshop (opens in new tab) | Ezgi Çiçek
15:30 – 16:45 | Session 4
Paper: Infer#’s journey to bring Infer to the .NET world | Xin Shi, Xiaoyu Liu, Matthew Jin, Neel Sundaresan
09:00 | Workshop
PLMW Programming Languages Mentoring Workshop (opens in new tab) | Deepak Garg, Limin Jia, Tamara Rezk, Deian Stefan
Tuesday, June 14
01:30 – 04:45 | Workshop
INFER 2022 3rd Infer Practitioners Workshop (opens in new tab) | Ezgi Çiçek
03:30 – 04:45 | Session 4
Paper: Infer#’s journey to bring Infer to the .NET world | Xin Shi, Xiaoyu Liu, Matthew Jin, Neel Sundaresan |
01:30 | Workshop
PLMW Programming Languages Mentoring Workshop (opens in new tab) | Deepak Garg, Limin Jia, Tamara Rezk, Deian Stefan
10:30 – 12:00 | Panel
Mentoring Panel: Post-graduate Career Paths | Michael Greenberg, Chris Hawblitzel, Hila Peleg, Sukyoung Ryu, S: Deian Stefan
22:30 – 00:00 | Panel
Mentoring Panel: Post-graduate Career Paths | Michael Greenberg, Chris Hawblitzel, Hila Peleg, Sukyoung Ryu, S: Deian Stefan
09:00 | Workshop
EGRAPHS 2022 E-Graph Research, Applications, Practices, and Human-factors Symposium (opens in new tab) | Zachary Tatlock, Max Willsey | Program Committee: Leonardo de Moura
09:00 | Workshop
SOAP 2022: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (opens in new tab) | Laure Gonnord, Laura Titolo
10:30 – 12:00 | Paper Session 1
Paper: Statically Detecting Data Leakages in Data Science Code (Virtual) | Pavle Subotic, Uros Bojanic, Milan Stojic
22:30 – 00:00 | Paper Session 1
Paper: Statically Detecting Data Leakages in Data Science Code (Virtual) | Pavle Subotic, Uros Bojanic, Milan Stojic
10:30 – 00:00 | Workshop
2022: AI and Static Analysis (opens in new tab) | Satish Chandra, Roshanak Zilouchian Moghaddam | Program Committee: Shuvendu K. Lahiri, Michele Tufano
Wednesday, June 15
01:30 – 22:10 | Workshop
ASA 2022: AI and Static Analysis (opens in new tab) | Satish Chandra, Roshanak Zilouchian Moghaddam | Program Committee: Shuvendu K. Lahiri, Michele Tufano
01:30 – 22:10 | Workshop
PLMW Programming Languages Mentoring Workshop (opens in new tab) | Deepak Garg, Limin Jia, Tamara Rezk, Deian Stefan
01:30 – 22:10 | Workshop
SOAP 2022: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (opens in new tab) | Laure Gonnord, Laura Titolo
02:00 – 22:10 | Workshop
EGRAPHS 2022 E-Graph Research, Applications, Practices, and Human-factors Symposium (opens in new tab) | Zachary Tatlock, Max Willsey | Program Committee: Leonardo de Moura
10:40 – 12:00 | Distributed Systems
(OOPSLA 2021) Durable functions: semantics for stateful serverless | Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher Meiklejohn
10:40 – 12:00 | Security
Hardening Attack Surfaces with Formally Proven Binary Format Parsers | Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
15:30 – 16:50 | Neural Networks and Numbers
(POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation | Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew Fitzgibbon
22:40 – 00:00 | Security
Hardening Attack Surfaces with Formally Proven Binary Format Parsers | Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
Thursday, June 16
13:30 – 14:50 | Synthesis
(OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations | Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
13:30 – 14:50 | Types
(ICFP 2020) Kinds Are Calling Conventions Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg
15:30 – 16:50 | Testing
(OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications | Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
15:30 – 16:50 | Semantics
Kleene Algebra Modulo Theories: A Framework for Concrete KATs | Michael Greenberg, Ryan Beckett, Eric Campbell
15:30 – 16:50 | Quantum
Quartz: Superoptimization of Quantum Circuits | Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Friday, June 17
03:30 – 04:50 | Semantics
Kleene Algebra Modulo Theories: A Framework for Concrete KATs | Michael Greenberg, Ryan Beckett, Eric Campbell
03:30 – 10450 | Quantum
Quartz: Superoptimization of Quantum Circuits | Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
15:30 – 16:50 | Testing & Synthesis
Landmarks and Regions: A Robust Approach to Data Extraction | Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
Saturday, June 18
03:30 – 04:50 | Testing & Synthesis
Landmarks and Regions: A Robust Approach to Data Extraction | Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza