Rohit Chadha

4 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 CCS ×1 CSFW ×1 OOPSLA ×1

Frequent coauthors

Bishnu Bhusal

×3

Mahesh Viswanathan

×3

A. Prasad Sistla

×2

Manoj Acharya

×1

Ramneet Kaur

×1

Colin Samplawski

×1

Anirban Roy

×1

Adam D. Cobb

×1

Susmit Jha

×1

Cody Rivera

×1

Nabarun Deka

×1

Minjian Zhang

×1

Papers

Privacy Preserving In-Context-Learning Framework for Large Language Models
AAAI 2026 ·
Bishnu Bhusal
,
Manoj Acharya
,
Ramneet Kaur
,
Colin Samplawski
,
Anirban Roy
,
Adam D. Cobb
, Rohit Chadha,
Susmit Jha
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
CCS 2025 ·
Bishnu Bhusal
, Rohit Chadha,
A. Prasad Sistla
,
Mahesh Viswanathan
Checking δ-Satisfiability of Reals with Integrals
OOPSLA 2025 ·
Cody Rivera
,
Bishnu Bhusal
, Rohit Chadha,
A. Prasad Sistla
,
Mahesh Viswanathan
Deciding Branching Hyperproperties for Real Time Systems
CSFW 2024 ·
Nabarun Deka
,
Minjian Zhang
, Rohit Chadha,
Mahesh Viswanathan