Neel Somani

According to our database, Neel Somani authored at least 4 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations.

Neel Somani

CoRR, May, 2026

2022

PrivGuard: Privacy Regulation Compliance Made Easier.

Lun Wang, Usmann Khan, Joseph P. Near, Qi Pang, Jithendaraa Subramanian, Neel Somani, Peng Gao, Andrew Low, Dawn Song

Proceedings of the 31st USENIX Security Symposium, 2022

2019

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

Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song

Proc. ACM Program. Lang., 2019

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

Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2019