conf.researchr.org / Joseph P. Near
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