Joseph P. Near
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
- Mako P. Bates3×
- Brad Stengeronce
- Chike Abuahonce
all 10 in the filters
who talks about the same things
- Chike Abuah3 talks
- Lun Wang3 talks
- David Darais5 talks
- Aaron Roth11 talks
- Yuanyuan Feng3 talks
| title | conference | date |
|---|---|---|
| Efficient, Portable, Census-Polymorphic Choreographic Programming | PLDI 2025 | 2025-06-16 |
Claims that conclaves and multiply-located values remove redundant broadcasts and make conditionals communication-efficient, with a formal lambda-C showing… | ||
| Evaluating the Usability of Differential Privacy Tools with Data Practitioners | SOUPS 2024 | 2024-08-11 |
Usability study tests four Python DP tools (DiffPrivLib, Tumult Analytics, PipelineDP, OpenDP) with 24 US data practitioners (12 novices, 12 experts) on count… | ||
| We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values | CP 2024 | 2024-06-24 |
A new choreographic language 𐤄λsmall adds multiply located values and multicast so a value can be located at many parties; typechecking now implies deadlock… | ||
| πMPC: Automatic Security Proofs for MPC Protocols | LAFI 2023 | 2023-01-15 |
A domain-specific language plus static analyzer aims to produce automatic simulator synthesis for secure multiparty computation by validating programs in two… | ||
| Solo: A Lightweight Static Analysis for Differential Privacy | OOPSLA 2022 | 2022-12-05 |
Solo claims a practical, sound type system that enforces differential privacy inside Haskell without linear or relational refinement types. It encodes… | ||
| nothing matches | ||