Somesh Jha
Scholar

Somesh Jha

Google Scholar ID: BaI7l8QAAAAJ
Lubar Chair of Computer Science, University of Wisconsin
Trustworthy Machine LearningSecurityFormal methodsProgramming Languages
Google Scholar↗
Citations & Impact
All-time
Citations
29,539
 
H-index
62
 
i10-index
170
 
Publications
20
 
Co-authors
85
list available
Contact
No contact links provided.
Publications
22 items
Policy Compiler for Secure Agentic Systems
2026
Cited
0
Auto-SPT: Automating Semantic Preserving Transformations for Code
2025
Cited
0
Systems Security Foundations for Agentic Computing
2025
Cited
0
ATLAS: Constraints-Aware Multi-Agent Collaboration for Real-World Travel Planning
2025
Cited
0
Privacy-Preserving Performance Profiling of In-The-Wild GPUs
2025
Cited
0
Probably Approximately Correct Causal Discovery
2025
Cited
0
ARMOR: Aligning Secure and Safe Large Language Models via Meticulous Reasoning
2025
Cited
0
How Not to Detect Prompt Injections with an LLM
2025
Cited
0
Resume (English only)
Co-authors
85 total
Patrick McDaniel
Patrick McDaniel
Tsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-Madison
Matt Fredrikson
Matt Fredrikson
Carnegie Mellon University
Mihai Christodorescu
Mihai Christodorescu
Google
Co-author 4
Co-author 4
Thomas Reps
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8