• Sign in
  • Sign up
conf.researchr.org / Joseph P. Near
  • ICFP 2020 profile
  • POPL 2023 profile
  • SPLASH 2019 profile
  • SPLASH 2022 profile
Joseph P. Near

Registered user since Mon 8 Jul 2019

Name:Joseph P. Near
Country:United States
Affiliation:University of Vermont
Personal website:http://www.uvm.edu/~jnear/

Contributions

LAFI 2023 Author of πMPC: Automatic Security Proofs for MPC Protocols within the LAFI 2023-track
SPLASH 2022 Author of Solo: A Lightweight Static Analysis for Differential Privacy within the OOPSLA-track
miniKanren 2020 Committee Member in Program Committee within the miniKanren 2020-track
Session Chair of Morning Session (part of miniKanren 2020)
SPLASH 2019 Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track
Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track

Share
xFri 2 Jun 10:13
using conf.researchr.org (v1.60.0)
Support page
Sign Up