Scholar
Shayak Sen
Google Scholar ID: vdiw0xMAAAAJ
TruEra
Privacy
Machine Learning
Programming Languages
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,204
H-index
13
i10-index
15
Publications
20
Co-authors
12
list available
Publications
1 items
Evergreen: Efficient Claim Verification for Semantic Aggregates
2026
Cited
0
Co-authors
7 total
Anupam Datta
Snowflake AI Research, Ex-Professor CMU
Matt Fredrikson
Carnegie Mellon University
Yair Zick
University of Massachusetts, Amherst
Deepak Garg
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Aditya Nori
Microsoft Research
John C Mitchell
Professor of Computer Science, Stanford University
Joseph Halpern
Professor of Computer Science, Cornell University