| 2026 | ACL | Beyond Fixed Psychological Personas: State Beats Trait, but Language Models are State-Blind. | Tamunotonye Harry, Ivoline C. Ngong, Chima Nweke, Yuanyuan Feng, Joseph P. Near |
| 2025 | ESOP | SMT-Boosted Security Types for Low-Level MPC. | Christian Skalka, Joseph P. Near |
| 2025 | NAACL | Differentially Private Learning Needs Better Model Initialization and Self-Distillation. | Ivoline C. Ngong, Joseph P. Near, Niloofar Mireshghallah |
| 2024 | PPDP | Language-Based Security for Low-Level MPC. | Christian Skalka, Joseph P. Near |
| 2024 | QCE | Foldable, Recursive Proofs of Isogeny Computation with Reduced Time Complexity. | Krystal Maughan, Joseph P. Near, Christelle Vincent |
| 2024 | SOUPS | Evaluating the Usability of Differential Privacy Tools with Data Practitioners. | Ivoline C. Ngong, Brad Stenger, Joseph P. Near, Yuanyuan Feng |
| 2021 | CCS | Zero Knowledge Static Program Analysis. | Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang |
| 2019 | VLDB | Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations. | Lun Wang, Joseph P. Near, Neel Somani, Peng Gao, Andrew Low, David Dao, Dawn Song |
| 2019 | SP | Towards Practical Differentially Private Convex Optimization. | Roger Iyengar, Joseph P. Near, Dawn Song, Om Thakkar, Abhradeep Thakurta, Lun Wang |
| 2016 | ICSE | Finding security bugs in web applications using a catalog of access control patterns. | Joseph P. Near, Daniel Jackson |
| 2015 | ICSE | Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. | Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson |
| 2011 | ICSE | A lightweight code analysis and its role in evaluation of a dependability case. | Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson |
| 2010 | ICLP | From Relational Specifications to Logic Programs. | Joseph P. Near |
| 2009 | ICSE | Equality and hashing for (almost) free: Generating implementations from abstraction functions. | Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson |
| 2008 | ICLP | alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. | Joseph P. Near, William E. Byrd, Daniel P. Friedman |