Madanlal Musuvathi
5 papers · 2015–2023 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π 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
Ranking LLM-Generated Loop Invariants for Program Verification
EMNLP 2023
Fault-Aware Neural Code Rankers
NIPS 2022
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures
OSDI 2022
Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup
ICML 2015
Retro: Targeted Resource Management in Multi-tenant Distributed Systems
NSDI 2015