Madanlal Musuvathi
5 papers
· 2015–2023
· 5 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(5)
π
Academic Marathon
(8)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
EMNLP (1)
ICML (1)
NIPS (1)
NSDI (1)
OSDI (1)
Top co-authors
Keywords
large language model
(2)
code generation
(1)
program verification
(1)
fault detection
(1)
bug detection
(1)
distributed system
(1)
program correctness
(1)
upper bound
(1)
cluster center
(1)
neural ranking
(1)
zero-shot setting
(1)
contrastive ranking
(1)
neural ranker
(1)
loop invariant synthesis
(1)
contrastive ranker
(1)
task cancellation
(1)
concurrent programming
(1)
static checking
(1)
distance calculation
(1)
execution prediction
(1)
Papers
Fault-Aware Neural Code Rankers
NIPS 2022