Faculty

Institution

Unit

Venue

Madhusudan Parthasarathy

Professor

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Madhusudan Parthasarathy is currently serving as a Siebel School Of Computing And Data Science Professor at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Madhusudan Parthasarathy

University of Illinois Urbana-Champaign

Professor

You can click a keyword to filter the displayed items

computer science formal methods formal verification software analysis logic in computer science automated reasoning program analysis verification programming languages automated deduction theory of computation systems engineering computer engineering software engineering data security theoretical computer science information security mathematics concurrency theory automated proof computer-aided verification concurrent programming program synthesis formal specification computational intelligence automaton operation concurrent systems system science design automation first-order logic machine learning research program checking access control tree automaton static program analysis programming language theory model checking inductive logic programming distributed systems symbolic machine learning discrete algorithms control system technology automatic control control optimization timed system logical automaton logical access control concurrent programs natural proofs software security controller synthesis pushdown automaton formal technique system synthesis general systems temporal logic tree language reachability problem automaton network algorithmic game theory logic programming combinatorial games incomplete verification engines firefox extensions browser extensions tree width modular strategies access control models computer aided verification synthesis problem test generator linear data structures piece-wise functions coherent programs pushdown languages access control properties automata theory secure software engineering software verification

Notable Scholarly Works

Notable Federal Grants

Collaborators

Fo-Complete Program Verification for Heap Logics. Proceedings of the ACM on Programming Languages (2025)

Adithya MuraliHrishikesh BalakrishnanAaron CouncilmanP. Madhusudan

heap logicslogic in computer scienceprogramming languagesautomated reasoningverificationprogramming language theorycomputer-aided verificationfo-complete program verificationcomputer scienceexpressive heap logicscomputer engineeringautomated deductionformal methodsprogram analysisformal specificationformal verificationsoftware analysis

Frame Logic Verifier Tool From Quot;Fo-Complete Program Verification for Heap Logics Quot;. Artifact Digital Object Group (2025)

Adithya MuraliHrishikesh BalakrishnanAaron CouncilmanP. Madhusudan

heap logicsautomated reasoninglogic in computer scienceverificationfo-complete program verificationcomputer-aided verificationcomputer sciencecomputer engineeringmodel checkingsymbolic executionmechanical verificationformal methodsprogram analysisformal verificationsoftware analysis

CONJUNCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks. 2022 IEEE Symposium on Security and Privacy (SP) (2024)

Sushant DineshMadhusudan ParthasarathyChristopher W. Fletcher

computer securityhardware trojanlearning inductive invariantsverificationhardware securitycomputer sciencemicroarchitecturecomputer engineeringhardware security solutionformal methodsformal verificationsoftware analysis

Predictable Verification Using Intrinsic Definitions. Proceedings of the ACM on Programming Languages (2024)

Adithya MuraliCody RiveraP. Madhusudan

automated reasoninglogic in computer scienceverificationdata structureprogram synthesiscomputer sciencepredictable verificationintrinsic definitionsautomated deductionmathematical logicformal methodsprogram analysisformal specificationformal verificationsoftware analysis

A First-Order Logic With Frames. ACM Transactions on Programming Languages and Systems (2023)

Adithya MuraliLucas PeñaChristof LödingP. Madhusudan

first-order logicautomated reasoningknowledge representation and reasoningprogramming languageslogic in computer scienceapplied logiccomputer sciencelogic programmingmathematical logicformal methodsframe reasoningframe logic

Complete First-Order Reasoning for Properties of Functional Programs. Proceedings of the ACM on Programming Languages (2023)

Adithya MuraliLucas PeñaRanjit JhalaP. Madhusudan

automated reasoninglogic in computer scienceverificationautomated prooffunctional programmingcomputer sciencefunctional programslogic programmingsmt solversautomated deductioncomplete first-order reasoningformal methodsprogram analysisformal verificationsoftware analysis

Languages With Decidable Learning: A Meta-Theorem. Proceedings of the ACM on Programming Languages (2023)

Paul KrogmeierP. Madhusudan

declarative programmingcomputational linguisticsunification grammarexpression sizelogic in computer sciencelinguisticsprogramming languagessemantic evaluationautomated reasoningprogramming language theorycomputer scienceautomated deductiongeneric programming languageformal methodsprogram analysissoftware analysis

Perception Contracts for Safety of ML-Enabled Systems. Proceedings of the ACM on Programming Languages (2023)

Angello AstorgaChiao HsiehP. MadhusudanSayan Mitra

autonomous robotsperception contractsvision roboticsintelligent robotic systemscomputer sciencemachine visionrobotics automationcomputer visionroboticsartificial intelligencesystems engineeringsynthesized perception contractsintelligent systemsintelligent vehiclesrobot learningintelligent robotrobotics perceptionagricultural robotsintelligent roboticsintelligent perception

Artifact for Oopsla 2022 Article Model-Guided Synthesis of Inductive Lemmas for Fol With Least Fixpoints. Artifact Digital Object Group (2022)

Adithya MuraliLucas PeñaEion BlanchardChristof LödingP. Madhusudan

article model-guided synthesisapplied mathematicsmathematicsoopsla 2022verificationleast fixpointsautomated deductionmathematical logicformal methods

Learning Formulas in Finite Variable Logics. Proceedings of the ACM on Programming Languages (2022)

Paul KrogmeierP. Madhusudan

symbolic learningfirst-order logicmathematical logiccomputational intelligenceautomated reasoningknowledge representation and reasoninglogic in computer sciencesemantic evaluationcomputational logicfinite variable logicsgrammar-restricted exact learningcomputer scienceinductive logic programmingmathematicsformal methodsother logicssymbolic machine learningtheoretical computer science

1
2
3
4
5
14
10 / page

Madhusudan Parthasarathy

Professor

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Madhusudan Parthasarathy is currently serving as a Siebel School Of Computing And Data Science Professor at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Madhusudan Parthasarathy

University of Illinois Urbana-Champaign

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Fo-Complete Program Verification for Heap Logics. Proceedings of the ACM on Programming Languages (2025)

Adithya MuraliHrishikesh BalakrishnanAaron CouncilmanP. Madhusudan

Frame Logic Verifier Tool From Quot;Fo-Complete Program Verification for Heap Logics Quot;. Artifact Digital Object Group (2025)

Adithya MuraliHrishikesh BalakrishnanAaron CouncilmanP. Madhusudan

CONJUNCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks. 2022 IEEE Symposium on Security and Privacy (SP) (2024)

Sushant DineshMadhusudan ParthasarathyChristopher W. Fletcher

Predictable Verification Using Intrinsic Definitions. Proceedings of the ACM on Programming Languages (2024)

Adithya MuraliCody RiveraP. Madhusudan

A First-Order Logic With Frames. ACM Transactions on Programming Languages and Systems (2023)

Adithya MuraliLucas PeñaChristof LödingP. Madhusudan

Complete First-Order Reasoning for Properties of Functional Programs. Proceedings of the ACM on Programming Languages (2023)

Adithya MuraliLucas PeñaRanjit JhalaP. Madhusudan

Languages With Decidable Learning: A Meta-Theorem. Proceedings of the ACM on Programming Languages (2023)

Paul KrogmeierP. Madhusudan

Perception Contracts for Safety of ML-Enabled Systems. Proceedings of the ACM on Programming Languages (2023)

Angello AstorgaChiao HsiehP. MadhusudanSayan Mitra

Artifact for Oopsla 2022 Article Model-Guided Synthesis of Inductive Lemmas for Fol With Least Fixpoints. Artifact Digital Object Group (2022)

Adithya MuraliLucas PeñaEion BlanchardChristof LödingP. Madhusudan

article model-guided synthesisapplied mathematicsmathematicsoopsla 2022verificationleast fixpointsautomated deductionmathematical logicformal methods

Learning Formulas in Finite Variable Logics. Proceedings of the ACM on Programming Languages (2022)

Paul KrogmeierP. Madhusudan

1
2
3
4
5
14
10 / page

Similar Faculty Members

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Grigore Rosu

Institution

University of Illinois Urbana-Champaign

software engineering

formal verification

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Elsa Gunter

Institution

University of Illinois Urbana-Champaign

software engineering

technology

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Gul A Agha

Institution

University of Illinois Urbana-Champaign

parallel computing

distributed system

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Sasa Misailovic

Institution

University of Illinois Urbana-Champaign

energy efficiency

software engineering

Marianne S Winslett

Institution

University of Illinois Urbana-Champaign

research data management

information management

Carl Gunter

Institution

University of Illinois Urbana-Champaign

communication security

control system security

Similar Faculty Members

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Grigore Rosu

Institution

University of Illinois Urbana-Champaign

software engineering

formal verification

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Elsa Gunter

Institution

University of Illinois Urbana-Champaign

software engineering

technology

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Gul A Agha

Institution

University of Illinois Urbana-Champaign

parallel computing

distributed system

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Sasa Misailovic

Institution

University of Illinois Urbana-Champaign

energy efficiency

software engineering

Marianne S Winslett

Institution

University of Illinois Urbana-Champaign

research data management

information management

Carl Gunter

Institution

University of Illinois Urbana-Champaign

communication security

control system security