Microsoft at PPoPP 2021

Microsoft is proud to be a Gold sponsor of the Principles of Practice and Parallel Programming (PPoPP21) Conference. You can find out more about our research in programming languages and apply for open positions.

Program Committee members

Madan Musuvathi, Tim Harris, Todd Mytkowicz

External Review Committee members

Olli Saarikivi, Saeed Maleki

Monday, March 1

11:10 – 11:25 (EST) | Session 2: Compilers, Analysis, Synthesis
Synthesizing Optimal Collective Algorithms
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi

• Automata: github.com/AutomataDotNet/Automata
• Ivy: github.com/Microsoft/ivy
• Lean Theorem Prover: leanprover.github.io
• Network Verification: github.com/Z3Prover/FirewallChecker
• P/P#: github.com/p-org
• Project Everest: project-everest.github.io
  • F*: fstar-lang.org
  • miTLS: mitls.org
  • KreMLin: github.com/FStarLang/kremlin
  • HACL*: github.com/project-everest/hacl-star
  • Vale: github.com/project-everest/vale
• Q#: github.com/Microsoft/qsharp-compiler
• TLA+: github.com/tlaplus/tlaplus
• VeriSol: github.com/Microsoft/verisol
• Z3 Theorem Prover: github.com/Z3Prover/z3