• Sign in
  • Sign up
conf.researchr.org / Mako P. Bates
  • PLDI 2023 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2023 profile
Mako P. Bates

Registered user since Thu 9 May 2024

Name:Mako P. Bates
Country:United States
Affiliation:University of Vermont
GitHub: https://github.com/ShapeOfMatter
Research interests:Choreographic Programming; Differential Privacy; Secure Multiparty Computation

Contributions

2025

PLDI

  • Author of Efficient, Portable, Census-Polymorphic Choreographic Programming within the PLDI Research Papers-track

2024

Choreographic Programming

  • Author of We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values within the Choreographic Programming 2024-track

2023

PLDI

  • Author in Artifact Evaluation Committee within the Research Artifacts-track

LAFI

  • Author of πMPC: Automatic Security Proofs for MPC Protocols within the LAFI 2023-track
Share
xTue 20 May 04:41
using conf.researchr.org (v1.69.0)
Support page
Sign Up