Madanlal Musuvathi
5 papers · 2015–2023 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Silver
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(11)
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
Computer Science
(3)
Machine Learning
(3)
Applications · Computer Science
(3)
Core Methods
(3)
Artificial Intelligence
(2)
Core AI
(2)
Data Science & Analytics
(1)
Deep Learning
(1)
Natural Language Processing
(1)
Applications · Data Science & Analytics
(1)
Generation
(1)
Learning Types
(1)
Models
(1)
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
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures
OSDI 2022
Fault-Aware Neural Code Rankers
NeurIPS 2022
Retro: Targeted Resource Management in Multi-tenant Distributed Systems
NSDI 2015
Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup
ICML 2015