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

2025

PLDI

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

2024

miniKanren

Co-chair in Program Committee within the miniKanren 2024-track

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

LAFI

Author of πMPC: Automatic Security Proofs for MPC Protocols within the LAFI 2023-track

2022

SPLASH

Author of Solo: A Lightweight Static Analysis for Differential Privacy within the OOPSLA-track

2020

miniKanren

2019

SPLASH