Concepedia

Joseph P. Near

JP

18

Publications

549

Citations

14

H-Index

2011

Active since

Affiliations

Massachusetts Institute of Technology(Current)

University of Vermont

University of California, Berkeley

University of California System

Galois (United States)

Joseph P. Near is an author at Massachusetts Institute of Technology specializing in computer science, engineering, and information security.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal VerificationInformation SecurityData PrivacyData ScienceData SecurityFormal MethodsSoftware Analysis

Publications per year

2011–2023

18

Publications

18

Towards Practical Differentially Private Convex Optimization

Roger Iyengar, Joseph P. Near, Dawn Song et al. · 2019 · 130 citations · Full text

Privacy Protection, Engineering, Machine Learning +15

Towards practical differential privacy for SQL queries

Noah M. Johnson, Joseph P. Near, Dawn Song · Proceedings of the VLDB Endowment · 2018 · 82 citations

Privacy Protection, Engineering, Information Security +16

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver

Aleksandar Milićević, Joseph P. Near, Eunsuk Kang et al. · 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015 · 37 citations

Mathematical Programming, Logic Synthesis, Relational Logic +15

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy

Joseph P. Near, David Darais, Chiké Abuah et al. · Proceedings of the ACM on Programming Languages · 2019 · 34 citations · Full text

Privacy Protection, Engineering, Information Security +21

Rubicon

Joseph P. Near, Daniel Jackson · 2012 · 30 citations

Software Maintenance, Alloy Analyzer, Software Security +15

Rows per page

1–5 of 18