Concepedia

P. Madhusudan

PM

Statistics

Publications

56

Citations

3.8K

H-Index

32

Active since

2002

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Pennsylvania

University of Salerno

University of Southampton

California University of Pennsylvania

P. Madhusudan is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationSoftware EngineeringComputer Engineering

Publications per year

2002–2023

56

Publications

56

Visibly pushdown languages

Rajeev Alur, P. Madhusudan · 2004 · 543 citations

Engineering, Pushdown Languages, Verification +20

Adding nesting structure to words

Rajeev Alur, P. Madhusudan · Journal of the ACM · 2009 · 327 citations

Syntactic Parsing, Engineering, Pushdown Automaton +22

Synthesis of interface specifications for Java classes

Rajeev Alur, Pavol Černý, P. Madhusudan et al. · 2005 · 315 citations

Engineering, Verification, Software Engineering +20

Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan · ACM Transactions on Information and System Security · 2010 · 167 citations

Hardware Security, Sql Injection, Software Security +14

Learning invariants using decision trees and implication counterexamples

Pranav Garg, Daniel Neider, P. Madhusudan et al. · 2016 · 161 citations · Full text

Engineering, Machine Learning, Invariant Synthesis +17

1–5 of 56