Microsoft at POPL 2022

Thursday, January 20, 2022

• 10:45 – 11:10 Paper session

  Foundation and Verification of Machine-Learning Systems at Salon II

  Watch this session

  Related Publications

  • Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation

    Faustyna Krawiec, Neel Krishnaswami, Simon Peyton Jones, Tom Ellis, Andrew Fitzgibbon, Richard Eisenberg

• 14:20 – 14:45 Paper session

  TypesPOPL at Salon II

  Related Publications

  • SolType: Refinement Types for Solidity

    Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng