Sriram Rajamani
2 papers
· 2013–2023
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
AISTATS (1)
NIPS (1)
Top co-authors
Keywords
bayesian inference
(1)
code completion
(1)
code generation
(1)
probabilistic programming
(1)
static analysis
(1)
program analysis
(1)
language model
(1)
hallucination mitigation
(1)
symbolic execution
(1)
rejection sampling
(1)
sampling algorithm
(1)
repository context
(1)
weakest precondition
(1)
monitor-guided decoding
(1)