Concepedia

P. Madhusudan

PM

Statistics

Publications

57

Citations

3.8K

H-Index

32

Active since

2002

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Pennsylvania

University of Salerno

Université Paris Cité

University of Southampton

P. Madhusudan is an author at University of Illinois Urbana-Champaign specializing in computer science, computing, and programming languages.

Publications per year

2002–2023

57

Publications

57

Visibly pushdown languages

Rajeev Alur, P. Madhusudan · 2004 · 555 citations · Full text

Computing, Computer Science, Algorithms +16

Adding nesting structure to words

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

Computing, Computer Science, Algorithms +16

Synthesis of interface specifications for Java classes

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

Computing, Computer Engineering, Computer Science +17

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

Computing, Computer Science, Cybersecurity +13

Learning invariants using decision trees and implication counterexamples

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

Computing, Computer Science, Algorithms +7

1–5 of 57